A Science of Operations : Machines, Logic and the Invention of Programming (Englisch)
- Neue Suche nach: Priestley, Mark
- Neue Suche nach: Priestley, Mark
2011
-
ISBN:
- Buch / Elektronische Ressource
-
Titel:A Science of Operations : Machines, Logic and the Invention of Programming
-
Beteiligte:Priestley, Mark ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer-Verlag London Limited
-
Erscheinungsort:London
-
Erscheinungsdatum:2011
-
Format / Umfang:Online-Ressource
-
Anmerkungen:v.: digital
Campusweiter Zugriff (Universität Hannover). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.
Includes bibliographical references and index -
ISBN:
-
DOI:
-
Medientyp:Buch
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 03-03 / *68-03
- Weitere Informationen zu Mathematics Subject Classification
- Neue Suche nach: 005.109
- Weitere Informationen zu Dewey Decimal Classification
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
IntroductionDr. Priestley, Mark et al. | 2011
- 17
-
Babbage’s EnginesDr. Priestley, Mark et al. | 2011
- 53
-
Semi-Automatic ComputingDr. Priestley, Mark et al. | 2011
- 67
-
Logic, Computability and Formal SystemsDr. Priestley, Mark et al. | 2011
- 99
-
Automating ControlDr. Priestley, Mark et al. | 2011
- 6
-
Logic and the Invention of the ComputerPriestley, Mark et al. | 2011
- 157
-
Machine Code Programming and LogicDr. Priestley, Mark et al. | 2011
- 185
-
The Invention of Programming LanguagesDr. Priestley, Mark et al. | 2011
- 225
-
The Algol Research ProgrammeDr. Priestley, Mark et al. | 2011
- 253
-
The Logic of Correctness in Software EngineeringDr. Priestley, Mark et al. | 2011
- 277
-
The Unification of Data and AlgorithmsDr. Priestley, Mark et al. | 2011
- 297
-
ConclusionsDr. Priestley, Mark et al. | 2011