Certified reasoning on real numbers and objects in co-inductive type theory. 1.
Alberto Ciaffaglione
Prodotto fuori catalogo
Dettagli Libro
- Titolo: Certified reasoning on real numbers and objects in co-inductive type theory. 1.
- Autore: Alberto Ciaffaglione
- Curatore:
- Traduttore:
- Illustratore:
- Editore: Forum Edizioni
- Collana:
- Data di Pubblicazione:
- Pagine:
- Formato:
- ISBN: 9788884201508
- Informatica - Informatica
Libri che ti potrebbero interessare
Un anno
Rosa Lipari Dentici
L'ultimo dei Ramas
Joe Dever, Michele Bonelli Di Salci
Magia del Magnamund
Joe Dever, August Hahn, M. Bonelli Di Salci, F. Ugliano
Le armi della polizia locale
Enrico Rossi, Antonella Manzione, Antonino Frisone
La nuova legittima difesa
Zaina, C. Alberto
Gli abusi edilizi
Emanuele Montini
Venezia in fumo. I grandi incendi della ...
Donatella Calabi
Elementi di management sanitario
Paola Adinolfi, Renato Mele
Il bimbo ferito
Greco Domenico
Il violinista
Nazareno Barra
I libri più cercati
-
Il re dei ladri
Cornelia Funke -
Artquiz simulazioni. Test di ammissione a: medicin...
-
Il metodo di lavoro libero per gruppi
F. De Bartolomeis, Roger Cousinet, Francesco De Bartolomeis -
Dalla stessa parte mi troverai
Valentina Mira -
La crisi del 1929. Negli Stati Uniti d'America e i...
Vichi Marco
Categorie
- Agricoltura
- Antropologia
- Archeologia
- Architettura
- Arte e fotografia
- Astronomia
- Bambini e ragazzi
- Benessere e tempo libero
- Biblioteconomia
- Biografie e memorie
- Biologia
- Botanica
- Chimica
- Cinema e spettacolo
- Cucina
- Design e grafica
- Diritto
- Ecologia e ambiente
- Economia
- Filosofia
- Fisica
- Fumetti
- Geografia
- Giardinaggio
- Informatica
- Ingegneria
- Lingue straniere
- Linguistica
- Matematica
- Medicina
- Metodologia scientifica
- Musica
- Narrativa
- Non catalogati
- Opere di consultazione
- Psicologia
- Religione
- Scuola ed educazione
- Società
- Sociologia
- Sport
- Storia
- Studi letterari
- Veterinaria
- Viaggi
- Zoologia