Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 39 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 25 von 39.

Sortieren

  1. Computation of language
    an essay on syntax, semantics and pragmatics in natural man-machine communication
    Autor*in: Hausser, Roland
    Erschienen: 1989
    Verlag:  Springer, Berlin [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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
  2. Languages and machines
    an introduction to the theory of computer science
    Autor*in: Sudkamp, Thomas A.
    Erschienen: 1988
    Verlag:  Addison-Wesley, Reading, Mass. [u.a.]

    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)
    Format: Druck
    ISBN: 0201157683
    RVK Klassifikation: ES 900 ; ST 110
    Auflage/Ausgabe: Repr. with corr.
    Schriftenreihe: Addison-Wesley series in computer science
    Schlagworte: Theoretische Informatik;
    Weitere Schlagworte: Formal languages; Machine theory; Computational complexity
    Umfang: XV, 444 S, graph. Darst
  3. Adaptive information processing
    An introductory survey
    Autor*in: Sampson, Jeffrey R.
    Erschienen: 1976
    Verlag:  Springer, New York u.a.

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

    Standort:
    Verbund der Öffentlichen Bibliotheken Berlins - VÖBB
    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: 0387077391
    RVK Klassifikation: ES 930 ; ST 285 ; ST 130 ; ST 170
    Schriftenreihe: Texts and monographs in computer science.
    Schlagworte: Automates mathématiques, Théorie des; Information, Théorie de l', en biologie; Intelligence artificielle; Künstliche Intelligenz; Artificial intelligence; Information theory in biology; Machine theory; Künstliche Intelligenz; Informationstheorie; Adaptives System; Informationsvermittlung
    Umfang: X, 214 S., Ill. u. graph. Darst.
    Bemerkung(en):

    Texts and monographs in computer science
  4. Computation
    finite and infinite machines
    Autor*in: Minsky, Marvin
    Erschienen: 1967
    Verlag:  Prentice-Hall, Englewood Cliffs, N.J.

    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ST 130 ; ES 900 ; SK 920
    Schriftenreihe: Prentice-Hall series in automatic computation
    Schlagworte: Machine theory; Abstrakter Automat; Automatentheorie; Theorie; Berechenbarkeit; Computer
    Umfang: XVII, 317 S., zahlr. Ill.
  5. An introduction to formal languages and automata
    Autor*in: Linz, Peter
    Erschienen: 2006
    Verlag:  Jones and Bartlett, Sudbury, 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:
    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
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0763737984; 9780763737986
    RVK Klassifikation: ES 920 ; ST 136
    Auflage/Ausgabe: 4. ed.
    Schlagworte: Formal languages; Machine theory; Theoretische Informatik; Automatentheorie; Formale Sprache
    Umfang: XIII, 415 S., Ill.
    Bemerkung(en):

    Includes bibliographical references (p. 409) and index
  6. Der Automaten-Mensch
    E. T. A. Hoffmanns Erzählung vom "Sandmann" ; mit Bildern aus Alltag & Wahnsinn
    Autor*in: Wawrzyn, Lienhard
    Erschienen: 1994
    Verlag:  Wagenbach, Berlin

    Standort:
    Freie Universität 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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Hoffmann, E. T. A.
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3803122368
    RVK Klassifikation: GK 4944
    Auflage/Ausgabe: Neuausg.
    Schriftenreihe: Wagenbachs Taschenbuch ; 236
    Schlagworte: Geschichte; Machine theory; Mental illness; Künstlicher Mensch; Zeithintergrund
    Weitere Schlagworte: Hoffmann, E. T. A <1776-1822>: Sandmann; Hoffmann, E. T. A. (1776-1822); Hoffmann, E. T. A. (1776-1822): Der Sandmann
    Umfang: 156 S., Ill., Noten
    Bemerkung(en):

    Literaturverz. S. 154 - [157]
  7. 3. Colloquium über Automatentheorie
    vom 19. bis 22. Oktober 1965 in Hannover ; Vortragsauszüge
    Autor*in:
    Erschienen: 1967
    Verlag:  Birkhäuser, Basel [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:
    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Händler, Wolfgang (Sonstige)
    Sprache: Deutsch
    Medientyp: Konferenzschrift
    ISBN: 9783034858809; 9783034858793
    RVK Klassifikation: ST 130 ; SD 1965 ; ES 900
    Körperschaften/Kongresse: Colloquium über Automatentheorie, 3 (1965, Hannover)
    Schriftenreihe: ISNM ; 6
    Schlagworte: Machine theory; Automatentheorie; Computerlinguistik
    Umfang: 316 S.
    Bemerkung(en):

    Hier auch später erschienene, unveränderte Nachdrucke. - Softcover reprint of the hardcover 1st edition 1967 erschienen im Verlag Springer Basel AG
  8. Languages and machines
    an introduction to the theory of computer science
    Autor*in: Sudkamp, Thomas A.
    Erschienen: 1988
    Verlag:  Addison-Wesley, Reading, 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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0201157683
    RVK Klassifikation: ST 110 ; ES 900
    Schriftenreihe: Addison-Wesley series in computer science
    Schlagworte: Computational complexity; Formal languages; Machine theory; Theoretische Informatik
    Umfang: XV, 444 S., graph. Darst.
    Bemerkung(en):

    Literaturangaben
  9. Theory of computation
    formal languages, automata, and complexity
    Autor*in: Brookshear, J. Glenn
    Erschienen: 1989
    Verlag:  Benjamin/Cummings, Redwood City, Calif.

    Standort:
    Freie Universität 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
  10. Adaptive information processing
    an introductory survey
    Autor*in: Sampson, Jeffrey Robert
    Erschienen: 1976
    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  11. An introduction to the theory of formal languages and automata
    Autor*in: Levelt, Willem J. M.
    Erschienen: 2008
    Verlag:  Benjamins, 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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 9789027232502
    RVK Klassifikation: ES 163 ; ES 915
    Schlagworte: Formal languages; Machine theory; Maschinensprache; Formale Sprache
    Umfang: XI, 139 S.
    Bemerkung(en):

    Includes bibliographical references and index
  12. Computation
    finite and infinite machines
    Autor*in: Minsky, Marvin
    Erschienen: 1967
    Verlag:  Prentice-Hall, Englewood Cliffs, N.J.

    Standort:
    Universitätsbibliothek Eichstätt-Ingolstadt
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Hauptbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Regensburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ST 130 ; ES 900 ; SK 920
    Schriftenreihe: Prentice-Hall series in automatic computation
    Schlagworte: Machine theory; Abstrakter Automat; Automatentheorie; Theorie; Berechenbarkeit; Computer
    Umfang: XVII, 317 S., zahlr. Ill.
  13. Languages and machines
    an introduction to the theory of computer science
    Autor*in: Sudkamp, Thomas A.
    Erschienen: 1988
    Verlag:  Addison-Wesley, Reading, Mass. u.a.

    Standort:
    Universitätsbibliothek Würzburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0201157683
    RVK Klassifikation: ES 900 ; ST 110
    Auflage/Ausgabe: Reprint. with corr.
    Schlagworte: Computational complexity; Formal languages; Machine theory; Theoretische Informatik
    Umfang: XV, 444 S.
  14. An introduction to formal languages and automata
    Autor*in: Linz, Peter
    Erschienen: 1990
    Verlag:  Heath, Lexington, Mass. u.a.

    Standort:
    Universitätsbibliothek Würzburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0669173428
    RVK Klassifikation: ES 920
    Schlagworte: Automatentheorie; Formele talen; Langages formels; Formal languages; Machine theory; Theoretische Informatik; Automatentheorie; Formale Sprache
    Umfang: XVIII, 373 S.
  15. 3. Colloquium über Automatentheorie
    vom 19. bis 22. Oktober 1965 in Hannover ; Vortragsauszüge
    Autor*in:
    Erschienen: 1967
    Verlag:  Birkhäuser, Basel [u.a.]

    Standort:
    Universitätsbibliothek Augsburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Deutsches Museum, Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek der LMU München
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universität der Bundeswehr München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Wirtschafts- und Sozialwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Regensburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Würzburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Händler, Wolfgang (Sonstige)
    Sprache: Deutsch
    Medientyp: Konferenzschrift
    ISBN: 9783034858809; 9783034858793
    RVK Klassifikation: ST 130 ; SD 1965 ; ES 900
    Körperschaften/Kongresse: Colloquium über Automatentheorie, 3 (1965, Hannover)
    Schriftenreihe: ISNM ; 6
    Schlagworte: Machine theory; Automatentheorie; Computerlinguistik
    Umfang: 316 S.
    Bemerkung(en):

    Hier auch später erschienene, unveränderte Nachdrucke. - Softcover reprint of the hardcover 1st edition 1967 erschienen im Verlag Springer Basel AG
  16. Computation of language
    an essay on syntax, semantics and pragmatics in natural man-machine communication
    Autor*in: Hausser, Roland
    Erschienen: 1989
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    Bayerische Staatsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek der LMU München
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universität der Bundeswehr München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  17. Der Automaten-Mensch
    E. T. A. Hoffmanns Erzählung vom "Sandmann" ; mit Bildern aus Alltag & Wahnsinn
    Autor*in: Wawrzyn, Lienhard
    Erschienen: 1994
    Verlag:  Wagenbach, Berlin

    Standort:
    Landesbibliothek Coburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek der LMU München
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Hoffmann, E. T. A.
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3803122368
    RVK Klassifikation: GK 4944
    Auflage/Ausgabe: Neuausg.
    Schriftenreihe: Wagenbachs Taschenbuch ; 236
    Schlagworte: Geschichte; Machine theory; Mental illness; Künstlicher Mensch; Zeithintergrund
    Weitere Schlagworte: Hoffmann, E. T. A <1776-1822>: Sandmann; Hoffmann, E. T. A. (1776-1822); Hoffmann, E. T. A. (1776-1822): Der Sandmann
    Umfang: 156 S., Ill., Noten
    Bemerkung(en):

    Literaturverz. S. 154 - [157]
  18. An introduction to formal languages and automata
    Autor*in: Linz, Peter
    Erschienen: 1990
    Verlag:  Heath, Lexington, Mass. [u.a.]

    Standort:
    Bibliothek der Technischen Fakultät
    Signatur:
    Frei 91: CF/4.0/6
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Brechtbau-Bibliothek
    Signatur:
    GD 810.640
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    Signatur:
    QAA 215/1990 L
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0669173428
    RVK Klassifikation: ES 920
    Schlagworte: Machine theory; Formal languages
    Umfang: XVIII, 373 S., graph. Darst.
  19. Theoretische Grundlagen der Programmiersprachen
    Automaten und Sprachen
    Autor*in: Bucher, Walter
    Erschienen: 1986
    Verlag:  Bibliograph. Inst., Mannheim

    Standort:
    Technische Universität Chemnitz, Universitätsbibliothek
    Signatur:
    ST 130 buc
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Leipzig
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    Signatur:
    QAA 215/1986 B
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Hochschulbibliothek Weingarten
    Signatur:
    IF buc
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Hochschule Zittau / Görlitz, Hochschulbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Maurer, Hermann
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3411016817
    RVK Klassifikation: ES 920 ; ST 130 ; ST 136 ; ST 240
    Auflage/Ausgabe: Unveränd. Nachdr.
    Schriftenreihe: Reihe Informatik ; 41
    Schlagworte: Machine theory; Formal languages
    Umfang: 387, 20 S.
    Bemerkung(en):

    Literaturverz. S. 370 - 376
  20. Languages and machines
    an introduction to the theory of computer science
    Autor*in: Sudkamp, Thomas A.
    Erschienen: 1988
    Verlag:  Addison-Wesley, Reading, Mass. [u.a.]

    Standort:
    Bibliothek der Technischen Fakultät
    Signatur:
    Frei 91: CF/0.0/13
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität Heidelberg, Bereichsbibliothek Mathematik und Informatik
    Signatur:
    INF 1 SUD 221/1
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    NE 1150
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Saarländische Universitäts- und Landesbibliothek
    Signatur:
    90-4157
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität Stuttgart, Bibliothek der Institute für Linguistik und Literaturwissenschaft
    Signatur:
    E8--SUD45
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    Signatur:
    F.1.0
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    Signatur:
    QAA 215/1988 S
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0201157683
    RVK Klassifikation: ES 900 ; ST 110
    Schriftenreihe: Addison-Wesley series in computer science
    Schlagworte: Machine theory; Theory of computer science
    Umfang: XV, 444 S., graph. Darst., Kt.
  21. An introduction to formal languages and automata
    Autor*in: Linz, Peter
    Erschienen: c1997
    Verlag:  Jones and Bartlett Publishers, Sudbury, Mass.

    Standort:
    Hochschule Zittau / Görlitz, Hochschulbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 076370296X
    RVK Klassifikation: ES 920
    Auflage/Ausgabe: 2nd ed
    Schlagworte: Formal languages; Machine theory
    Umfang: xix, 377 p., ill., 25 cm
    Bemerkung(en):

    Includes bibliographical references (p. 372) and index
  22. An introduction to formal languages and automata
    Autor*in: Linz, Peter
    Erschienen: c 2006
    Verlag:  Jones and Bartlett Publishers, Sudbury, MA [u.a.]

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    T 06 B 3985
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Ernst-Abbe-Hochschule Jena, Wissenschaftliche Bibliothek
    Signatur:
    54.10,262-09/01256
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Brechtbau-Bibliothek
    Signatur:
    5-GD 810.640b
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0763737984; 9780763737986
    RVK Klassifikation: ST 136 ; ES 920
    Auflage/Ausgabe: 4. ed.
    Schlagworte: Formal languages; Machine theory; Formal languages; Machine theory
    Umfang: XIII, 415 S., graph. Darst., 25 cm
    Bemerkung(en):

    Literaturverz. S. 409
  23. Languages and machines
    an introduction to the theory of computer science
    Autor*in: Sudkamp, Thomas A.
    Erschienen: c2006
    Verlag:  Pearson Addison-Wesley, Boston

    Mathematical preliminaries -- Languages -- Context-free grammars -- Normal forms for context-free grammars -- Finite automata -- Properties of regular languages -- Pushdown automata and context-free languages -- Turing machines -- Turing computable... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    T 05 B 4714
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Ernst-Abbe-Hochschule Jena, Wissenschaftliche Bibliothek
    Signatur:
    54.10,223-06/04298
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Duale Hochschule Baden-Württemberg Mannheim, Bibliothek
    Signatur:
    INF A 1000.5 (3)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

     

    Mathematical preliminaries -- Languages -- Context-free grammars -- Normal forms for context-free grammars -- Finite automata -- Properties of regular languages -- Pushdown automata and context-free languages -- Turing machines -- Turing computable functions -- The Chomsky hierarchy -- Decision problems and the church-turing thesis -- Undecidability -- Mu-recursive functions -- Time complexity -- P, NP and Cook's theorem -- NP-complete problems -- Additional complexity classes -- Parsing : an introduction -- LL(k) grammars -- LR(k) grammars

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0321322215; 0321315340; 9780321322210
    RVK Klassifikation: ES 900 ; CM 5000 ; ST 110 ; ST 130
    Auflage/Ausgabe: 3., internat. ed.
    Schlagworte: Formal languages; Machine theory; Computational complexity; Formal languages; Machine theory; Computational complexity
    Umfang: XVII, 654 S, graph. Darst, 24 cm
    Bemerkung(en):

    Includes bibliographical references (p. 641-647) and index. - Previous ed.: 1997

    Mathematical preliminaries -- Languages -- Context-free grammars -- Normal forms for context-free grammars -- Finite automata -- Properties of regular languages -- Pushdown automata and context-free languages -- Turing machines -- Turing computable functions -- The Chomsky hierarchy -- Decision problems and the church-turing thesis -- Undecidability -- Mu-recursive functions -- Time complexity -- P, NP and Cook's theorem -- NP-complete problems -- Additional complexity classes -- Parsing : an introduction -- LL(k) grammars -- LR(k) grammars
  24. Concurrent behaviour
    sequences, processes and programming languages
    Autor*in: Best, Eike
    Erschienen: 1985

    Standort:
    Universitätsbibliothek Augsburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Bamberg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Bayreuth
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Bayerische Staatsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Deutsches Museum, Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Devillers, Raymond (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 3884570951
    RVK Klassifikation: SI 213 ; ES 920
    Schriftenreihe: Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien ; 99
    Schlagworte: Langages de programmation - Sémantique; Pétri, Réseaux de; Computer programming; Machine theory; Parallel processing (Electronic computers); Parallelverarbeitung; Petri-Netz
    Umfang: 67 S.
  25. An introduction to formal languages and automata
    Autor*in: Linz, Peter
    Erschienen: 2006
    Verlag:  Jones and Bartlett, Sudbury, Mass. [u.a.]

    Standort:
    Universitätsbibliothek Bamberg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Hochschule Nürnberg Georg Simon Ohm, Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0763737984; 9780763737986
    RVK Klassifikation: ES 920 ; ST 136
    Auflage/Ausgabe: 4. ed.
    Schlagworte: Formal languages; Machine theory; Theoretische Informatik; Automatentheorie; Formale Sprache
    Umfang: XIII, 415 S., Ill.
    Bemerkung(en):

    Includes bibliographical references (p. 409) and index