Filtern nach
Letzte Suchanfragen

Ergebnisse für *

Es wurden 81 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 25 von 81.

Sortieren

  1. An introduction to formal language theory
    Erschienen: 1988
    Verlag:  Springer, New York

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Potsdam, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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. Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
    Erschienen: 1988
    Verlag:  Addison-Wesley, Bonn <<[u.a.]>>

    Freie Universität Berlin, Universitätsbibliothek
    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: 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.
  3. Formal languages
    Autor*in: Salomaa, Arto
    Erschienen: 1973
    Verlag:  Acad. Press, New York [u.a.]

    Freie Universität Berlin, Universitätsbibliothek
    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
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Potsdam, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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.
  4. Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
    Erschienen: 1989
    Verlag:  Addison-Wesley, Bonn [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: 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

  5. Parsing theory
    1, Languages and parsing
    Autor*in: Sippu, Seppo
    Erschienen: 1988
    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
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Soisalon-Soininen, Eljas (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 3540137203; 0387137203
    Übergeordneter Titel:
    RVK Klassifikation: ES 940 ; ST 136 ; ST 306 ; ST 510 ; ST 130
    Schriftenreihe: EATCS monographs on theoretical computer science ; 15
    European Association for Theoretical Computer Science: EATCS Monographs on Theoretical Computer Science ; ...
    Umfang: VIII, 228 S., graph. Darst.
  6. An introduction to formal languages and automata
    Autor*in: Linz, Peter
    Erschienen: 2006
    Verlag:  Jones and Bartlett, Sudbury, Mass. [u.a.]

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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

  7. Theoretische Grundlagen der Programmiersprachen
    Automaten u. Sprachen
    Erschienen: 1986
    Verlag:  Bibliograph. Inst., BI-Wissenschaftsverl., Mannheim u.a.

    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Potsdam, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Maurer, Hermann (Verfasser)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3411016817
    RVK Klassifikation: ST 136 ; ES 920 ; ST 250 ; ST 130 ; ST 240
    Auflage/Ausgabe: Unveränd. Nachdr.
    Schriftenreihe: Reihe Informatik ; 41.
    Schlagworte: Automatentheorie; Formale Sprache; Syntax; Endlicher Automat; Grammatik; Programmiersprache
    Umfang: 387 S.
  8. Theoretische Grundlagen der Programmiersprachen
    Automaten und Sprachen
    Erschienen: 1984
    Verlag:  Bibliogr. Inst., Mannheim 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
    Verbund der Öffentlichen Bibliotheken Berlins - VÖBB
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Potsdam, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Maurer, Hermann (Verfasser)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3411016817
    RVK Klassifikation: ES 920 ; ST 240 ; ST 238 ; ST 136 ; ST 250 ; ST 130 ; SS 5110
    Schriftenreihe: Reihe Informatik ; 41
    Schlagworte: Formal languages; Programming languages (Electronic computers); Automatentheorie; Formale Sprache; Syntax; Endlicher Automat; Grammatik; Programmiersprache
    Umfang: 387 S.
  9. Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
    Erschienen: 1988
    Verlag:  Addison-Wesley, Bonn [u.a.]

    Theory of Computation -- Computation by Abstracts Devices. mehr

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe

     

    Theory of Computation -- Computation by Abstracts Devices.

     

    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 ; ST 130 ; ES 900
    Schriftenreihe: Internationale Computer-Bibliothek.
    Schlagworte: Formale Sprache; Automatentheorie; Komplexitätstheorie
    Umfang: VIII, 440 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 417 - 431

  10. Formale Sprachen
    Autor*in: Salomaa, Arto
    Erschienen: 1978
    Verlag:  Springer, Berlin [u.a.]

    Beuth Hochschule für Technik Berlin, Hochschulbibliothek
    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
    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: 3540090304; 0387090304
    RVK Klassifikation: ST 240 ; ST 130 ; ES 920 ; ST 136
    Schlagworte: Formale Sprache
    Umfang: XI, 314 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 309 - 311

  11. Syntax analysis and software tools
    Erschienen: 1988
    Verlag:  Addison-Wesley, Sydney u.a.

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  12. Computability and decidability
    an introduction for students of computer science
    Erschienen: 1972
    Verlag:  Springer, Berlin [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 130 L825
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 130 L825
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 130 L825
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 130 L825
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Ko 36/929
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    10.376.39
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Bibliothek Recht und Wirtschaft (BRuW)
    05/SI 853-68
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Mathematikbibliothek
    A 8318
    keine Fernleihe
    Universität Mainz, Bereichsbibliothek Rechts- und Wirtschaftswissenschaften
    XIV/l 32
    keine Fernleihe
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    F.4 Loec
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540058699; 0387058699
    RVK Klassifikation: ES 920 ; QH 500 ; SI 853 ; ST 130 ; ST 136
    Schriftenreihe: Lecture notes in economics and mathematical systems ; 68
    Schlagworte: Entscheidbarkeit; Berechenbarkeit; Entscheidbarkeit <Math.>; Berechenbarkeit
    Umfang: VI, 76 S., graph. Darst., 26 cm
  13. Formal language theory
    perspectives and open problems ; [proceedings of a conference held Dec. 10-14, 1979, in Santa Barbara, Calif.]
    Autor*in:
    Erschienen: 1980
    Verlag:  Acad. Press, New York [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 B724
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    S 81/1004
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-57
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-57 ex 2
    keine Fernleihe
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    SS 1800 1979 SAN1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Book, Ronald V. (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0121153509
    RVK Klassifikation: ES 920 ; SD 1979 ; ST 136
    Schriftenreihe: Academic Press rapid manuscript reproduction
    Schlagworte: Formale Sprache; Theorie
    Umfang: XIII, 454 S.
    Bemerkung(en):

    Literaturangaben

  14. Theoretische Grundlagen der Programmiersprachen
    Automaten und Sprachen
    Erschienen: 1984
    Verlag:  B.I.-Wissenschaftsverlag, Mannheim [u.a.]

    Technische Hochschule Bingen, Bibliothek
    880361/273500
    keine Fernleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 B919
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 B919
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bibliothek der Frankfurt University of Applied Sciences
    INF 22 Buc
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    S 85/56
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    82.854.47
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-92
    keine Fernleihe
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    ST 1304 BUC1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Mainz, Bereichsbibliothek Rechts- und Wirtschaftswissenschaften
    XIV/b 205
    keine Fernleihe
    Universität Marburg, Universitätsbibliothek
    Pk 85/14
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    F.4 Buch
    keine Fernleihe
    Hochschul- und Landesbibliothek RheinMain, Rheinstraße
    60 85 A 584
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Stadtbibliothek Worms
    -Mag- N 431 / Bd 404.404a
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Maurer, Hermann
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3411016817
    RVK Klassifikation: ES 920 ; ST 130 ; ST 136 ; ST 240 ; ST 250
    Schriftenreihe: Reihe Informatik ; 41
    Schlagworte: Automatentheorie; Syntax; Programmiersprache; Formale Sprache; Formale Sprache; Automatentheorie
    Umfang: 387, 20 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 370 - 376

  15. Theoretische Grundlagen der Programmiersprachen
    Automaten u. Sprachen
    Erschienen: 1986
    Verlag:  Bibliograph. Inst., Mannheim [u.a.]

    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    122 ST 240 B919
    keine Fernleihe
    Universitätsbibliothek Kassel, Standort Oberzwehren
    95 mat U 4 BUC
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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 240 ; ST 250 ; ST 136
    Auflage/Ausgabe: Unveränd. Nachdr.
    Schriftenreihe: Reihe Informatik ; 41
    Schlagworte: Formale Sprache; Automatentheorie
    Umfang: 387 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 370 - 376

  16. The theory of parsing, translation, and compiling
    1, Parsing
    Erschienen: 1972
    Verlag:  Prentice Hall, Englewood Cliffs, NJ

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 A286-1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 A286-1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 A286-1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    HB 5: Ga 286 Bd. 1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    90.841.57
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Mathematikbibliothek
    A 9966
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Ausgesondert: D.3-21 ex 1
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Ausgesondert: D.3-21 ex 2
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    D.3-21 ex 3
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Ausgesondert: D.3-21 ex 4
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    D.3-21 ex 5
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    D.3-21 ex 6
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Ausgesondert: D.3-21 ex 7
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    D.3-21 ex 8
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Ausgesondert: D.3-21 ex 9
    keine Fernleihe
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    122 ST 136 A286
    keine Fernleihe
    Institut für Veterinär-Physiologie, Arbeitsgruppe Biomathematik und Datenverarbeitung , Bibliothek
    Md 159 (2428) DVM 310 (dig. ZK)
    keine Fernleihe
    Universitätsbibliothek Kassel, Standort Oberzwehren
    95 inf M 4 AHO
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Germanistik I / Kulturanthropologie und Germanistik II
    I 420 - A 18
    keine Fernleihe
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Allgemeine und Vergleichende Sprachwissenschaft
    Bi 972-4
    keine Fernleihe
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    D.3 Aho
    keine Fernleihe
    Statistisches Bundesamt, Bibliothek
    Signatur ermitteln
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Ullman, Jeffrey D.
    Sprache: Englisch
    Medientyp: Mehrbändiges Werk
    Format: Druck
    ISBN: 0139145567
    Übergeordneter Titel: The theory of parsing, translation, and compiling - Alle Bände anzeigen
    RVK Klassifikation: ES 900 ; ES 940 ; ST 136 ; ST 140 ; ST 235 ; ST 265
    Umfang: XVIII, 542 S.
    Bemerkung(en):

    Literaturverz. S. 519 - 530

  17. Formale Sprachen
    Autor*in: Salomaa, Arto
    Erschienen: 1978
    Verlag:  Springer, Berlin [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    2005/0002
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 S173
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 S173
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Fachbereich Mathematik
    -034-AG 1/1032
    keine Fernleihe
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    11.269.16
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-6
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-6 ex 2
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-6 ex 4
    keine Fernleihe
    Hochschul- und Landesbibliothek Fulda, Standort Campus
    21 / ST 136 S173
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Gießen
    FH kyb Cf 0.1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    122 ST 136 S173
    keine Fernleihe
    Institut für Veterinär-Physiologie, Arbeitsgruppe Biomathematik und Datenverarbeitung , Bibliothek
    / (dig. ZK.)
    keine Fernleihe
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    ST 1304 SAL2
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Mainz, Bereichsbibliothek Rechts- und Wirtschaftswissenschaften
    XIV/s 207
    keine Fernleihe
    Universität Marburg, Universitätsbibliothek
    B 79/2
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Marburg, Universitätsbibliothek
    001 ES 920 S173
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Dieterich, Ernst-Wolfgang (Übers.); Salomaa, Arto
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540090304; 0387090304
    RVK Klassifikation: ES 920 ; ST 130 ; ST 136 ; ST 240
    Schlagworte: Formale Sprache; Formale Sprache
    Umfang: XI, 314 S., graph. Darst.
    Bemerkung(en):

    Literaturangaben

  18. Attribute grammars and their applications
    proceedings
    Autor*in:
    Erschienen: 1990
    Verlag:  Springer, Berlin [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 D427
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /SS 1800 W129.1990
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Z 23, 461
    keine Fernleihe
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Deransart, Pierre (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540531017; 0387531017
    RVK Klassifikation: ES 926 ; ST 136 ; SS 1800 ; SS 4800
    Schriftenreihe: Lecture notes in computer science ; 461
    Schlagworte: Attributierte Grammatik
    Umfang: VII, 358 S., graph. Darst.
    Bemerkung(en):

    Literaturangaben

  19. An introduction to formal language theory
    Erschienen: 1988
    Verlag:  Springer, New York [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    89/1352
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /SK 130 M726
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 M726
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    12.222.66
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-55
    keine Fernleihe
    Universitätsbibliothek Kassel, Standort Oberzwehren
    95 mat U 4 MOL
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Arbib, Michael A.; Kfoury, Assaf J.
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540966986; 0387966986
    RVK Klassifikation: ES 920 ; SK 130 ; ST 130 ; ST 136 ; ST 240 ; ST 306
    Auflage/Ausgabe: 1. [Dr.]
    Schriftenreihe: Texts and monographs in computer science. The AKM series in theoretical computer science
    Schlagworte: Formale Sprache
    Umfang: X, 203 S., 61 Ill. u. graph. Darst.
    Bemerkung(en):

    Literaturangaben

  20. NEWCAT
    parsing natural language using left associative grammar
    Erschienen: 1986
    Verlag:  Springer, Berlin [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 H377
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    83.327.79
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    12.049.97
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Z 23, 231
    keine Fernleihe
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Germanistik I / Kulturanthropologie und Germanistik II
    C 40 - H 36
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540167811; 0387167811
    RVK Klassifikation: ES 940 ; SS 4800 ; ST 136
    Schriftenreihe: Lecture notes in computer science ; 231
    Schlagworte: NEWCAT; Natürliche Sprache
    Umfang: 540 S., graph. Darst
  21. Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
    Erschienen: 1988
    Verlag:  Addison-Wesley, Bonn [u.a.]

    Technische Hochschule Bingen, Bibliothek
    K/880503/121000
    keine Fernleihe
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    12.221.53
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Ausgesondert: F.4-5 ex 10
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Ausgesondert: F.4-5 ex 11
    keine Fernleihe
    Hochschul- und Landesbibliothek Fulda, Standort Campus
    21 / ST 136 H791
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    F.0
    keine Fernleihe
    Hochschul- und Landesbibliothek RheinMain, Rheinstraße
    60 88 A 4538
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Stadtbibliothek Worms
    -Mag- H 1394
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Ullman, Jeffrey D.; Hopcroft, John E.
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3925118829
    RVK Klassifikation: ST 136 ; ES 900 ; ST 130
    Schriftenreihe: Internationale Computer-Bibliothek
    Schlagworte: Komplexitätstheorie; Formale Sprache
    Umfang: 440 S., graph. Darst
    Bemerkung(en):

    Literaturverz. S. 417 - 431. - Literaturangaben

  22. Attribute grammars
    definitions, systems, and bibliogr.
    Erschienen: 1988
    Verlag:  Springer, Berlin [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 D427
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 D427
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    84.023.91
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Z 23, 323
    keine Fernleihe
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Jourdan, Martin; Lorho, Bernard
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540500561; 0387500561
    RVK Klassifikation: ES 926 ; SS 4800 ; ST 136
    Schriftenreihe: Lecture notes in computer science ; 323
    Umfang: IX, 232 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 161 - 232

  23. Theory and application of a bottom-up syntax-directed translator
    Erschienen: 1973
    Verlag:  Acad. Press, New York, N.Y. [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 A161
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 A161
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-2
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-2 ex 2
    keine Fernleihe
    Universitätsbibliothek Kassel, Standort Oberzwehren
    95 inf M 4 ABR
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0120426501
    RVK Klassifikation: ES 940 ; ES 960 ; ST 136 ; ST 265
    Schriftenreihe: ACM monograph series
    Schlagworte: Maschinelle Übersetzung; Compiler; Formale Sprache
    Umfang: X, 160 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 153 - 155

  24. Pumps, Transporters, and Ion Channels
    Autor*in:
    Erschienen: 2005
    Verlag:  Springer US, New York, NY ; Springer International Publishing AG, Cham

    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Sepulveda, Francisco (Herausgeber); Bezanilla, Francisco (Herausgeber)
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9780387274249; 0387274243; 1441934642; 0387500561; 0306486598
    Weitere Identifier:
    RVK Klassifikation: WE 5460 ; ES 926 ; SS 4800 ; ST 136
    Auflage/Ausgabe: 1st ed. 2005
    Schriftenreihe: Series of the Centro De Estudios Científicos
    Umfang: 1 Online-Ressource (XVII, 165 Seiten), 67 illus., 1 illus. in color.
  25. Begriffsschrift und andere Aufsätze
    Erschienen: 1971
    Verlag:  Olms, Hildesheim, New York

    Forschungszentrum Deutscher Sprachatlas, Bibliothek
    706 CG 3384 B41.971 (2)
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Angelelli, Ignacio
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    RVK Klassifikation: CG 3382 ; CG 3384 ; GB 1725 ; SK 130 ; ST 136
    Auflage/Ausgabe: 2. Aufl.
    Umfang: XVI, 124 S.