Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Alan M. Turing / / Sara Turing ; with a foreword by Martin Davis and an afterword by John Turing [[electronic resource]]
| Alan M. Turing / / Sara Turing ; with a foreword by Martin Davis and an afterword by John Turing [[electronic resource]] |
| Autore | Turing Sara <1881-1976, > |
| Edizione | [Centenary ed.] |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2012 |
| Descrizione fisica | 1 online resource (xxiv, 169 pages) : digital, PDF file(s) |
| Disciplina |
510.92
B |
| Soggetto topico | Mathematicians - Great Britain |
| ISBN |
1-107-23133-7
1-107-38681-0 1-280-39420-X 9786613572127 1-139-33795-5 1-139-34040-9 1-139-34198-7 1-139-33708-4 1-139-33882-X 1-139-10573-6 |
| Classificazione | MAT000000 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Family background -- Childhood and early boyhood -- At Sherborne School -- At Cambridge -- At the graduate college, Princeton -- Some characteristics -- War work in the foreign office -- At the National Physical Laboratory, Teddington -- Work with the Manchester Automatic Digital Machine -- Broadcasts and intelligent machinery -- Morphogenesis -- Relaxation -- Last days and some tributes -- Computing machinery -- Theory of morphogenesis considered. |
| Record Nr. | UNINA-9910819305103321 |
Turing Sara <1881-1976, >
|
||
| Cambridge : , : Cambridge University Press, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Alan Turing : his work and impact / / edited by S. Barry Cooper and Jan van Leeuwen
| Alan Turing : his work and impact / / edited by S. Barry Cooper and Jan van Leeuwen |
| Autore | Cooper S. B (S. Barry) |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier, 2013 |
| Descrizione fisica | 1 online resource (xxi, 914 pages) : illustrations (some color) |
| Disciplina |
510.92
B |
| Collana | Gale eBooks |
| Soggetto topico |
Mathematicians - Great Britain
Computer science - Mathematics Enigma cipher system Logic, Symbolic and mathematical |
| ISBN |
1-299-38603-2
0-12-387012-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. How do we compute? what can we prove? -- pt. 2. Hiding and unhiding information : cryptology, complexity and number theory -- pt. 3. Building a brain : intelligent machines, practice and theory -- pt. 4. The mathematics of emergence : the mysteries of morphogenesis. |
| Record Nr. | UNINA-9910779414203321 |
|
Cooper S. B (S. Barry)
|
||
| Amsterdam ; ; Boston, : Elsevier, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Alan Turing : his work and impact / / edited by S. Barry Cooper and Jan van Leeuwen
| Alan Turing : his work and impact / / edited by S. Barry Cooper and Jan van Leeuwen |
| Autore | Cooper S. B (S. Barry) |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier, 2013 |
| Descrizione fisica | 1 online resource (xxi, 914 pages) : illustrations (some color) |
| Disciplina |
510.92
B |
| Collana | Gale eBooks |
| Soggetto topico |
Mathematicians - Great Britain
Computer science - Mathematics Enigma cipher system Logic, Symbolic and mathematical |
| ISBN |
1-299-38603-2
0-12-387012-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. How do we compute? what can we prove? -- pt. 2. Hiding and unhiding information : cryptology, complexity and number theory -- pt. 3. Building a brain : intelligent machines, practice and theory -- pt. 4. The mathematics of emergence : the mysteries of morphogenesis. |
| Record Nr. | UNINA-9910823942503321 |
|
Cooper S. B (S. Barry)
|
||
| Amsterdam ; ; Boston, : Elsevier, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Alan Turing [[electronic resource] ] : his work and impact / / edited by S. Barry Cooper and J. van Leeuwen
| Alan Turing [[electronic resource] ] : his work and impact / / edited by S. Barry Cooper and J. van Leeuwen |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier, 2013 |
| Descrizione fisica | 1 online resource (937 p.) |
| Disciplina |
510.92
B |
| Altri autori (Persone) |
CooperS. B (S. Barry)
LeeuwenJ. van (Jan) |
| Soggetto topico |
Mathematicians - Great Britain
Computer science - Mathematics Enigma cipher system Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-299-38603-2
0-12-387012-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. How do we compute? what can we prove? -- pt. 2. Hiding and unhiding information : cryptology, complexity and number theory -- pt. 3. Building a brain : intelligent machines, practice and theory -- pt. 4. The mathematics of emergence : the mysteries of morphogenesis. |
| Record Nr. | UNINA-9910452723403321 |
| Amsterdam ; ; Boston, : Elsevier, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Alan Turing : his work and impact / edited by S. Barry Cooper and J. van Leeuwen
| Alan Turing : his work and impact / edited by S. Barry Cooper and J. van Leeuwen |
| Pubbl/distr/stampa | Amsterdam ; Boston, : Elsevier, 2013 |
| Descrizione fisica | Testo elettronico (PDF) (944 p.) |
| Disciplina | 510.92 |
| Altri autori (Persone) |
COOPER, S. Barry
LEEUWEN, Jan van |
| Soggetto topico | Logica |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996457953503316 |
| Amsterdam ; Boston, : Elsevier, 2013 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Alfred North Withehead : a primary-secondary bibliography / Barry A. Woodbridge, editor ; Jay McDaniel and Marjorie Suchocki, associate editors
| Alfred North Withehead : a primary-secondary bibliography / Barry A. Woodbridge, editor ; Jay McDaniel and Marjorie Suchocki, associate editors |
| Pubbl/distr/stampa | Bowling Green : Philosophy Documentation Center, c1977 |
| Descrizione fisica | III, 405 p. ; 24 cm. |
| Disciplina | 510.92 |
| Collana | Bibliographies of famous philosophers |
| Soggetto topico | Matematica |
| ISBN | 0-912632-34-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000011220 |
| Bowling Green : Philosophy Documentation Center, c1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Archimede : alle radici della scienza moderna / di Pier Daniele Napolitani
| Archimede : alle radici della scienza moderna / di Pier Daniele Napolitani |
| Autore | Napolitani, Pier Daniele |
| Pubbl/distr/stampa | Milano : Le scienze, 2001 |
| Descrizione fisica | 111 p. : ill. ; 28 cm |
| Disciplina |
925
510.92 |
| Collana | I grandi della scienza ; 22 |
| Soggetto topico |
Scienziati - Biografie
Archimede |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991002528969707536 |
|
Napolitani, Pier Daniele
|
||
| Milano : Le scienze, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Archimede : un grande scienziato antico / Lucio Russo
| Archimede : un grande scienziato antico / Lucio Russo |
| Autore | RUSSO, Lucio <1944- > |
| Pubbl/distr/stampa | Roma : Carocci, 2019 |
| Descrizione fisica | 183 p. : ill. ; 23 cm |
| Disciplina | 510.92 |
| Collana | Frecce |
| Soggetto (Persona) | Archimede |
| ISBN | 978-88-430-9826-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-996322448803316 |
|
RUSSO, Lucio <1944- >
|
||
| Roma : Carocci, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Archimede : un grande scienziato antico / Lucio Russo
| Archimede : un grande scienziato antico / Lucio Russo |
| Autore | Russo, Lucio <1944- > |
| Pubbl/distr/stampa | Roma, : Carocci, 2019 |
| Descrizione fisica | 183 p. : ill. ; 22 cm |
| Disciplina | 510.92 |
| Collana | Frecce |
| Soggetto non controllato | Archimede |
| ISBN | 978-88-430-9826-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-9910427160103321 |
|
Russo, Lucio <1944- >
|
||
| Roma, : Carocci, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Archimede : mito, tradizione, scienza : Siracusa-Catania, 9-12 ottobre 1989 / a cura di Corrado Dollo
| Archimede : mito, tradizione, scienza : Siracusa-Catania, 9-12 ottobre 1989 / a cura di Corrado Dollo |
| Pubbl/distr/stampa | Firenze : Olschki, stampa 1992 |
| Descrizione fisica | VIII, 486 p. ; 24 cm |
| Disciplina | 510.92 |
| Collana | Biblioteca di Nuncius |
| Soggetto (Persona) | Archimede Atti di congressi |
| ISBN | 88-222-3952-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000425890203316 |
| Firenze : Olschki, stampa 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
