Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 61 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 25 von 61.

Sortieren

  1. Formale Grundlagen der Linguistik
    ein Arbeitsbuch
    Autor*in: Klabunde, Ralf
    Erschienen: 1998
    Verlag:  Narr, Tübingen

    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:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3823349678
    RVK Klassifikation: ES 920 ; ER 450 ; ES 163 ; ES 900 ; ES 200
    Schriftenreihe: narr-studienbücher
    Schlagworte: Formale Sprache; Formale Grammatik; Linguistik; Automatentheorie
    Umfang: XIII, 154 S.
  2. Computeranwendungen und sprachlicher Kontext
    zu den Wechselwirkungen zwischen normaler und formaler Sprache bei Einsatz und Entwicklung von Software
    Autor*in: Dittrich, Yvonne
    Erschienen: 1997
    Verlag:  Lang, Frankfurt am Main 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:
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

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

    Standort:
    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
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    ISBN: 3631320248
    RVK Klassifikation: ST 680 ; ES 900 ; ST 510
    Schriftenreihe: [Europäische Hochschulschriften / 41] ; 27
    Schlagworte: Computer software; Natural language processing (Computer science); Softwareentwicklung; Formale Sprache; Sprachphilosophie; Formalisierung; Natürliche Sprache; Software
    Umfang: 266 S.
    Bemerkung(en):

    Zugl.: Hamburg, Univ., Diss., 1997
  3. Eine Dynamische Zeitlogik für das Deutsche
    Autor*in: Ballweg, Joachim
    Erschienen: 2018
    Verlag:  Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek, Mannheim

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Harras, Gisela (Herausgeber); Bierwisch, Manfred (Herausgeber)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Online
    Weitere Identifier:
    Schlagworte: Temporaladverb; Tempus; Temporale Logik; Perfekt; Satz; Temporale Logik; Formale Sprache; Logische Semantik; Temporaladverb; Verb / Tempus
    Umfang: Online-Ressource
    Bemerkung(en):

    In: Wenn die Semantik arbeitet. Klaus Baumgärtner zum 65. Geburtstag. - Tübingen : Niemeyer, 1996., S. 217-236, ISBN 3-484-73035-8
  4. Formale Sprachen
    mit Anwendungen auf die Beschreibung natürlicher Sprachen
    Autor*in: Klenk, Ursula
    Erschienen: 1980
    Verlag:  Niemeyer, Tübingen

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

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

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

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

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3484501634
    RVK Klassifikation: ES 920 ; ES 163 ; ES 210
    Schriftenreihe: Romanistische Arbeitshefte ; 22
    Schlagworte: Programmeringsspråk; Formale Sprache; Sprachanalyse; Natürliche Sprache
    Umfang: VIII, 140 S., graph. Darst.
  5. Formale Logik und Grammatik
    Autor*in: Heringer, Hans Jürgen
    Erschienen: 1972
    Verlag:  Niemeyer, Tübingen

    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:
    Staatliches Institut für Musikforschung - Preußischer Kulturbesitz, Bibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

    Standort:
    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)

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

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3484250054
    RVK Klassifikation: CC 4700 ; ER 600 ; ER 620 ; ES 200 ; GC 6009
    Schriftenreihe: Germanistische Arbeitshefte ; 6
    Schlagworte: Formele logica; Grammatica; Langages formels; Logique symbolique et mathématique; Formal languages; Logic, Symbolic and mathematical; Formale Grammatik; Mathematik; Mathematische Linguistik; Formale Sprache
    Umfang: VI, 103 S., graph. Darst.
  6. Grammatik und Logik
    Jahrbuch 1979
    Autor*in:
    Erschienen: 1980
    Verlag:  Schwann, Düsseldorf

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

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Ballweg, Joachim (Sonstige)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3590156503
    RVK Klassifikation: GC 1015 ; GC 6009
    Schriftenreihe: Sprache der Gegenwart ; 50
    Jahrbuch / Institut für Deutsche Sprache ; 1979
    Schlagworte: Formale Sprache; Logik; Formale Semantik; Deutsch; Mathematische Logik; Sprache; Grammatik; Linguistik
    Umfang: 384 S.
  7. Die Struktur formalisierter Sprachen
    Diskussionsbeiträge und Protokolle eines Kolloquiums im Wintersemester 1963/1964
    Autor*in:
    Erschienen: 1965
    Verlag:  Dt. Rechenzentrum, Darmstadt

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

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Pilch, Herbert (Sonstige)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 920
    Schriftenreihe: Schriftenreihe des Deutschen Rechenzentrums ; S,1
    Schlagworte: Formale Sprache
    Umfang: II, 38 S.
  8. Theoretische Grundlagen der Programmiersprachen
    Automaten u. Sprachen
    Autor*in: Bucher, Walter
    Erschienen: 1986
    Verlag:  Bibliograph. Inst., BI-Wissenschaftsverl., Mannheim u.a.

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

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

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: 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.
  9. Theoretische Grundlagen der Programmiersprachen
    Automaten und Sprachen
    Autor*in: Bucher, Walter
    Erschienen: 1984
    Verlag:  Bibliogr. Inst., Mannheim u.a.

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

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

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

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

    Standort:
    Verbund der Öffentlichen Bibliotheken Berlins - VÖBB
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: 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.
  10. Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
    Autor*in: Hopcroft, John E.
    Erschienen: 1988
    Verlag:  Addison-Wesley, Bonn [u.a.]

    Theory of Computation -- Computation by Abstracts Devices. mehr

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

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

     

    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
  11. Formale Sprachen
    Autor*in: Salomaa, Arto
    Erschienen: 1978
    Verlag:  Springer, Berlin [u.a.]

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

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

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

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    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
  12. Theoretische Grundlagen der Programmiersprachen
    Theorie der Syntax
    Autor*in: Maurer, Hermann
    Erschienen: 1969
    Verlag:  Bibliogr. Inst., Mannheim [u.a.]

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

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

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

    Standort:
    Stadt- und Landesbibliothek im Bildungsforum Potsdam
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: QH 500 ; MR 2200 ; ES 915 ; ST 238
    Schriftenreihe: Reihe Informatik ; 1
    BI-Hochschultaschenbücher ; 404/404a
    Schlagworte: Programming languages (Electronic computers); Syntax; Formale Sprache; Grundlage; Theorie; Programmiersprache
    Umfang: 253 S.
  13. Behandlung vager Prädikate in formalen Sprachen
    Autor*in: Todt, Günter
    Erschienen: 2014
    Verlag:  Institut für Deutsche Sprache, Bibliothek, Mannheim

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Glinz, Hans (Herausgeber); Ballweg, Joachim (Herausgeber)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Online
    Weitere Identifier:
    DDC Klassifikation: Philosophie und Psychologie (100)
    Schlagworte: Formale Sprache; Deutsch; Prädikat; Grammatik
    Umfang: Online-Ressource
    Bemerkung(en):

    In: Grammatik und Logik : Jahrbuch 1979 des Instituts für deutsche Sprache. - Düsseldorf : Schwann, 1980., S. 260-281, ISBN 3-590-15650-3, Sprache der Gegenwart ; 50
  14. Computeranwendungen und sprachlicher Kontext
    zu den Wechselwirkungen zwischen normaler und formaler Sprache bei Einsatz und Entwicklung von Software
    Autor*in: Dittrich, Yvonne
    Erschienen: 1997
    Verlag:  Lang, Frankfurt am Main [u.a.]

    Standort:
    TU Darmstadt, Institut für Allgemeine Pädagogik und Berufsädagogik
    Signatur:
    -094-CSW 193
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    86.272.52
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Rechts- und Wirtschaftswissenschaften
    Signatur:
    XIV/d 207
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    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
  15. Theoretische Grundlagen der Programmiersprachen
    Theorie der Syntax
    Autor*in: Maurer, Hermann
    Erschienen: 1969
    Verlag:  Bibliogr. Inst., Mannheim [u.a.]

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    Sg 410 Bd. 404/404a
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /SK 130 M453
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 240 M453
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 240 M453
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 240 M453
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 240 M453
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 240 M453
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 240 M453
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 240 M453
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Fachbereich Mathematik
    Signatur:
    -034-AG 1/150
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Bibliothek Naturwissenschaften (BNat)
    Signatur:
    09/ST 130 M453
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Ausgesondert: D.3-12
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Ausgesondert: D.3-12 ex 3
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    Signatur:
    Abgesetzt
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    Signatur:
    ST 1304 MAU1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Rechts- und Wirtschaftswissenschaften
    Signatur:
    XIV/m 81
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Wissenschaftliche Stadtbibliothek
    Signatur:
    70/4838
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    F.4 Maur
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hochschul- und Landesbibliothek RheinMain, Rheinstraße
    Signatur:
    60 Uc 8105
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Statistisches Bundesamt, Bibliothek
    Signatur:
    Signatur ermitteln
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe

    Standort:
    Stadtbibliothek Worms
    Signatur:
    -Mag- N 431 / Bd 404.404a
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    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
  16. Theoretische Grundlagen der Programmiersprachen
    Automaten und Sprachen
    Autor*in: Bucher, Walter
    Erschienen: 1984
    Verlag:  B.I.-Wissenschaftsverlag, Mannheim [u.a.]

    Standort:
    Technische Hochschule Bingen, Bibliothek
    Signatur:
    880361/273500
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 136 B919
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 136 B919
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Bibliothek der Frankfurt University of Applied Sciences
    Signatur:
    INF 22 Buc
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    S 85/56
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    82.854.47
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    F.4-92
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    Signatur:
    ST 1304 BUC1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Rechts- und Wirtschaftswissenschaften
    Signatur:
    XIV/b 205
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    Pk 85/14
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    F.4 Buch
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hochschul- und Landesbibliothek RheinMain, Rheinstraße
    Signatur:
    60 85 A 584
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Stadtbibliothek Worms
    Signatur:
    -Mag- N 431 / Bd 404.404a
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    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
  17. Theoretische Grundlagen der Programmiersprachen
    Automaten u. Sprachen
    Autor*in: Bucher, Walter
    Erschienen: 1986
    Verlag:  Bibliograph. Inst., Mannheim [u.a.]

    Standort:
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    Signatur:
    122 ST 240 B919
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Kassel, Standort Oberzwehren
    Signatur:
    95 mat U 4 BUC
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    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
  18. Formale Sprachen
    Autor*in: Salomaa, Arto
    Erschienen: 1978
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    2005/0002
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 136 S173
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 136 S173
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Fachbereich Mathematik
    Signatur:
    -034-AG 1/1032
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    11.269.16
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    F.4-6
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    F.4-6 ex 2
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    F.4-6 ex 4
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hochschul- und Landesbibliothek Fulda, Standort Campus
    Signatur:
    21 / ST 136 S173
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Gießen
    Signatur:
    FH kyb Cf 0.1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    Signatur:
    122 ST 136 S173
    Fernleihe:
    keine Fernleihe
    Standort:
    Institut für Veterinär-Physiologie, Arbeitsgruppe Biomathematik und Datenverarbeitung , Bibliothek
    Signatur:
    / (dig. ZK.)
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    Signatur:
    ST 1304 SAL2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Rechts- und Wirtschaftswissenschaften
    Signatur:
    XIV/s 207
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    B 79/2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    001 ES 920 S173
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    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
  19. Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
    Autor*in: Hopcroft, John E.
    Erschienen: 1988
    Verlag:  Addison-Wesley, Bonn [u.a.]

    Standort:
    Technische Hochschule Bingen, Bibliothek
    Signatur:
    K/880503/121000
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    12.221.53
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Ausgesondert: F.4-5 ex 10
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Ausgesondert: F.4-5 ex 11
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hochschul- und Landesbibliothek Fulda, Standort Campus
    Signatur:
    21 / ST 136 H791
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    F.0
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hochschul- und Landesbibliothek RheinMain, Rheinstraße
    Signatur:
    60 88 A 4538
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Stadtbibliothek Worms
    Signatur:
    -Mag- H 1394
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    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
  20. Formale Logik und Grammatik
    Autor*in: Heringer, Hans Jürgen
    Erschienen: 1972
    Verlag:  Niemeyer, Tübingen

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    72/2926
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ER 620 H546
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    80.332.13
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Bibliothek Kunstgeschichte/Städelbibliothek und Islamische Studien
    Signatur:
    87/ER 600 H546
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hochschul- und Landesbibliothek Fulda, Standort Heinrich-von-Bibra-Platz
    Signatur:
    Z 1401 (6)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Translations-, Sprach- und Kulturwissenschaft
    Signatur:
    20018894
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Gießen
    Signatur:
    FH Slavistik D 1036
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Gießen
    Signatur:
    B 72/2389
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Kassel, Standort Holländischer Platz
    Signatur:
    25 Spr CH 0199
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Kassel, Standort Brüder-Grimm-Platz, Landesbibliothek und Murhardsche Bibliothek der Stadt Kassel
    Signatur:
    35 1972 A 441
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Universitätsbibliothek Kassel, Standort Brüder-Grimm-Platz, Landesbibliothek und Murhardsche Bibliothek der Stadt Kassel
    Signatur:
    35 1972 A 441a
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Zentralbibliothek
    Signatur:
    AO 1758
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Germanistik I / Kulturanthropologie und Germanistik II
    Signatur:
    D 61 - H 180
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Germanistik I / Kulturanthropologie und Germanistik II
    Signatur:
    D 61 - H 180 / 2. Ex.
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Anglistik/ Amerikanistik
    Signatur:
    XIII-1 HER-1
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Allgemeine und Vergleichende Sprachwissenschaft
    Signatur:
    Bi 1972/5
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    B 72/40
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    /
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    001 ER 620 H546
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Forschungszentrum Deutscher Sprachatlas, Bibliothek
    Signatur:
    706 ER 620 H546
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    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.
  21. Grammatik und Logik
    Autor*in:
    Erschienen: 1980
    Verlag:  Pädag. Verl. Schwann, Düsseldorf

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    81/525
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /GC 6009 B193
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Bibliothekszentrum Geisteswissenschaften (BzG)
    Signatur:
    01/GC 1015 B193
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Translations-, Sprach- und Kulturwissenschaft
    Signatur:
    80.317
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Gießen
    Signatur:
    SS 74/88-50
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Gießen
    Signatur:
    FH Germ Se 05.87
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Gießen, Bibliothek Anglistik
    Signatur:
    /
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Kassel, Standort Holländischer Platz
    Signatur:
    28 Ger ZA 76[1979
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Zentralbibliothek
    Signatur:
    Y 4125-1979
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Germanistik I / Kulturanthropologie und Germanistik II
    Signatur:
    C 50 - G 65
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Allgemeine und Vergleichende Sprachwissenschaft
    Signatur:
    Bi 1980/1
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Wissenschaftliche Stadtbibliothek
    Signatur:
    Z 17/770, 1979
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    D 80/57
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    001 GC 1015 B193
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Forschungszentrum Deutscher Sprachatlas, Bibliothek
    Signatur:
    706 GC 1001 D486 J25 -50
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hochschul- und Landesbibliothek RheinMain, Rheinstraße
    Signatur:
    60 ZSA 328 (1979)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    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
  22. Die Struktur formalisierter Sprachen
    Diskussionsbeiträge und Protokolle eines Kolloquiums im Wintersemester 1963/64
    Autor*in:
    Erschienen: 1965
    Verlag:  Dt. Rechenzentrum, Darmstadt

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    Sg 733 Bd. S-1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Forschungszentrum Deutscher Sprachatlas, Bibliothek
    Signatur:
    706 ES 920 P637
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    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. Computeranwendungen und sprachlicher Kontext
    zu den Wechselwirkungen zwischen normaler und formaler Sprache bei Einsatz und Entwicklung von Software
    Autor*in: Dittrich, Yvonne
    Erschienen: 1997
    Verlag:  Lang, Frankfurt am Main u.a.

    Standort:
    Universitätsbibliothek Augsburg
    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ätsbibliothek Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    ISBN: 3631320248
    RVK Klassifikation: ST 680 ; ES 900 ; ST 510
    Schriftenreihe: [Europäische Hochschulschriften / 41] ; 27
    Schlagworte: Computer software; Natural language processing (Computer science); Softwareentwicklung; Formale Sprache; Sprachphilosophie; Formalisierung; Natürliche Sprache; Software
    Umfang: 266 S.
    Bemerkung(en):

    Zugl.: Hamburg, Univ., Diss., 1997
  24. Theoretische Grundlagen der Programmiersprachen
    Theorie d. Syntax
    Autor*in: Maurer, Hermann
    Erschienen: 1977
    Verlag:  Bibliograph. Inst., Mannheim u.a.

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 341101525X
    RVK Klassifikation: MR 2200 ; ES 915 ; QH 500 ; ST 130
    Auflage/Ausgabe: Unveränd. Nachdr.
    Schriftenreihe: Reihe Informatik ; 1
    Schlagworte: Syntax; Formale Sprache; Automatentheorie; Programmiersprache
    Umfang: 253 S.
  25. Formale Sprachen
    mit Anwendungen auf die Beschreibung natürlicher Sprachen
    Autor*in: Klenk, Ursula
    Erschienen: 1980
    Verlag:  Niemeyer, Tübingen

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

    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:
    Bayerische Staatsbibliothek
    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ätsbibliothek Passau
    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
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3484501634
    RVK Klassifikation: ES 920 ; ES 163 ; ES 210
    Schriftenreihe: Romanistische Arbeitshefte ; 22
    Schlagworte: Programmeringsspråk; Formale Sprache; Sprachanalyse; Natürliche Sprache
    Umfang: VIII, 140 S., graph. Darst.