top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili, export verso RefWorks del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Altri cataloghi  

Desiderata

  • Per inviare dei suggerimenti d'acquisto alla biblioteca utilizzare  questo link.
MARC 21 Lista (tabellare)
Il calcolatore universale : da Leibniz a Turing / Martin Davis ; traduzione di Gianni Rigamonti
Il calcolatore universale : da Leibniz a Turing / Martin Davis ; traduzione di Gianni Rigamonti
Davis, Martin, 1928-
Descrizione fisica 327 p. ; 20 cm
Livello bibliografico Monografia
Titolo collana Gli Adelphi ; 423
Collocazione 004. 9 DAVMA 1
Davis, Martin, 1928-
Pubblicazione Milano : Adelphi, 2012
Altri autori (Persone) Rigamonti, Gianni
Lingua di pubblicazione Italiano
Computability & Unsolvability / Martin Davis .
Computability & Unsolvability / Martin Davis .
Davis, Martin, 1928-
Descrizione fisica xxv, 248 p. ; 20 cm
Livello bibliografico Monografia
Titolo collana Dover books on mathematics
Collocazione RH E2 64
Davis, Martin, 1928-
Pubblicazione New York : Dover, 1982
Lingua di pubblicazione Inglese
Computability, complexity, and languages : fundamentals of Theoretical Computer Science / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
Computability, complexity, and languages : fundamentals of Theoretical Computer Science / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
Davis, Martin, 1928-
Descrizione fisica xix, 609 p. ; 24 cm
Livello bibliografico Monografia
Titolo collana Computer science and scientific computing
Collocazione 511. 3 DAVMA 1
Davis, Martin, 1928-
Pubblicazione San Diego : Morgan Kaufmann, 1994
Altri autori (Persone) Weyuker, Elaine J.
Sigal, Ron.
Lingua di pubblicazione Inglese
Engines of logic : mathematicians and the origin of Computer / Martin Davis
Engines of logic : mathematicians and the origin of Computer / Martin Davis
Davis, Martin, 1928-
Descrizione fisica xii, 257 p. ; 21 cm
Livello bibliografico Monografia
Collocazione 004. 09 DAVMA 1
Davis, Martin, 1928-
Pubblicazione New York ; London : Norton & Company, 2001
Lingua di pubblicazione Inglese
Solvability, provability, definability : the collected works of Emil L. Post / Martin Davis (editor)
Solvability, provability, definability : the collected works of Emil L. Post / Martin Davis (editor)
Post, Emil Leon, 1897-1954
Descrizione fisica xxviii, 554 p. : ill. (ritr.) ; 25 cm
Livello bibliografico Monografia
Titolo collana Contemporary mathematicians
Collocazione 745 I 1
Post, Emil Leon, 1897-1954
Pubblicazione Boston : Birkhäuser, 1994
Altri autori (Persone) Davis, Martin, 1928-
Lingua di pubblicazione Inglese
The universal computer : the road from Leibniz to Turing / Martin Davis
The universal computer : the road from Leibniz to Turing / Martin Davis
Davis, Martin, 1928-
Descrizione fisica xii, 257 p. : ritr., diagr. ; 24 cm
Livello bibliografico Monografia
Collocazione 004. 01 DAVMA 1
Davis, Martin, 1928-
Pubblicazione New York ; London : W. W. Norton & Company, c2000
Lingua di pubblicazione Inglese