Filtern nach
Letzte Suchanfragen

Ergebnisse für *

Es wurden 52 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 25 von 52.

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. A corpus of formal British English speech
    the Lancaster/IBM Spoken English Corpus
    Erschienen: 1996
    Verlag:  Longman, London [u.a.]

    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    1997 8 011595
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    Bibliothek der Pädagogischen Hochschule Erfurt
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Freiburg
    GE 96/12206
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    96 A 23670
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    A 1997/10408
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    COL 2-7
    keine Fernleihe
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    97/4623
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    EG/325/5668
    keine Fernleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    EG/325/5668
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Heidelberg
    96 A 10028
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Anglistisches Seminar der Universität, Bibliothek
    S AQ 44
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Thüringer Universitäts- und Landesbibliothek
    96 NA 37795/1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    At 3318
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    ME 1423
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Stuttgart, Bibliothek der Institute für Linguistik und Literaturwissenschaft
    Fen3/1--COR67
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Brechtbau-Bibliothek
    MB 210.288
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Inhaltsverzeichnis (Kostenfrei)
    Quelle: Leibniz-Institut für Deutsche Sprache, Bibliothek
    Beteiligt: Knowles, Gerald (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 058205639X
    RVK Klassifikation: HF 450 ; HF 100 ; HF 115
    Schlagworte: Englisch; Gesprochene Sprache; Korpus <Linguistik>; ; Englisch; Formale Sprache; ; Englisch; Gesprochene Sprache; Standardsprache; Prosodie;
    Umfang: VII, 269 S, 23 cm
    Bemerkung(en):

    Literaturverz. S. [270]

  3. Computeranwendungen und sprachlicher Kontext
    zu den Wechselwirkungen zwischen normaler und formaler Sprache bei Einsatz und Entwicklung von Software
    Erschienen: 1997
    Verlag:  Lang, Frankfurt am Main [u.a.]

    TU Darmstadt, Institut für Allgemeine Pädagogik und Berufsädagogik
    -094-CSW 193
    keine Fernleihe
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    86.272.52
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Mainz, Bereichsbibliothek Rechts- und Wirtschaftswissenschaften
    XIV/d 207
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    Format: Druck
    ISBN: 3631320248
    RVK Klassifikation: ST 510 ; ES 900 ; ST 510
    Schriftenreihe: Europäische Hochschulschriften. Reihe 41, Informatik ; 27
    Schlagworte: Natürliche Sprache; Formale Sprache; Formalisierung; Sprachphilosophie; Linguistik; Linguistik; Computerunterstütztes Verfahren
    Umfang: 266 S.
    Bemerkung(en):

    Zugl.: Hamburg, Univ., Diss., 1997

  4. Theoretische Grundlagen der Programmiersprachen
    Theorie der Syntax
    Erschienen: 1969
    Verlag:  Bibliogr. Inst., Mannheim [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Sg 410 Bd. 404/404a
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /SK 130 M453
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 240 M453
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 240 M453
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 240 M453
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 240 M453
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 240 M453
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 240 M453
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 240 M453
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Fachbereich Mathematik
    -034-AG 1/150
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Bibliothek Naturwissenschaften (BNat)
    09/ST 130 M453
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Ausgesondert: D.3-12
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Ausgesondert: D.3-12 ex 3
    keine Fernleihe
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    Abgesetzt
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    ST 1304 MAU1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Mainz, Bereichsbibliothek Rechts- und Wirtschaftswissenschaften
    XIV/m 81
    keine Fernleihe
    Wissenschaftliche Stadtbibliothek
    70/4838
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    F.4 Maur
    keine Fernleihe
    Hochschul- und Landesbibliothek RheinMain, Rheinstraße
    60 Uc 8105
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Statistisches Bundesamt, Bibliothek
    Signatur ermitteln
    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
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    RVK Klassifikation: ES 915 ; MR 2200 ; QH 500 ; ST 130 ; ST 240
    Schriftenreihe: Reihe Informatik
    BI-Hochschultaschenbücher ; 404/404a
    Schlagworte: Syntax; Programmiersprache; Theorie; Formale Sprache; Grundlage; Formale Sprache; Automatentheorie
    Umfang: 253 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. [240] - 247

  5. Grammatical models of multi-agent systems
    Autor*in:
    Erschienen: 1999
    Verlag:  Gordon and Breach Science Publ., Amsterdam [u.a.]

    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Q 86.708.37
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Păun, Gheorghe (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9056991779
    RVK Klassifikation: ES 900
    Schriftenreihe: Topics in computer mathematics ; 8
    Schlagworte: Mehragentensystem; Formale Sprache
    Umfang: VIII, 355 S.
  6. 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

  7. 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

  8. 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

  9. Theory of computation
    formal languages, automata and complexity
    Erschienen: 1989
    Verlag:  Benjamin Cummings, Redwood City [u.a.]

    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-86
    keine Fernleihe
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    122 ST 130 B873
    keine Fernleihe
    Universitätsbibliothek Kassel, Landesbibliothek und Murhardsche Bibliothek der Stadt Kassel
    Nicht lieferbar
    keine Fernleihe
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    ST 1304 BRO1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0805301437
    RVK Klassifikation: ES 900 ; ST 130 ; ST 230
    Schriftenreihe: The Benjamin, Cummings series in computer science
    Schlagworte: Komplexitätstheorie; Automatentheorie; Theoretische Informatik; Computer; Formale Sprache
    Umfang: XII, 322 S., Ill.
  10. An introduction to formal languages and automata
    Autor*in: Linz, Peter
    Erschienen: 1990
    Verlag:  Heath, Lexington, Mass. [u.a.]

    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-136
    keine Fernleihe
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    F.4 Linz
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0669173428
    RVK Klassifikation: ES 920
    Schlagworte: Automatentheorie; Formale Sprache
    Umfang: XVIII, 373 S.
  11. 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

  12. 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

  13. 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

  14. Principles of constructing linguistic models
    Erschienen: 1973
    Verlag:  Mouton, The Hague [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ES 900 D396
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    10.476.70
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Bibliothekszentrum Geisteswissenschaften (BzG)
    S 003.6
    keine Fernleihe
    Universitätsbibliothek Gießen
    FH Germ SP 1.1 / 17.37
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Gießen, Bibliothek Anglistik
    /
    keine Fernleihe
    Universität Mainz, Zentralbibliothek
    043.967
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Germanistik I / Kulturanthropologie und Germanistik II
    C 50 - D 34
    keine Fernleihe
    Universität Marburg, Universitätsbibliothek
    B 73/63
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Marburg, Universitätsbibliothek
    001 ES 900 D396
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Forschungszentrum Deutscher Sprachatlas, Bibliothek
    706 ES 900 D396
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Denisov, P. N.
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    RVK Klassifikation: ES 900
    Schriftenreihe: Janua linguarum. Series minor ; 91
    Schlagworte: Modell; Linguistik; Dokumentationssprache; Formale Sprache
    Umfang: 200 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 174 - 200

  15. Formale Logik und Grammatik
    Erschienen: 1972
    Verlag:  Niemeyer, Tübingen

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    72/2926
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ER 620 H546
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    80.332.13
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Bibliothek Kunstgeschichte/Städelbibliothek und Islamische Studien
    87/ER 600 H546
    keine Fernleihe
    Hochschul- und Landesbibliothek Fulda, Standort Heinrich-von-Bibra-Platz
    Z 1401 (6)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Mainz, Bereichsbibliothek Translations-, Sprach- und Kulturwissenschaft
    20018894
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Gießen
    FH Slavistik D 1036
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Gießen
    B 72/2389
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kassel, Standort Holländischer Platz
    25 Spr CH 0199
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kassel, Standort Brüder-Grimm-Platz, Landesbibliothek und Murhardsche Bibliothek der Stadt Kassel
    35 1972 A 441
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Kassel, Standort Brüder-Grimm-Platz, Landesbibliothek und Murhardsche Bibliothek der Stadt Kassel
    35 1972 A 441a
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Mainz, Zentralbibliothek
    AO 1758
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Germanistik I / Kulturanthropologie und Germanistik II
    D 61 - H 180
    keine Fernleihe
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Germanistik I / Kulturanthropologie und Germanistik II
    D 61 - H 180 / 2. Ex.
    keine Fernleihe
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Anglistik/ Amerikanistik
    XIII-1 HER-1
    keine Fernleihe
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Allgemeine und Vergleichende Sprachwissenschaft
    Bi 1972/5
    keine Fernleihe
    Universität Marburg, Universitätsbibliothek
    B 72/40
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Marburg, Universitätsbibliothek
    /
    keine Fernleihe
    Universität Marburg, Universitätsbibliothek
    001 ER 620 H546
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Forschungszentrum Deutscher Sprachatlas, Bibliothek
    706 ER 620 H546
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3484250054
    RVK Klassifikation: CC 4700 ; ER 620 ; ES 200 ; ET 100 ; GC 6009 ; ER 600
    Schriftenreihe: Germanistische Arbeitshefte ; 6
    Schlagworte: Mathematische Linguistik; Grammatik; Formale Sprache; Mathematische Logik; Logik, Mathematische
    Umfang: VI, 103 S., graph. Darst.
  16. Grammatik und Logik
    Autor*in:
    Erschienen: 1980
    Verlag:  Pädag. Verl. Schwann, Düsseldorf

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    81/525
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /GC 6009 B193
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Bibliothekszentrum Geisteswissenschaften (BzG)
    01/GC 1015 B193
    keine Fernleihe
    Universität Mainz, Bereichsbibliothek Translations-, Sprach- und Kulturwissenschaft
    80.317
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Gießen
    SS 74/88-50
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Gießen
    FH Germ Se 05.87
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Gießen, Bibliothek Anglistik
    /
    keine Fernleihe
    Universitätsbibliothek Kassel, Standort Holländischer Platz
    28 Ger ZA 76[1979
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Mainz, Zentralbibliothek
    Y 4125-1979
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Germanistik I / Kulturanthropologie und Germanistik II
    C 50 - G 65
    keine Fernleihe
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Allgemeine und Vergleichende Sprachwissenschaft
    Bi 1980/1
    keine Fernleihe
    Wissenschaftliche Stadtbibliothek
    Z 17/770, 1979
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Marburg, Universitätsbibliothek
    D 80/57
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Marburg, Universitätsbibliothek
    001 GC 1015 B193
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Forschungszentrum Deutscher Sprachatlas, Bibliothek
    706 GC 1001 D486 J25 -50
    keine Fernleihe
    Hochschul- und Landesbibliothek RheinMain, Rheinstraße
    60 ZSA 328 (1979)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Ballweg, Joachim (Hrsg.); Glinz, Hans (Hrsg.)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3590156503
    RVK Klassifikation: GC 1015 ; GC 6009
    Auflage/Ausgabe: 1. Aufl.
    Schriftenreihe: Jahrbuch ... des Instituts für Deutsche Sprache ; 1979
    Sprache der Gegenwart ; 50
    Schlagworte: Logik; Linguistik; Sprache; Formale Sprache; Sprache; Formale Sprache; Sprachlogik
    Umfang: 384 S., graph. Darst
    Bemerkung(en):

    Literaturangaben

  17. 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

  18. An introduction to formal languages and automata
    Autor*in: Linz, Peter
    Erschienen: 2006
    Verlag:  Jones and Bartlett, Sudbury, Mass. [u.a.]

    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    ST 1304 LIN1 (4)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0763737984; 9780763737986
    RVK Klassifikation: ES 920
    Auflage/Ausgabe: 4. ed.
    Schlagworte: Automatentheorie; Formale Sprache
    Umfang: XIII, 415 S.
    Bemerkung(en):

    Literaturverz. S. 409

  19. An introduction to formal languages and automata
    Autor*in: Linz, Peter
    Erschienen: 1997
    Verlag:  Jones and Bartlett, Boston [u.a.]

    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    F.4 Linz
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 076370296X
    RVK Klassifikation: ES 920
    Schlagworte: Automatentheorie; Formale Sprache
    Umfang: XIX, 377 S.
    Bemerkung(en):

    Literaturverz. S. 372

  20. Developmental systems and languages
    Erschienen: 1975
    Verlag:  North-Holland Publ. Co. [u.a.], Amsterdam [u.a.]

    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    10.811.42
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    S 75/743
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-118
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Rozenberg, Grzegorz
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0720428068; 0444106502
    RVK Klassifikation: ES 920 ; ST 130
    Schlagworte: Formale Sprache
    Umfang: XVI, 363 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 349 - 358

  21. Formal languages
    Autor*in: Salomaa, Arto
    Erschienen: 1973
    Verlag:  Acad. Press, New York [u.a.]

    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
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    11.408.01
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Bibliothek Recht und Wirtschaft (BRuW)
    05/ST 136 S173
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Mathematikbibliothek
    A 9091
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-6 ex 3
    keine Fernleihe
    Universitätsbibliothek Kassel, Standort Oberzwehren
    95 mat U 4 SAL
    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: 0126157502
    RVK Klassifikation: ES 920 ; ST 136
    Schriftenreihe: ACM monograph series
    Schlagworte: Formale Sprache
    Umfang: XIII, 322 S., graph. Darst.
    Bemerkung(en):

    Literaturangaben

  22. Die Struktur formalisierter Sprachen
    Diskussionsbeiträge und Protokolle eines Kolloquiums im Wintersemester 1963/64
    Autor*in:
    Erschienen: 1965
    Verlag:  Dt. Rechenzentrum, Darmstadt

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Sg 733 Bd. S-1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Forschungszentrum Deutscher Sprachatlas, Bibliothek
    706 ES 920 P637
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Pilch, H. (Mitarb.)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    RVK Klassifikation: ES 920
    Schriftenreihe: Schriftenreihe des Deutschen Rechenzentrums ; H. S-1
    Schlagworte: Formale Sprache
    Umfang: 38 S.
  23. Finite automata
    behavior and synthesis
    Erschienen: 1973
    Verlag:  North-Holland Publ. [u.a.], Amsterdam [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 T759
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Mathematikbibliothek
    A 8763
    keine Fernleihe
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    F.1 Trac
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Barzdin, Jan M.; Trachtenbrot, Boris A.
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0720480213; 0444104186
    RVK Klassifikation: AH 16032 ; EC 3750 ; ES 920 ; HE 310 ; ST 130 ; ST 136
    Schriftenreihe: Fundamental studies in computer science ; 1
    Schlagworte: Automatentheorie; Automat; Formale Sprache
    Umfang: XI, 321 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 310 - 315

  24. Algebraic and automata-theoretic properties of formal languages
    Erschienen: 1975
    Verlag:  North-Holland [u.a.], Amsterdam [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /SK 130 G493
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 G493
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 G493
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    79/5013
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    79/5014
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    10.936.06
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Mathematikbibliothek
    A 10658
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-83
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-83 ex 2
    keine Fernleihe
    Universitätsbibliothek Kassel, Standort Oberzwehren
    95 mat U 4 GIN
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Marburg, Universitätsbibliothek
    Pk 75/94
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    F.4 Gins
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0720425069; 0444105867
    RVK Klassifikation: ES 920 ; SK 130 ; ST 130 ; ST 136
    Schriftenreihe: Fundamental studies in computer science ; 2
    Schlagworte: Automatentheorie; Formale Sprache
    Umfang: XII, 313 S.
    Bemerkung(en):

    Literaturverz. S. 301 - 305

  25. Language equations
    Erschienen: 1999
    Verlag:  Springer, New York [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 L532
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    86.759.86
    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: 038798626X
    RVK Klassifikation: ES 920 ; ST 136
    Schriftenreihe: Monographs in computer science
    Schlagworte: Natürliche Sprache; Computerlinguistik; Formale Sprache; Automatentheorie; Theoretische Informatik
    Umfang: XVI, 216 S., 24 cm