top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Ada Lovelace and computer algorithms / / by Ellen Labrecque
Ada Lovelace and computer algorithms / / by Ellen Labrecque
Autore Labrecque Ellen
Pubbl/distr/stampa Ann Arbor, Michigan : , : Cherry Lake Publishing, , [2017]
Descrizione fisica 1 online resource (24 pages) : illustrations
Disciplina 510.92
Collana 21st Century Junior Library. Women Innovators
Soggetto topico Women mathematicians - Great Britain
Women computer programmers - Great Britain
Mathematicians - Great Britain
Computers - History - 19th century
Computer algorithms - History - 19th century
Computer programmers - Great Britain
ISBN 1-63472-243-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910154842003321
Labrecque Ellen  
Ann Arbor, Michigan : , : Cherry Lake Publishing, , [2017]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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-9910790129803321
Turing Sara <1881-1976, >  
Cambridge : , : Cambridge University Press, , 2012
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Alan M. Turing / / Sara Turing ; with a foreword by Martin Davis and an afterword by John Turing
Alan M. Turing / / Sara Turing ; with a foreword by Martin Davis and an afterword by John Turing
Autore Turing Sara <1881-1976.>
Edizione [Centenary ed.]
Pubbl/distr/stampa Cambridge ; ; New York, : 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 ; ; New York, : Cambridge University Press, 2012
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
The case of Alan Turing : the extraordinary and tragic story of the legendary codebreaker / / drawings by Eric Liberge ; text by Arnaud Delalande ; translated by David Homel
The case of Alan Turing : the extraordinary and tragic story of the legendary codebreaker / / drawings by Eric Liberge ; text by Arnaud Delalande ; translated by David Homel
Autore Delalande Arnaud
Pubbl/distr/stampa Vancouver, British Columbia : , : Arsenal Pulp Press, , 2016
Descrizione fisica 1 online resource (103 pages) : illustrations (some color), photographs
Disciplina 510.92
Soggetto topico Mathematicians - Great Britain
ISBN 1-55152-652-2
1-55152-651-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910164884203321
Delalande Arnaud  
Vancouver, British Columbia : , : Arsenal Pulp Press, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
The correspondence of John Wallis . Volume IV (1672- April 1675) / / editors, Philip Beeley, Christoph J. Scriba
The correspondence of John Wallis . Volume IV (1672- April 1675) / / editors, Philip Beeley, Christoph J. Scriba
Edizione [First edition.]
Pubbl/distr/stampa New York, New York : , : Oxford University Press, , 2014
Descrizione fisica 1 online resource (653 p.)
Disciplina 510.922
Soggetto topico Mathematicians - Great Britain
Mathematics
Soggetto genere / forma Electronic books.
ISBN 0-19-182413-5
0-19-103069-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover; PREFACE; CONTENTS; INTRODUCTION; Algebra and analysis; Mathematical publications; Physical and mechanical themes; Mathematical practice and scientific instruments; Questions of natural history; Wallis's dispute with Hobbes; Foreign correspondents and visitors from abroad; Oldenburg, Collins, and scientific intelligencing; Church politics and theology; Wallis, his family, and friends; Wallis, Wase, and the University Press; Legal affairs; Crisis and reform in the Royal Society; EDITORIAL PRINCIPLES AND ABBREVIATIONS; CORRESPONDENCE
1. Edward Bernard to Wallis Oxford, 1[11] January 1671/22. Wallis to Edward Bernard [Oxford], 1/[11] January 1671/2; 3. Henry Oldenburg to Wallis 9/[19] January 1671/2; 4. Wallis to Henry Oldenburg Oxford, 14/[24] January 1671/2; 5. Henry Oldenburg to Wallis 16/[26] January 1671/2; 6. Wallis to Henry Oldenburg Oxford, 18/[28] January 1671/2 (i); 7. Wallis to Henry Oldenburg Oxford, 18/[28] January 1671/2 (ii); 8. John Collins to Wallis 23 January/[2 February] 1671/2; 9. Wallis to John Collins Oxford, 25 January/[4 February] 1671/2; 10. Jean Bertet to Wallis ? January 1671/2
11. Wallis to Jean Bertet ? January 1671/212. John Collins to Wallis 3/[13] February 1671/2; 13. Wallis to Henry Oldenburg 5/[15] February 1671/2; 14. Wallis to Pasquier Quesnel Oxford, 6/[16] February 1671/2; 15. Wallis to Thomas Salmon 7/[17] February 1671/2; 16. Wallis to John Collins Oxford, 13/[23] February 1671/2; 17. Wallis to Henry Oldenburg Oxford, 15/[25] February 1671/2; 18. Wallis to Johannes Hevelius Oxford, 3/[13] March 1671/2; 19. Wallis to John Collins 9/[19] March 1671/2; 20. John Collins to Wallis [London], 16/[26] March 1671/2
21. Wallis, Note on a Fish Caught in the Thames Oxford, 22 March/[1 April] 1671/222. Wallis to John Collins Oxford, 26 March/[5 April] 1672; 23. Wallis to John Collins Oxford, 27 March/[6 April] 1672; 24. John Collins to Edward Bernard London, 30 April/[10 May] 1672; 25. John Collins to Wallis 9/[19] May 1672; 26. Pasquier Quesnel to Wallis Paris, [9]/19 May 1672; 27. Wallis to John Collins Stoke by Guildford, 13/[23] May 1672; 28. Henry Wilkinson to Wallis 13/[23] May 1672; 29. Thomas Salmon to Wallis 1/[11] June 1672; 30. Wallis to John Collins Oxford, 8/[18] June 1672
31. Wallis to John Collins Oxford, 8/[18] June 1672, enclosure: Paper on Trigonometric Functions32. John Collins (and Wallis) to Giovanni Alfonso Borelli London, 8/[18] June 1672; 33. Wallis to John Collins Oxford, 14/[24] June 1672; 34. Christopher Wren to Wallis [London] 21 June/[1 July] 1672; 35. John Collins to Wallis 16/[26] July 1672; 36. John Wallis jr to Wallis June/July 1672; 37. Wallis to John Collins Oxford, 18/[28] July 1672; 38. John Flamsteed to John Collins Derby, 23 July/[2 August] 1672; 39. John Collins to Wallis 27 July/[6 August] 1672
40. Wallis to John Collins Oxford, 30 July/[9 August] 1672
Record Nr. UNINA-9910464488103321
New York, New York : , : Oxford University Press, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
The correspondence of John Wallis . Volume IV (1672- April 1675) / / editors, Philip Beeley, Christoph J. Scriba
The correspondence of John Wallis . Volume IV (1672- April 1675) / / editors, Philip Beeley, Christoph J. Scriba
Edizione [First edition.]
Pubbl/distr/stampa New York, New York : , : Oxford University Press, , 2014
Descrizione fisica 1 online resource (653 p.)
Disciplina 510.922
Soggetto topico Mathematicians - Great Britain
Mathematics
ISBN 0-19-182413-5
0-19-103069-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover; PREFACE; CONTENTS; INTRODUCTION; Algebra and analysis; Mathematical publications; Physical and mechanical themes; Mathematical practice and scientific instruments; Questions of natural history; Wallis's dispute with Hobbes; Foreign correspondents and visitors from abroad; Oldenburg, Collins, and scientific intelligencing; Church politics and theology; Wallis, his family, and friends; Wallis, Wase, and the University Press; Legal affairs; Crisis and reform in the Royal Society; EDITORIAL PRINCIPLES AND ABBREVIATIONS; CORRESPONDENCE
1. Edward Bernard to Wallis Oxford, 1[11] January 1671/22. Wallis to Edward Bernard [Oxford], 1/[11] January 1671/2; 3. Henry Oldenburg to Wallis 9/[19] January 1671/2; 4. Wallis to Henry Oldenburg Oxford, 14/[24] January 1671/2; 5. Henry Oldenburg to Wallis 16/[26] January 1671/2; 6. Wallis to Henry Oldenburg Oxford, 18/[28] January 1671/2 (i); 7. Wallis to Henry Oldenburg Oxford, 18/[28] January 1671/2 (ii); 8. John Collins to Wallis 23 January/[2 February] 1671/2; 9. Wallis to John Collins Oxford, 25 January/[4 February] 1671/2; 10. Jean Bertet to Wallis ? January 1671/2
11. Wallis to Jean Bertet ? January 1671/212. John Collins to Wallis 3/[13] February 1671/2; 13. Wallis to Henry Oldenburg 5/[15] February 1671/2; 14. Wallis to Pasquier Quesnel Oxford, 6/[16] February 1671/2; 15. Wallis to Thomas Salmon 7/[17] February 1671/2; 16. Wallis to John Collins Oxford, 13/[23] February 1671/2; 17. Wallis to Henry Oldenburg Oxford, 15/[25] February 1671/2; 18. Wallis to Johannes Hevelius Oxford, 3/[13] March 1671/2; 19. Wallis to John Collins 9/[19] March 1671/2; 20. John Collins to Wallis [London], 16/[26] March 1671/2
21. Wallis, Note on a Fish Caught in the Thames Oxford, 22 March/[1 April] 1671/222. Wallis to John Collins Oxford, 26 March/[5 April] 1672; 23. Wallis to John Collins Oxford, 27 March/[6 April] 1672; 24. John Collins to Edward Bernard London, 30 April/[10 May] 1672; 25. John Collins to Wallis 9/[19] May 1672; 26. Pasquier Quesnel to Wallis Paris, [9]/19 May 1672; 27. Wallis to John Collins Stoke by Guildford, 13/[23] May 1672; 28. Henry Wilkinson to Wallis 13/[23] May 1672; 29. Thomas Salmon to Wallis 1/[11] June 1672; 30. Wallis to John Collins Oxford, 8/[18] June 1672
31. Wallis to John Collins Oxford, 8/[18] June 1672, enclosure: Paper on Trigonometric Functions32. John Collins (and Wallis) to Giovanni Alfonso Borelli London, 8/[18] June 1672; 33. Wallis to John Collins Oxford, 14/[24] June 1672; 34. Christopher Wren to Wallis [London] 21 June/[1 July] 1672; 35. John Collins to Wallis 16/[26] July 1672; 36. John Wallis jr to Wallis June/July 1672; 37. Wallis to John Collins Oxford, 18/[28] July 1672; 38. John Flamsteed to John Collins Derby, 23 July/[2 August] 1672; 39. John Collins to Wallis 27 July/[6 August] 1672
40. Wallis to John Collins Oxford, 30 July/[9 August] 1672
Record Nr. UNINA-9910786634403321
New York, New York : , : Oxford University Press, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui