Filtern nach
Letzte Suchanfragen

Ergebnisse für *

Es wurden 153 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 25 von 153.

Sortieren

  1. The logical basis for computer programming
    2, Deductive systems
    Autor*in: Manna, Zohar
    Erschienen: 1990
    Verlag:  Addison-Wesley, Reading, Mass. [u.a.]

    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Waldinger, Richard (Verfasser)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Übergeordneter Titel:
    RVK Klassifikation: ES 920 ; ST 120
    Umfang: x, 642 S., graph. Darst.
  2. Grundlagen und Anwendungen der Informationstheorie
    Erschienen: 1969
    Verlag:  Springer, Berlin <<[u.a.]>>

    BBF | Bibliothek für Bildungsgeschichtliche Forschung in Berlin
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Max-Planck-Institut für Bildungsforschung, Bibliothek und wissenschaftliche Information
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staatliches Institut für Musikforschung - Preußischer Kulturbesitz, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Stiftung Deutsches Technikmuseum Berlin, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität der Künste Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Zentrum Informationsarbeit Bundeswehr, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: BG 2440 ; ST 170 ; DP 1080 ; ST 120 ; CC 5200 ; CM 5000 ; SK 960 ; MB 2510 ; QH 710 ; SK 880 ; ES 900
    Auflage/Ausgabe: 2., neubearb. und erw. Aufl.
    Schriftenreihe: Kommunikation und Kybernetik in Einzeldarstellungen ; 1
    Schlagworte: Informationstheorie
    Umfang: XXVI, 549 S., Ill., graph. Darst.
  3. A first Course in formal logic and its applications in computer science
    Erschienen: 1986
    Verlag:  Blackwell Scient. Publ., Oxford <<[u.a.]>>

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Rayward-Smith, Victor J. (Verfasser); Walter, C. D. (Verfasser)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0632013087
    RVK Klassifikation: SK 130 ; ST 130 ; ES 915 ; ST 120
    Auflage/Ausgabe: 1. publ.
    Schriftenreihe: Computer science texts
    Umfang: VI, 265 S., graph. Darst.
  4. The logical basis for computer programming
    2, Deductive systems
    Autor*in: Manna, Zohar
    Erschienen: 1990
    Verlag:  Addison-Wesley, Reading, Mass. [u.a.]

    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Waldinger, Richard (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0201182610
    Übergeordneter Titel:
    RVK Klassifikation: ES 920 ; ST 120
    Umfang: XIII, 642 S.
  5. Informatik
    eine einführende Übersicht – 2
    Erschienen: 1984
    Verlag:  Springer, Berlin [u.a.]

    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Goos, Gerhard (Verfasser)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3540131213; 0387131213
    Übergeordneter Titel:
    RVK Klassifikation: QH 500 ; ES 900 ; QH 710 ; ST 110 ; ST 120
    Auflage/Ausgabe: 3. Aufl., völlig neu bearb. und erw.
    Schriftenreihe: Heidelberger Taschenbücher ; 91
    Heidelberger Taschenbücher ; ...
    Sammlung Informatik
    Schlagworte: Informatik
    Umfang: XVI, 345 S., Ill.
  6. Informatik
    eine einführende Übersicht – 1
    Erschienen: 1982
    Verlag:  Springer, Berlin [u.a.]

    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Goos, Gerhard (Verfasser)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 0387117229; 3540117229
    Übergeordneter Titel:
    RVK Klassifikation: ST 120 ; ST 110 ; QH 500 ; QH 710 ; ES 900
    Auflage/Ausgabe: 3. Aufl., völlig neu bearb. u. erw.
    Schriftenreihe: Heidelberger Taschenbücher ; 80
    Heidelberger Taschenbücher ; ...
    Sammlung Informatik
    Schlagworte: Informatik
    Umfang: XVIII, 320 S., Abb.
  7. Informatik
    1., Vom Problem zum Programm
    Erschienen: 1984
    Verlag:  Hueber-Holzmann, München

    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität der Künste Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3190098514
    Übergeordneter Titel:
    RVK Klassifikation: ST 110 ; ST 120 ; ST 230 ; ES 900
    Auflage/Ausgabe: 2., bearb. u. erw. Aufl.
    Umfang: 360 S., Ill., graph. Darst.
  8. A first course in formal logic and its applications in computer science
    Erschienen: 1986
    Verlag:  Blackwell Scientif. Publ., Oxford <<[u.a.]>>

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Rayward-Smith, Victor J. (Sonstige); Walter, C. D. (Sonstige)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0632013087
    RVK Klassifikation: SK 130 ; ES 915 ; ST 120 ; ST 130
    Schriftenreihe: Computer science texts
    Umfang: VI, 265 S., graph. Darst.
  9. The logical basis for computer programming
    1, Deductive reasoning
    Autor*in: Manna, Zohar
    Erschienen: 1985
    Verlag:  Addison-Wesley, Reading, Mass. [u.a.]

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Waldinger, Richard (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0201182602
    Übergeordneter Titel:
    RVK Klassifikation: ES 920 ; ST 125 ; ST 120
    Schriftenreihe: Addison-Wesley Series in Computer Science
    Umfang: XII, 618 S., graph. Darst.
  10. Einführung in die allgemeine Informationstheorie
    Erschienen: 1967
    Verlag:  Springer, Berlin [u.a.]

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Max-Planck-Institut für Bildungsforschung, Bibliothek und wissenschaftliche Information
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staatliches Institut für Musikforschung - Preußischer Kulturbesitz, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Stiftung Deutsches Technikmuseum Berlin, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität der Künste Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Verbund der Öffentlichen Bibliotheken Berlins - VÖBB
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Stadt- und Landesbibliothek im Bildungsforum Potsdam
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: SK 880 ; CC 5200 ; BG 4400 ; QH 710 ; ST 120 ; ST 110 ; ES 900 ; ZN 6015
    Schriftenreihe: Kommunikation und Kybernetik in Einzeldarstellungen ; 6
    Schlagworte: Informationstheorie
    Umfang: XII, 266 S., graph. Darst.
  11. Grundlagen und Anwendungen der Informationstheorie
    Erschienen: 1969
    Verlag:  Springer, Berlin u.a.

    BBF | Bibliothek für Bildungsgeschichtliche Forschung in Berlin
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Max-Planck-Institut für Bildungsforschung, Bibliothek und wissenschaftliche Information
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staatliches Institut für Musikforschung - Preußischer Kulturbesitz, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Stiftung Deutsches Technikmuseum Berlin, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität der Künste Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Zentrum Informationsarbeit Bundeswehr, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Heike, Georg (Sonstige)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: SK 880 ; CC 5200 ; SK 960 ; MB 2510 ; CM 5000 ; QH 710 ; ST 170 ; ST 120 ; BG 2440 ; DP 1080 ; ES 900
    Auflage/Ausgabe: 2. Aufl., neubearb. und erw. von G. Heike ...
    Schriftenreihe: Kommunikation und Kybernetik in Einzeldarstellungen ; 1
    Schlagworte: Informationstheorie
    Umfang: XXVI, 549 S., Ill., graph. Darst.
  12. Metaphern in der Informatik
    Modellbildung, Formalisierung, Anwendung
    Erschienen: 1998
    Verlag:  Dt. Univ.-Verl. [u.a.], Wiesbaden

    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Europa-Universität Viadrina, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Fachhochschule Potsdam, Hochschulbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Potsdam, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    ISBN: 3824420961
    RVK Klassifikation: ST 120 ; ES 965 ; ET 840 ; EC 3765
    Schriftenreihe: DUV : Informatik
    Schlagworte: Metapher; Fachsprache; Informatik
    Umfang: X, 292 S., Ill., graph. Darst.
    Bemerkung(en):

    Zugl.: Berlin, Techn. Univ., Diss., 1997

  13. Computability and decidability
    an introduction for students of computer science
    Erschienen: 1972
    Verlag:  Springer, Berlin [u.a.]

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  14. Informatik
    1, Vom Problem zum Programm
    Erschienen: 1976
    Verlag:  Hueber-Holzmann, München

    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3809698245
    Übergeordneter Titel:
    RVK Klassifikation: ST 110 ; ST 230 ; ST 120 ; ES 900
    Umfang: 360 S.
  15. Informatik
    2, Vom Programm zur Zentraleinheit. Vom Systementwurf zum Systembetrieb
    Erschienen: 1978
    Verlag:  Hueber-Holzmann, München

    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität der Künste Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3809698253
    Übergeordneter Titel:
    RVK Klassifikation: ST 110 ; ES 900 ; ST 120 ; ST 230
    Auflage/Ausgabe: 1. Aufl.
    Schlagworte: Tyskland (forbundsrepublik)
    Umfang: 348 S., Ill., graph. Darst.
  16. Logic programming
    Autor*in:
    Erschienen: 1982
    Verlag:  Acad. Pr., London (u.a.)

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Clark, K. L. (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0121755207
    RVK Klassifikation: ST 120 ; ST 230 ; ES 900
    Schriftenreihe: Automatic Programming Information Centre <Brighton>: APIC studies in data processing. ; 16.
    Schlagworte: Programacao De Computadores; Programmation logique; Software; Wiskundige logica; Logic programming; Logische Programmierung
    Umfang: XVII, 366 S.
  17. Informatik
    Aufgaben und Lösungen – 1
    Erschienen: 1975
    Verlag:  Springer, Berlin [u. a.]

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Gnatz, Rupert (Verfasser); Hill, Ursula (Verfasser)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3540070079; 0387070079
    Übergeordneter Titel:
    RVK Klassifikation: QH 710 ; ST 110 ; ES 900 ; ST 120 ; QH 500
    Schriftenreihe: Heidelberger Taschenbücher ; 159
    Heidelberger Taschenbücher ; ...
    Schlagworte: Informatik
    Umfang: XI, 163 S.
  18. Informatik
    Aufgaben und Lösungen – 2
    Erschienen: 1976
    Verlag:  Springer, Berlin [u. a.]

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Gnatz, Rupert (Verfasser); Hill, Ursula (Verfasser)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3540071164; 0387071164
    Übergeordneter Titel:
    RVK Klassifikation: ES 900 ; QH 710 ; QH 500 ; ST 110 ; ST 120
    Schriftenreihe: Heidelberger Taschenbücher ; 160
    Heidelberger Taschenbücher ; ...
    Schlagworte: Informatik
    Umfang: X, 173 S.
  19. Grundlagen und Anwendungen der Informationstheorie
    Erschienen: 1969
    Verlag:  Springer, Berlin

    BBF | Bibliothek für Bildungsgeschichtliche Forschung in Berlin
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Heike, Georg (Bearb.)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    RVK Klassifikation: QH 710 ; ST 170 ; SK 880 ; MB 2500 ; ES 900 ; CC 5200 ; BG 2440 ; ST 120 ; CM 5000 ; DP 1080
    Auflage/Ausgabe: 2. Aufl., neubearb. u. erw.
    Schriftenreihe: Kommunikation und Kybernetik in Einzeldarstellungen ; 1
    Schlagworte: Informationstheorie; ; Informationstheorie;
    Umfang: XXVI, 549 S., Ill., graph. Darst.
    Bemerkung(en):

    Rückent.: W. Meyer-Eppler: Informationstheorie

  20. Turing's cathedral
    the origins of the digital universe
    Autor*in: Dyson, George
    Erschienen: 2013
    Verlag:  Penguin Books, London [u.a.]

    "Legendary historian and philosopher of science George Dyson vividly re-creates the scenes of focused experimentation, incredible mathematical insight, and pure creative genius that gave us computers, digital television, modern genetics, models of... mehr

    Universitätsbibliothek Clausthal
    CL 20 : 1287/ STP-MA
    keine Fernleihe
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    MI 2014-1236
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Max-Planck-Institut für Evolutionsbiologie, Bibliothek
    GeN 25
    keine Fernleihe
    Herzog August Bibliothek Wolfenbüttel
    63.1941
    uneingeschränkte Fernleihe, Kopie und Ausleihe

     

    "Legendary historian and philosopher of science George Dyson vividly re-creates the scenes of focused experimentation, incredible mathematical insight, and pure creative genius that gave us computers, digital television, modern genetics, models of stellar evolution--in other words, computer code. In the 1940s and '50s, a group of eccentric geniuses--led by John von Neumann--gathered at the newly created Institute for Advanced Study in Princeton, New Jersey. Their joint project was the realization of the theoretical universal machine, an idea that had been put forth by mathematician Alan Turing. This group of brilliant engineers worked in isolation, almost entirely independent from industry and the traditional academic community. But because they relied exclusively on government funding, the government wanted its share of the results: the computer that they built also led directly to the hydrogen bomb. George Dyson has uncovered a wealth of new material about this project, and in bringing the story of these men and women and their ideas to life, he shows how the crucial advancements that dominated twentieth-century technology emerged from one computer in one laboratory, where the digital universe as we know it was born"--

     

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzog August Bibliothek Wolfenbüttel
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9780141015903; 014101590X
    RVK Klassifikation: SR 800 ; ST 120 ; NU 2430 ; AK 18600
    Schlagworte: Computable functions; Random access memory; Computers; Turing machines
    Weitere Schlagworte: Von Neumann, John (1903-1957); Turing, Alan Mathison (1912-1954)
    Umfang: XXII, 401 S., Ill., Kt., 25 cm
    Bemerkung(en):

    Literaturverz. S. 341 - 377

  21. Informatik
    eine einführende Übersicht – [...], 1, Aufgaben und Lösungen / Friedrich L. Bauer ; Rupert Gnatz ; Ursula Hill
    Erschienen: (1975)
    Verlag:  Springer, Berlin [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    2003/0782 Bd. 1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    2003/0783 Bd. 1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 110 B344-1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 110 B344-1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 110 B344-1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 110 B344-1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Johann Christian Senckenberg, Zentralbibliothek, Spezieller Retrobestand
    10.763.28 Bd. 1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Ausgesondert: A.1-3
    keine Fernleihe
    Hochschul- und Landesbibliothek Fulda, Standort Campus
    21 / ST 110 B344 -2,1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschul- und Landesbibliothek Fulda, Standort Campus, Magazin, Bestand Heinrich-von-Bibra-Platz
    Z 1269 (159)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Gießen
    20.205.77-1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    122 ST 110 B344-3
    keine Fernleihe
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    ST 1100 BAU2 -1,1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    /
    keine Fernleihe
    Bibliothek Physik
    AG Angewandte/Neurophysik
    keine Fernleihe
    Hochschul- und Landesbibliothek RheinMain, Rheinstraße
    60 75 A 1154 (1)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Stadtbibliothek Worms
    -Mag- Sg 20 / Bd 159
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Goos, Gerhard; Gnatz, Rupert; Hill, Ursula
    Sprache: Deutsch
    Medientyp: Mehrbändiges Werk
    Format: Druck
    ISBN: 3540070079; 0387070079
    Übergeordneter Titel: Informatik : eine einführende Übersicht - Alle Bände anzeigen
    RVK Klassifikation: ES 900 ; QH 500 ; QH 710 ; ST 110 ; ST 120
    Schriftenreihe: Heidelberger Taschenbücher ; 159 : Sammlung Informatik
    Umfang: XI, 163 S., graph. Darst.
  22. Informatik
    Verlag:  Hueber-Holzmann, München

    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    RVK Klassifikation: ES 900 ; ST 110 ; ST 120 ; ST 230
    Schlagworte: Datenverarbeitung
    Bemerkung(en):

    Literaturangaben

  23. Informatik
    1, [Hauptbd.], Vom Problem zum Programm
    Erschienen: 1983
    Verlag:  Hueber-Holzmann, München

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 120 I43 (2)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Johann Christian Senckenberg, Zentralbibliothek, Spezieller Retrobestand
    82.555.60 Bd. 1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschul- und Landesbibliothek Fulda, Standort Campus
    21 / ST 110 B198 (2) -1,1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Mainz, Zentralbibliothek
    111.961
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Mehrbändiges Werk
    Format: Druck
    ISBN: 3190098514
    Übergeordneter Titel: Informatik - Alle Bände anzeigen
    RVK Klassifikation: ES 900 ; ST 110 ; ST 120 ; ST 230
    Auflage/Ausgabe: 2., bearb. u. erw. Aufl., 1. Dr.
    Umfang: 360 S., Ill., graph. Darst.
  24. Beiträge zur Begriffsanalyse
    Vorträge d. Arbeitstagung Begriffsanalyse, Darmstadt 1986
    Autor*in:
    Erschienen: 1987
    Verlag:  BI-Wiss.-Verl., Mannheim [u.a.]

    Bibliothek der Hochschule Darmstadt, Zentralbibliothek
    00/CP 4000 G211
    keine Fernleihe
    Bibliothek der Hochschule Darmstadt, Zentralbibliothek
    00/CP 4000 G211 +2
    keine Fernleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /CC 3200 G211
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /CC 3200 G211
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /SK 150 G211
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /CC 3200 G211
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /SS 1800 B417.1986
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    -003-/CC 3200 G211
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Fachbereich Mathematik
    -034-AG 1/1230 (BA)
    keine Fernleihe
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    12.181.08
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Gießen
    20.971.70
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Gießen, Fachbibliothek Mathematik und Informatik
    Gant ..., 1. Ex.
    keine Fernleihe
    Universität Gießen, Fachbibliothek Mathematik und Informatik
    Gant ..., 2. Ex.
    keine Fernleihe
    Universitätsbibliothek Kassel, Standort Oberzwehren
    95 Wis AF 0009
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Ganter, Bernhard (Hrsg.)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3411031573
    RVK Klassifikation: CC 3200 ; CP 4000 ; CP 6500 ; ER 300 ; GC 1040 ; SS 1800 ; ST 120
    Schlagworte: Begriffsverband; Definition
    Umfang: 254 S., Ill., graph. Darst.
    Bemerkung(en):

    Beitr. teilw. dt., teilw. engl. - Literaturangaben

  25. Entscheidungstabellen
    Hilfsmittel zur Entscheidungsfindung, Dokumentation und Programmierung
    Erschienen: 1975
    Verlag:  Müller, Köln-Braunsfeld

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 230 F528
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Sk 4/485
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    10.845.71
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Gießen, Zweigbibliothek Recht und Wirtschaft
    010 QH 500 F528
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Wissenschaftliche Stadtbibliothek
    13/2281, Bd. 17
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Groß, Jürgen; Ott, Winfried
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3481327110
    RVK Klassifikation: ES 900 ; QH 500 ; ST 120 ; ST 140 ; ST 230 ; ST 330 ; ST 610
    Schriftenreihe: Die elektronische Datenverarbeitung von A bis Z
    Schlagworte: Entscheidungstabelle
    Umfang: 139 S., graph Darst.