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] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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-9910957753303321 |
Turing Sara <1881-1976.>
|
||
| Cambridge ; ; New York, : Cambridge University Press, 2012 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||