Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Filtern nach
Aktive Filter
Letzte Suchanfragen

Ergebnisse für *

Es wurden 261 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 25 von 261.

Sortieren

  1. An introduction to formal language theory
    Autor*in: Moll, Robert N.
    Erschienen: 1988
    Verlag:  Springer, New York

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Arbib, Michael A.; Kfoury, Assaf J.
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0387966986; 3540966986
    RVK Klassifikation: ST 136 ; ES 920 ; ST 130
    Schriftenreihe: Array
    Schlagworte: Formal languages; Parsing (Computer science); Formale Sprache
    Umfang: X, 203 S, graph. Darst
    Bemerkung(en):

    Literaturverz. S. [196]
  2. A first Course in formal logic and its applications in computer science
    Autor*in: Dowsing, Roy D.
    Erschienen: 1986
    Verlag:  Blackwell Scient. Publ., Oxford <<[u.a.]>>

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    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.
  3. Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
    Autor*in: Hopcroft, John E.
    Erschienen: 1988
    Verlag:  Addison-Wesley, Bonn <<[u.a.]>>

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Ullman, Jeffrey D. (Verfasser)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3925118829
    RVK Klassifikation: ST 136 ; ES 900 ; ST 130
    Schriftenreihe: Internationale Computer-Bibliothek
    Umfang: VIII, 440 S.
  4. Schriften zur Erkenntnistheorie
    Autor*in: Wiener, Oswald
    Erschienen: 1996
    Verlag:  Springer, Wien [u.a.]

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Hochschule für Technik und Wirtschaft Berlin, Hochschulbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Technische Hochschule Brandenburg, Hochschulbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Europa-Universität Viadrina, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Fachhochschule Potsdam, Hochschulbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3211826947
    RVK Klassifikation: ST 130 ; GN 9909 ; CC 5200 ; GN 9908 ; CC 4000 ; ST 300 ; CC 4400
    Schriftenreihe: Computerkultur ; 10
    Schlagworte: Computer; Künstliche Intelligenz; Erkenntnistheorie
    Umfang: XXIV, 339 S., Ill.
  5. Computational complexity and natural language
    Autor*in: Barton, G. E.
    Erschienen: 1988
    Verlag:  MIT Pr., Cambridge, Mass. u.a.

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Berwick, Robert C. (Verfasser); Ristad, Eric S. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0262022664
    RVK Klassifikation: ST 130 ; ST 278 ; ES 940
    Auflage/Ausgabe: 2. print.
    Schriftenreihe: Computational models of cognition and perception
    A Bradford book
    Schlagworte: Computerlinguistik; Sprache; Komplexitätstheorie; Komplexität
    Umfang: XII, 335 S.
  6. Automata, languages and programming
    proceedings of a symposium organized by IRIA, Institut de Recherche d'Informatique et d'Automatique, July 3 - 7, 1972
    Autor*in:
    Erschienen: 1973
    Verlag:  North-Holland, Amsterdam [u.a.] ; American Elsevier, New York

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Nivat, Maurice (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0720420741; 0444104267
    RVK Klassifikation: ST 130 ; SS 1972 ; SD 1972 ; ES 900
    Schlagworte: Computerlinguistik; Automatentheorie
    Umfang: XVI, 622 S.
  7. Graph-Grammatiken
    Theorie, Anwendungen, Implementierung
    Autor*in: Nagl, Manfred
    Erschienen: 1979
    Verlag:  Vieweg, Braunschweig [u.a.]

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Stiftung Deutsches Technikmuseum Berlin, Bibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Fachhochschule Potsdam, Hochschulbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 352803338X
    RVK Klassifikation: QH 500 ; ES 150 ; ES 900 ; QH 400 ; ST 130 ; SK 130
    DDC Klassifikation: ST 132
    Schriftenreihe: Studienbücher Informatik
    Schlagworte: Formele talen; Grafentheorie; Formal languages; Graph theory; Graph-Grammatik
    Umfang: 375 S., graph. Darst.
  8. Formal languages
    Autor*in: Salomaa, Arto
    Erschienen: 1973
    Verlag:  Acad. Press, New York [u.a.]

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0126157502
    RVK Klassifikation: ST 136 ; ES 920 ; ST 130 ; ST 238
    Schriftenreihe: ACM monograph series
    Schlagworte: Formale Sprache
    Umfang: XIII, 322 S., graph. Darst.
  9. Finite automata
    behavior and synthesis
    Autor*in: Trachtenbrot, Boris Avraamovič
    Erschienen: 1973
    Verlag:  North-Holland Publ. [u.a.], Amsterdam [u.a.]

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Barzdiǹ, Jan M. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0720480213; 0444104186
    RVK Klassifikation: ES 920 ; ST 130
    Schriftenreihe: Fundamental studies in computer science ; 1
    Schlagworte: Automatentheorie; Formale Sprache; Automat
    Umfang: XI, 321 S., graph. Darst.
    Bemerkung(en):

    Aus dem Russ. übers.
  10. Induction, recursion, and programming
    Autor*in: Wand, Mitchell
    Erschienen: 1980
    Verlag:  North Holland, New York u.a.

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0444003223
    RVK Klassifikation: ST 230 ; ST 130 ; ES 915 ; ST 140
    Schlagworte: Rekursion; Grundlage; Datenverarbeitung; Induktion; Mathematik; Programmierung
    Umfang: XIII, 202 S., graph. Darst.
  11. The art of computer programming
    3, Sorting and searching
    Autor*in: Knuth, Donald Ervin
    Erschienen: 1973
    Verlag:  Addison-Wesley, Upper Saddle River, NJ ; Munich [u.a.]

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Technische Hochschule Wildau [FH], Hochschulbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 020103803X
    Übergeordneter Titel:
    RVK Klassifikation: ST 130 ; ES 900 ; QH 500 ; ST 230 ; ST 134
    Schlagworte: Programmierung
    Umfang: XI, 722 S., graph. Darst.
  12. Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
    Autor*in: Hopcroft, John E.
    Erschienen: 1989
    Verlag:  Addison-Wesley, Bonn [u.a.]

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Ullman, Jeffrey D. (Verfasser)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3925118829
    RVK Klassifikation: ST 136 ; ES 900 ; ST 130
    Auflage/Ausgabe: Unveränd. Nachdr.
    Schriftenreihe: Internationale Computer-Bibliothek
    Schlagworte: Theoretische Informatik
    Umfang: VIII, 440 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 417 - 431
  13. Computational complexity and natural language
    Autor*in: Barton, G. Edward
    Erschienen: 1987
    Verlag:  MIT Pr., Cambridge, Mass. [u.a.]

    Standort:
    Max-Planck-Institut für Bildungsforschung, Bibliothek und wissenschaftliche Information
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Berwick, Robert C.; Ristad, Eric Sven
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0262022664
    RVK Klassifikation: ST 680 ; ES 940 ; ST 130
    Schriftenreihe: Computational Models of cognition and perception
    Computational models of cognition and perception
    Schlagworte: Computational complexity; Natural language processing (Computer science); Informatik; Sprache; Linguistik; Kognition
    Umfang: XII, 335 S, graph. Darst
    Bemerkung(en):

    A Bradford book
  14. The art of computer programming
    3, Sorting and searching
    Autor*in: Knuth, Donald Ervin
    Erschienen: [19]92
    Verlag:  Addison-Wesley, Upper Saddle River, NJ ; Munich [u.a.]

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 020103803X
    Übergeordneter Titel:
    RVK Klassifikation: ES 900 ; ST 230 ; ST 134 ; QH 500 ; ST 130
    Auflage/Ausgabe: 33. [Dr.]
    Schlagworte: Numerische Mathematik; Nichtnumerische Datenverarbeitung; Algorithmus; Programmierung
    Umfang: XI, 723 S.
  15. The art of computer programming
    3, Sorting and searching
    Autor*in: Knuth, Donald Ervin
    Erschienen: 1994
    Verlag:  Addison-Wesley, Upper Saddle River, NJ ; Munich [u.a.]

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 020103803X
    Übergeordneter Titel:
    RVK Klassifikation: ES 900 ; ST 134 ; ST 130 ; QH 500 ; ST 230
    Auflage/Ausgabe: 37. [Dr.]
    Schlagworte: Numerische Mathematik; Nichtnumerische Datenverarbeitung; Programmierung; Algorithmus
    Umfang: XI, 723 S.
  16. The art of computer programming
    1, Fundamental algorithms
    Autor*in: Knuth, Donald Ervin
    Erschienen: [19]96
    Verlag:  Addison-Wesley, Upper Saddle River, NJ ; Munich [u.a.]

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0201038099
    Übergeordneter Titel:
    RVK Klassifikation: ST 230 ; QH 500 ; ST 134 ; ES 900 ; ST 130
    Auflage/Ausgabe: 2. ed., 35. [Dr.]
    Schlagworte: Nichtnumerische Datenverarbeitung; Numerische Mathematik; Algorithmus; Programmierung
    Umfang: XXI, 634 S., graph. Darst.
  17. The art of computer programming
    2, Seminumerical algorithms
    Autor*in: Knuth, Donald Ervin
    Erschienen: 1993
    Verlag:  Addison-Wesley, Upper Saddle River, NJ ; Munich [u.a.]

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0201038226
    Übergeordneter Titel:
    RVK Klassifikation: QH 500 ; ST 230 ; ES 900 ; ST 134 ; ST 130
    Auflage/Ausgabe: 2. ed., 20. [Dr.]
    Schlagworte: Numerische Mathematik; Programmierung; Algorithmus; Nichtnumerische Datenverarbeitung
    Umfang: XIII, 688 S., graph. Darst.
  18. The art of computer programming
    1, Fundamental algorithms
    Autor*in: Knuth, Donald Ervin
    Erschienen: 1993
    Verlag:  Addison-Wesley, Upper Saddle River, NJ ; Munich [u.a.]

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0201038099
    Übergeordneter Titel:
    RVK Klassifikation: ST 134 ; QH 500 ; ST 230 ; ST 130 ; ES 900
    Auflage/Ausgabe: 2. ed., 30. [Dr.]
    Schlagworte: Nichtnumerische Datenverarbeitung; Programmierung; Numerische Mathematik; Algorithmus
    Umfang: XXI, 634 S., graph. Darst.
  19. Logic for computer science
    foundations of automatic theorem proving
    Autor*in: Gallier, Jean H.
    Erschienen: 1987
    Verlag:  Wiley, New York ; Chichester ; Brisbane ; Toronto ; Singapore

    Standort:
    Technische Hochschule Brandenburg, Hochschulbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0471615463
    RVK Klassifikation: ST 130 ; ST 304 ; SK 130 ; ES 900
    Schlagworte: Mathematische Logik; Automatisches Beweisverfahren
    Umfang: XV, 511 S., graph. Darst.
  20. The art of computer programming
    1., Fundamental algorithms
    Autor*in: Knuth, Donald Ervin
    Erschienen: 1995
    Verlag:  Addison-Wesley, Upper Saddle River, NJ ; Munich [u.a.]

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0201038099
    Übergeordneter Titel:
    RVK Klassifikation: ES 900 ; ST 130 ; QH 500 ; ST 230 ; ST 134
    Auflage/Ausgabe: 2. ed., 34. [print.]
    Schlagworte: Nichtnumerische Datenverarbeitung; Programmierung; Numerische Mathematik; Algorithmus
    Umfang: XXI, 634 S., graph. Darst.
  21. The art of computer programming
    2., Seminumerical algorithms
    Autor*in: Knuth, Donald Ervin
    Erschienen: 1995
    Verlag:  Addison-Wesley, Upper Saddle River, NJ ; Munich [u.a.]

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0201038226
    Übergeordneter Titel:
    RVK Klassifikation: ES 900 ; ST 230 ; QH 500 ; ST 130 ; ST 134
    Auflage/Ausgabe: 2. ed., 24. [print.]
    Schlagworte: Numerische Mathematik; Algorithmus; Programmierung; Nichtnumerische Datenverarbeitung
    Umfang: XII, 688 S., graph. Darst.
  22. A first course in formal logic and its applications in computer science
    Autor*in: Dowsing, Roy D.
    Erschienen: 1986
    Verlag:  Blackwell Scientif. Publ., Oxford <<[u.a.]>>

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    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.
  23. The art of computer programming
    1, Fundamental algorithms
    Autor*in: Knuth, Donald Ervin
    Erschienen: 1973
    Verlag:  Addison-Wesley, Upper Saddle River, NJ ; Munich [u.a.]

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Technische Hochschule Wildau [FH], Hochschulbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0201038218
    Übergeordneter Titel:
    RVK Klassifikation: ES 900 ; ST 230 ; ST 134 ; ST 130 ; QH 500
    Auflage/Ausgabe: 2. ed.
    Schlagworte: Numerische Mathematik; Algorithmus; Programmierung; Nichtnumerische Datenverarbeitung
    Umfang: XXI, 634 S., graph. Darst.
  24. Computational complexity and natural language
    Autor*in: Barton, G. E.
    Erschienen: 1987
    Verlag:  MIT Pr., Cambridge, Mass. u.a.

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Berwick, Robert C. (Verfasser); Ristad, Eric S. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0262022664
    RVK Klassifikation: ES 940 ; ST 306 ; ST 130
    Schriftenreihe: Computational models of cognition and perception
    A Bradford book
    Schlagworte: Komplexitätstheorie; Computerlinguistik; Sprache; Komplexität
    Umfang: XII, 335 S.
  25. An introduction to formal language theory
    Autor*in: Moll, Robert N.
    Erschienen: 1988
    Verlag:  Springer, New York u.a.

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Arbib, Michael A. (Verfasser); Kfoury, A. J. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0387966986; 3540966986
    RVK Klassifikation: ST 130 ; ES 920 ; ST 240
    Schriftenreihe: Texts and monographs in computerscience, The AKM series in theoretical computer science
    Schlagworte: Formele talen; Langages formels; Formal languages; Programming languages (Electronic computers); Programmierung; Computerlinguistik; Formale Sprache
    Umfang: X, 203 S.