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.
Giants of Computing : A Compendium of Select, Pivotal Pioneers / / by Gerard O’Regan
| Giants of Computing : A Compendium of Select, Pivotal Pioneers / / by Gerard O’Regan |
| Autore | O’Regan Gerard |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (297 p.) |
| Disciplina | 004.0922 |
| Soggetto topico |
Computers
History Artificial intelligence Programming languages (Electronic computers) History of Computing History of Science Artificial Intelligence Programming Languages, Compilers, Interpreters |
| ISBN | 1-4471-5340-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Background -- Howard Aiken -- Gene Amdahl -- Archimedes -- John Atanasoff -- Charles Babbage -- John Backus -- Gordon Bell -- Tim Berners-Lee -- Dines Bjørner -- George Boole -- Fred Brooks -- Vannevar Bush -- Vint Cerf -- Alonzo Church -- Noam Chomsky -- Edgar Codd -- René Descartes -- Tom DeMarco -- Edsger Dijkstra -- George Devol -- Larry Ellison -- Don Estridge -- Michael Fagan -- Tommy Flowers -- Robert Floyd -- Bill Gates -- James Gosling -- C.A.R Hoare -- Heman Hollerith -- Watts Humphrey -- Kenneth Iverson -- Ivar Jacobson -- Steve Jobs -- Gary Kildall -- Donald Knuth -- Gottfried Wilhelm Leibniz -- Ada Lovelace -- John McCarthy -- John Mauchly -- Marvin Minsky -- Gordon Moore -- Grace Murray Hopper -- Ken Olsen -- David Parnas -- Dennis Ritchie -- Dana Scott -- John Searle -- Claude Shannon -- William Shockley -- Richard Stallman -- Bjarne Stroustrup -- Alan Turing -- John von Neumann -- Thomas Watson Sr. and Jr. -- Joseph Weizenbaum -- Frederick Williams -- Niklaus Wirth -- Ed Yourdon -- Konrad Zuse -- Epilogue -- Test Yourself Quizzes -- Glossary. |
| Record Nr. | UNINA-9910437598203321 |
O’Regan Gerard
|
||
| London : , : Springer London : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Innovation in Computing Companion : A Compendium of Select, Pivotal Inventions / / by Gerard O’Regan
| The Innovation in Computing Companion : A Compendium of Select, Pivotal Inventions / / by Gerard O’Regan |
| Autore | O’Regan Gerard |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (287 pages) |
| Disciplina |
510.28
004.16 |
| Soggetto topico |
Computers
Technology—History Computer hardware Microcomputers History of Computing History of Technology Computer Hardware Personal Computing |
| ISBN | 3-030-02619-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Background -- ABC Computer -- Ada Programming Language -- Agile Methodology -- Amdahl 470 and 580 -- Analytic and Difference Engines -- Apple II and Macintosh -- Intelligence and Applications -- Atari Video Games -- Automated Teller Machine -- AXE System -- Binary Number System -- Boolean Algebra and Digital Computing -- C and C++ Programming Languages -- Cloud Computing and Distributed Systems -- CMMI and Software Process Improvement -- Colossus and Code Breaking at Bletchley Park -- Commodore PET and 64 -- COBOL and Compilers -- Databases -- DEC PDP 11 and VAX 11/780 Minicomputers -- Digital Photography -- EDVAC and ENIAC Computers -- Eliza Program -- Email Communication -- E-Commerce -- Formal Methods -- GPS System -- Graphical User Interface and Human Computer Interaction -- Harvard Mark I Computer -- Hollerith’s Tabulating Machine and the birth of IBM -- Integrated Circuits -- Internet -- Iridium System -- Java Programming Language -- LEO Computers -- Manchester Baby and Mark I Computers -- Microprocessor -- Mobile Phone -- Mouse -- Player and Digital Music -- MS/DOS Operating System -- Office Software -- Open Source Software -- Object-Oriented Paradigm -- Personal and Home Computers -- Robotics -- Smartphones and Social Media -- Software Inspections -- Software Lifecycles -- The System/360 Revolution -- Transistor -- UNIX Operating System -- Von Neumann Architecture -- WiFi Technology -- -- World Wide Web -- and Z4 Computers -- Epilogue. |
| Record Nr. | UNINA-9910303451603321 |
|
O’Regan Gerard
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to Software Quality / / by Gerard O’Regan
| Introduction to Software Quality / / by Gerard O’Regan |
| Autore | O’Regan Gerard |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (369 p.) |
| Disciplina | 004 |
| Collana | Undergraduate Topics in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Electronic digital computers - Evaluation Electronic data processing - Management Machine theory Programming Techniques Software Engineering System Performance and Evaluation IT Operations Formal Languages and Automata Theory |
| ISBN | 3-319-06106-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Software Engineering -- Project Management -- Requirements, Design and Development -- Configuration Management -- Software Inspections -- Software Testing -- Supplier Selection and Management -- Software Quality Assurance -- Software Metrics -- ISO 9000 -- Software Process Improvement -- Capability Maturity Model Integration -- Setting up a CMMI Initiative -- SCAMPI Appraisals -- Software Engineering Tools -- Formal Methods -- Z Formal Specification Language -- Unified Modelling Language -- Epilogue. |
| Record Nr. | UNINA-9910298561903321 |
|
O’Regan Gerard
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematics in Computing [[electronic resource] ] : An Accessible Guide to Historical, Foundational and Application Contexts / / by Gerard O’Regan
| Mathematics in Computing [[electronic resource] ] : An Accessible Guide to Historical, Foundational and Application Contexts / / by Gerard O’Regan |
| Autore | O’Regan Gerard |
| Edizione | [2nd ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXVI, 458 p. 206 illus., 73 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Undergraduate Topics in Computer Science |
| Soggetto topico |
Computer science—Mathematics
Computer mathematics Mathematical logic Coding theory Information theory Mathematics History Math Applications in Computer Science Mathematical Applications in Computer Science Mathematical Logic and Formal Languages Coding and Information Theory History of Mathematical Sciences |
| ISBN | 3-030-34209-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | What is a Computer? -- Foundations of Computing -- Overview of Mathematics in Computing -- Introduction to Algorithms -- Number Theory -- Algebra -- Sequences, Series, and Permutations and Combinations -- Mathematical Induction and Recursion -- Graph Theory -- Cryptography -- Coding Theory -- Language Theory and Semantics -- Computability and Decidability -- Matrix Theory -- A Short History of Logic -- Propositional and Predicate Logic -- Advanced Topics in Logic -- The Nature of Theorem Proving -- Software Engineering Mathematics -- Software Reliability and Dependability -- Overview of Formal Methods -- Z Formal Specification Language -- Automata Theory -- Model Checking -- Probability and Statistics -- Complex Numbers and Quaternions -- Calculus -- Epilogue. |
| Record Nr. | UNISA-996465350403316 |
|
O’Regan Gerard
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematics in Computing : An Accessible Guide to Historical, Foundational and Application Contexts / / by Gerard O’Regan
| Mathematics in Computing : An Accessible Guide to Historical, Foundational and Application Contexts / / by Gerard O’Regan |
| Autore | O’Regan Gerard |
| Edizione | [2nd ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXVI, 458 p. 206 illus., 73 illus. in color.) |
| Disciplina |
004.0151
511.1 |
| Collana | Undergraduate Topics in Computer Science |
| Soggetto topico |
Computer science - Mathematics
Machine theory Coding theory Information theory Mathematics History Mathematical Applications in Computer Science Formal Languages and Automata Theory Coding and Information Theory History of Mathematical Sciences |
| ISBN | 3-030-34209-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | What is a Computer? -- Foundations of Computing -- Overview of Mathematics in Computing -- Introduction to Algorithms -- Number Theory -- Algebra -- Sequences, Series, and Permutations and Combinations -- Mathematical Induction and Recursion -- Graph Theory -- Cryptography -- Coding Theory -- Language Theory and Semantics -- Computability and Decidability -- Matrix Theory -- A Short History of Logic -- Propositional and Predicate Logic -- Advanced Topics in Logic -- The Nature of Theorem Proving -- Software Engineering Mathematics -- Software Reliability and Dependability -- Overview of Formal Methods -- Z Formal Specification Language -- Automata Theory -- Model Checking -- Probability and Statistics -- Complex Numbers and Quaternions -- Calculus -- Epilogue. |
| Record Nr. | UNINA-9910373923603321 |
|
O’Regan Gerard
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematics in Computing : An Accessible Guide to Historical, Foundational and Application Contexts / / by Gerard O’Regan
| Mathematics in Computing : An Accessible Guide to Historical, Foundational and Application Contexts / / by Gerard O’Regan |
| Autore | O’Regan Gerard |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (292 p.) |
| Disciplina | 004.0151 |
| Soggetto topico |
Computer science—Mathematics
Computer science - Mathematics Logic, Symbolic and mathematical Coding theory Information theory Computer logic Mathematics History Math Applications in Computer Science Mathematical Applications in Computer Science Mathematical Logic and Formal Languages Coding and Information Theory Logics and Meanings of Programs History of Mathematical Sciences |
| ISBN | 1-4471-4534-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mathematics in Civilization -- Sets, Relations and Functions -- Logic -- Software Engineering -- Formal Methods -- Z Formal Specification Language -- Number Theory -- Cryptography -- Coding Theory -- Language Theory and Semantics -- Computability and Decidability -- Probability, Statistics and Software Reliability -- Matrix Theory -- Complex Numbers and Quaternions -- Calculus -- Graph Theory. |
| Record Nr. | UNINA-9910437566103321 |
|
O’Regan Gerard
|
||
| London : , : Springer London : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||