Ada Lovelace Symposium 2015 : celebrating 200 years of a computer visionary
| Ada Lovelace Symposium 2015 : celebrating 200 years of a computer visionary |
| Pubbl/distr/stampa | New York : , : ACM, , 2015 |
| Descrizione fisica | 1 online resource (17 pages) |
| Disciplina | 510.92 |
| Soggetto topico |
Computer science - History
Artificial intelligence - History |
| ISBN | 1-4503-4150-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910376547203321 |
| New York : , : ACM, , 2015 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
From science to computational sciences : studies in the history of computing and its influence on today's sciences / / Gabriele Gramelsberger (ed.)
| From science to computational sciences : studies in the history of computing and its influence on today's sciences / / Gabriele Gramelsberger (ed.) |
| Edizione | [1. Auflage.] |
| Pubbl/distr/stampa | Zürich : , : Diaphanes, , [2011] |
| Descrizione fisica | 1 online resource (235 p.) |
| Disciplina | 004.10923478 |
| Collana | Qu |
| Soggetto topico |
Computer science - History
Computer science - Mathematics - History Computer simulation - History Interactive computer systems - History Electronic data processing - History Science - Data processing - History |
| ISBN | 3-03734-346-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Table of Contents; I. INTRODUCTION; A Brief Introduction to the Volume / Gabriele Gramelsberger; From Science to Computational Sciences: A Science History and Philosophy Overview / Gabriele Gramelsberger; II. ORIGINS OF SIMULATION AND RATIONAL PROGNOSIS; Roots and Media of Computational Power: Some Remarks on the Genesis and Genius of Quantification in Early European Modernity / Sybille Krämer; The Early Progress of Scientific Simulation / David Alan Grier; Mimetic Experiments before the Invention of the Computer / Thomas Brandstetter
Computer Simulation in the V2 Rocket Development / Thomas LangeComputer Simulations and the Trading Zone / Peter Galison; From Computation with Experiments to Experiments on Computation / Gabriele Gramelsberger; III. REVERSE ENGINEERING OF NATURE BY NUMBERS; Towards A Definition of Simulation / David Alan Grier; Simulation as a New Style of Research: Iteration, Integration, and Instability / Sergio Sismondo; Artificial, False, and Performing Well / Johannes Lenhard Explanatory and Predictive Functions of Simulation Modelling Case: Haemophilus Influenzae Type b Dynamic Transmission Models / Erika MansnerusResearch Technology, the Computer, and Scientific Advance / Renate Mayntz; Shaping Reality with Algorithms: The Earth System / Johann Feichter; Uncertainty in Grammar / The Grammar of Uncertainty: Some Remarks on the Future Perfect / Peter Bexte; IV. APPENDIX; Authors |
| Record Nr. | UNINA-9910797485103321 |
| Zürich : , : Diaphanes, , [2011] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
From science to computational sciences : studies in the history of computing and its influence on today's sciences / / Gabriele Gramelsberger (ed.)
| From science to computational sciences : studies in the history of computing and its influence on today's sciences / / Gabriele Gramelsberger (ed.) |
| Edizione | [1. Auflage.] |
| Pubbl/distr/stampa | Zürich : , : Diaphanes, , [2011] |
| Descrizione fisica | 1 online resource (235 p.) |
| Disciplina | 004.10923478 |
| Collana | Qu |
| Soggetto topico |
Computer science - History
Computer science - Mathematics - History Computer simulation - History Interactive computer systems - History Electronic data processing - History Science - Data processing - History |
| ISBN | 3-03734-346-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Table of Contents; I. INTRODUCTION; A Brief Introduction to the Volume / Gabriele Gramelsberger; From Science to Computational Sciences: A Science History and Philosophy Overview / Gabriele Gramelsberger; II. ORIGINS OF SIMULATION AND RATIONAL PROGNOSIS; Roots and Media of Computational Power: Some Remarks on the Genesis and Genius of Quantification in Early European Modernity / Sybille Krämer; The Early Progress of Scientific Simulation / David Alan Grier; Mimetic Experiments before the Invention of the Computer / Thomas Brandstetter
Computer Simulation in the V2 Rocket Development / Thomas LangeComputer Simulations and the Trading Zone / Peter Galison; From Computation with Experiments to Experiments on Computation / Gabriele Gramelsberger; III. REVERSE ENGINEERING OF NATURE BY NUMBERS; Towards A Definition of Simulation / David Alan Grier; Simulation as a New Style of Research: Iteration, Integration, and Instability / Sergio Sismondo; Artificial, False, and Performing Well / Johannes Lenhard Explanatory and Predictive Functions of Simulation Modelling Case: Haemophilus Influenzae Type b Dynamic Transmission Models / Erika MansnerusResearch Technology, the Computer, and Scientific Advance / Renate Mayntz; Shaping Reality with Algorithms: The Earth System / Johann Feichter; Uncertainty in Grammar / The Grammar of Uncertainty: Some Remarks on the Future Perfect / Peter Bexte; IV. APPENDIX; Authors |
| Record Nr. | UNINA-9910825543703321 |
| Zürich : , : Diaphanes, , [2011] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamental concepts in computer science [[electronic resource] /] / editors: Erol Gelenbe, Jean-Pierre Kahane
| Fundamental concepts in computer science [[electronic resource] /] / editors: Erol Gelenbe, Jean-Pierre Kahane |
| Pubbl/distr/stampa | London, : Imperial College Press |
| Descrizione fisica | 1 online resource (172 p.) |
| Disciplina | 004 |
| Altri autori (Persone) |
GelenbeE. <1945->
KahaneJean-Pierre |
| Collana | Advances in computer science and engineering: texts |
| Soggetto topico |
Computer science
Computer science - History |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-282-44126-4
9786612441264 1-84816-291-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface; CONTENTS; 1. B ̈ohm's Theorem Stefano Guerrini, Adolfo Piperno and Mariangiola Dezani-Ciancaglini; 2. Membrane Computing: History and Brief Introduction Gheorghe P?aun; 3. Critique of Computational Reason in the Natural Sciences Giuseppe Longo; 4. Deterministic Computation with Random G-Networks Erol Gelenbe, Zhi-Hong Mao and Yanda Li; 5. Assertions: A Personal Perspective Tony Hoare; 6. The Call To ARMs Steve Furber; 7. Carl Adam Petri and "Petri Nets" Wilfried Brauer and Wolfgang Reisig; 8. From Stochastic Modeling to Operational Analysis: The Journey Begins Je.rey P. Buzen
9. From Rocket Control to Virtual Design Olivier Pironneau |
| Record Nr. | UNINA-9910457107403321 |
| London, : Imperial College Press | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamental concepts in computer science [[electronic resource] /] / editors: Erol Gelenbe, Jean-Pierre Kahane
| Fundamental concepts in computer science [[electronic resource] /] / editors: Erol Gelenbe, Jean-Pierre Kahane |
| Pubbl/distr/stampa | London, : Imperial College Press |
| Descrizione fisica | 1 online resource (172 p.) |
| Disciplina | 004 |
| Altri autori (Persone) |
GelenbeE. <1945->
KahaneJean-Pierre |
| Collana | Advances in computer science and engineering: texts |
| Soggetto topico |
Computer science
Computer science - History |
| ISBN |
1-282-44126-4
9786612441264 1-84816-291-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface; CONTENTS; 1. B ̈ohm's Theorem Stefano Guerrini, Adolfo Piperno and Mariangiola Dezani-Ciancaglini; 2. Membrane Computing: History and Brief Introduction Gheorghe P?aun; 3. Critique of Computational Reason in the Natural Sciences Giuseppe Longo; 4. Deterministic Computation with Random G-Networks Erol Gelenbe, Zhi-Hong Mao and Yanda Li; 5. Assertions: A Personal Perspective Tony Hoare; 6. The Call To ARMs Steve Furber; 7. Carl Adam Petri and "Petri Nets" Wilfried Brauer and Wolfgang Reisig; 8. From Stochastic Modeling to Operational Analysis: The Journey Begins Je.rey P. Buzen
9. From Rocket Control to Virtual Design Olivier Pironneau |
| Record Nr. | UNINA-9910780818503321 |
| London, : Imperial College Press | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Histoire(s) de(s) données numériques / / Jean-Jacques Droesbeke, Catherine Vermandele
| Histoire(s) de(s) données numériques / / Jean-Jacques Droesbeke, Catherine Vermandele |
| Autore | Droesbeke Jean-Jacques |
| Pubbl/distr/stampa | Les Ulis, [France] : , : EDP Sciences, , 2018 |
| Descrizione fisica | 1 online resource (154 pages) |
| Disciplina | 004 |
| Soggetto topico | Computer science - History |
| Soggetto genere / forma | Electronic books. |
| ISBN | 2-7598-2241-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910467939003321 |
Droesbeke Jean-Jacques
|
||
| Les Ulis, [France] : , : EDP Sciences, , 2018 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Histoire(s) de(s) données numériques / / Jean-Jacques Droesbeke, Catherine Vermandele
| Histoire(s) de(s) données numériques / / Jean-Jacques Droesbeke, Catherine Vermandele |
| Autore | Droesbeke Jean-Jacques |
| Pubbl/distr/stampa | Les Ulis, [France] : , : EDP Sciences, , 2018 |
| Descrizione fisica | 1 online resource (154 pages) |
| Disciplina | 004 |
| Soggetto topico | Computer science - History |
| ISBN | 2-7598-2241-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910795562603321 |
Droesbeke Jean-Jacques
|
||
| Les Ulis, [France] : , : EDP Sciences, , 2018 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Histoire(s) de(s) données numériques / / Jean-Jacques Droesbeke, Catherine Vermandele
| Histoire(s) de(s) données numériques / / Jean-Jacques Droesbeke, Catherine Vermandele |
| Autore | Droesbeke Jean-Jacques |
| Pubbl/distr/stampa | Les Ulis, [France] : , : EDP Sciences, , 2018 |
| Descrizione fisica | 1 online resource (154 pages) |
| Disciplina | 004 |
| Soggetto topico | Computer science - History |
| ISBN | 2-7598-2241-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910814492703321 |
Droesbeke Jean-Jacques
|
||
| Les Ulis, [France] : , : EDP Sciences, , 2018 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Inventions in computing : from the abacus to personal computers / / Rachel Keranen
| Inventions in computing : from the abacus to personal computers / / Rachel Keranen |
| Autore | Keranen Rachel |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | New York : , : Cavendish Square, , 2017 |
| Descrizione fisica | 1 online resource (112 pages) : illustrations (some color) |
| Disciplina | 004 |
| Collana | Art and Invention |
| Soggetto topico | Computer science - History |
| ISBN | 1-5026-2302-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Numbers -- The abacus -- The Jacquard loom -- Computer animation -- The Apple computer -- The future of art and computing. |
| Record Nr. | UNINA-9910158633303321 |
Keranen Rachel
|
||
| New York : , : Cavendish Square, , 2017 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Meilensteine der Rechentechnik : Zur Geschichte der Mathematik und der Informatik / / Herbert Bruderer
| Meilensteine der Rechentechnik : Zur Geschichte der Mathematik und der Informatik / / Herbert Bruderer |
| Autore | Bruderer Herbert |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter Oldenbourg, , 2015 |
| Descrizione fisica | 1 online resource (850 p.) |
| Disciplina | 004.09 |
| Collana | Informationstechnik und Recht : Schriftenreihe der Deutschen Gesellschaft für Recht und Informatik e.V. |
| Soggetto topico |
Computers - History
Computer science - History |
| Soggetto genere / forma | Electronic books. |
| ISBN |
3-11-039789-7
3-11-037561-3 |
| Classificazione | SG 500 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Frontmatter -- Vorwort -- Danksagung -- Inhaltsverzeichnis -- Abbildungsverzeichnis -- Tabellenverzeichnis -- 1. Einführung -- 2. Begriffe und Grundlagen -- 3. Hintergründe und Zusammenhänge -- 4. Wer hat den Computer und den Compiler erfunden? -- 5. Neue Funde von historischen Rechengeräten -- 6. Weltweite Übersicht über die frühen Digitalrechner (Tabellen) -- 7. Weltweite Entwicklung der Rechentechnik -- 8. Neue Dokumente zur Z4 und zur Ermeth -- Bibliografie zur Geschichte der Rechentechnik und der Informatik -- Namen- und Sachverzeichnis |
| Record Nr. | UNINA-9910466961203321 |
Bruderer Herbert
|
||
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter Oldenbourg, , 2015 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||