From Semantics to Computer Science 1
bokomslag From Semantics to Computer Science
Data & IT

From Semantics to Computer Science

Yves Bertot • Gérard Huet • Jean-Jacques Lévy

Inbunden

2199:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 596 sidor
  • 2009
  • Författare: Yves Bertot, Gérard Huet, Jean-Jacques Lévy
  • Format: Inbunden
  • ISBN: 9780521518253
  • Språk: Engelska
  • Antal sidor: 596
  • Utgivningsdatum: 2009-09-24
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Scaling, Fractals and Wavelets

    Scaling, Fractals and Wavelets

    Patrice Abry, Paolo Goncalves, Jacques Levy Vehel

    Inbunden

    3969:-
  2. bokomslag Variational Approach to Fracture

    Variational Approach to Fracture

    Blaise Bourdin, Gilles A Francfort, Jean-Jacques Marigo

    719:-
  3. bokomslag The Archaeology of Rock Art in Western Arnhem Land, Australia

    The Archaeology of Rock Art in Wester...

    Bruno David, Paul S C Taçon, Jean-Jacques Delannoy

    Pocket

    1119:-
  4. bokomslag Theorem Proving in Higher Order Logics

    Theorem Proving in Higher Order Logics

    Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery

    Pocket

    719:-
  5. bokomslag Interactive Theorem Proving and Program Development

    Interactive Theorem Proving and Progr...

    Pierre Castéran Yves Bertot

    1149:-
  6. bokomslag Computer Security - ESORICS 92

    Computer Security - ESORICS 92

    Yves Deswarte, Gerard Eizenberg, Jean-Jacques Quisquater

    Pocket

    749:-
  7. bokomslag Dry Stone Retaining Structures

    Dry Stone Retaining Structures

    Eric Vincens, Jean-Patrick Plassiard, Jean-Jacques Fry

    Inbunden

    1139:-
  8. bokomslag On-Chip Electro-Static Discharge (ESD) Protection for Radio-Frequency Integrated Circuits

    On-Chip Electro-Static Discharge (ESD...

    Qiang Cui, Juin J Liou, Jean-Jacques Hajjar, Javier Salcedo, Yuanzhong Zhou

    1209:-
  9. bokomslag Syncope Cases

    Syncope Cases

    Roberto García-Civera, Gonzalo Barón-Esquivias, Jean-Jacques Blanc, Michele Brignole, Angel Moya I Mitjans

    Pocket

    1549:-
  10. Kommande
    bokomslag Gateway to the Social Contract

    Gateway to the Social Contract

    Thomas Hobbes, John Locke, Jean-Jacques Rousseau

    279:-

Andra av samma författare

  1. bokomslag Introduction to the Theory of Programming Languages

    Introduction to the Theory of Program...

    Jean-Jacques Lévy Gilles Dowek

    Pocket

    519:-
  2. bokomslag Exploring New Frontiers of Theoretical Informatics

    Exploring New Frontiers of Theoretica...

    Jean-Jacques Lévy, Ernst W Mayr, John C Mitchell, Ernst W Mayr, John C Mitchell

    Inbunden

    2199:-
  3. bokomslag Exploring New Frontiers of Theoretical Informatics

    Exploring New Frontiers of Theoretica...

    Jean-Jacques Lévy, Ernst W Mayr, John C Mitchell

    2199:-
  4. bokomslag Interactive Theorem Proving and Program Development

    Interactive Theorem Proving and Progr...

    Pierre Castéran Yves Bertot

    Inbunden

    1569:-
  5. bokomslag Theorem Proving in Higher Order Logics

    Theorem Proving in Higher Order Logics

    Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery

    Pocket

    719:-
  6. bokomslag Sanskrit Computational Linguistics

    Sanskrit Computational Linguistics

    Gérard Huet Amba Kulkarni

    Pocket

    719:-
  7. bokomslag Sanskrit Computational Linguistics

    Sanskrit Computational Linguistics

    Gérard Huet, Amba Kulkarni, Peter Scharf

    Pocket

    749:-
  8. bokomslag Interactive Theorem Proving and Program Development

    Interactive Theorem Proving and Progr...

    Pierre Castéran Yves Bertot

    1149:-