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 |
| 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-9910461233603321 |
Turing Sara <1881-1976, >
|
||
| Cambridge : , : Cambridge University Press, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
From linear operators to computational biology : essays in memory of Jacob T. Schwartz / / Martin Davis, Edmond Schonberg, editors
| From linear operators to computational biology : essays in memory of Jacob T. Schwartz / / Martin Davis, Edmond Schonberg, editors |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | London ; ; New York, : Springer, 2012, c2013 |
| Descrizione fisica | 1 online resource (212 p.) |
| Disciplina | 572.80285 |
| Altri autori (Persone) |
DavisMartin <1928->
SchonbergEdmond |
| Soggetto topico |
Computational biology
Computer science Linear operators |
| ISBN | 1-4471-4282-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foreword -- Introduction -- Nature as Quantum Computer -- Jack Schwartz Meets Karl Marx -- SETL and the Evolution of Programming -- Decision Procedure for Elementary Sublanguages of Set Theory XVII: Commonly Occurring Decidable Extensions of Multi-level Syllogistic -- Jack Schwartz and Robotics: The Roaring Eighties -- Mathematics’ Mortua Manus: Discovering Dexterity -- The Ref Proof-checker and its “Common Shared Scenario” -- Claw-free Graphs as Sets -- Computational approaches to RNAi and Gene Silencing -- The Last Ten Yards -- Jacob T. Schwartz: Selected Bibliography -- Index. |
| Record Nr. | UNINA-9910437590803321 |
| London ; ; New York, : Springer, 2012, c2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||