Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 11 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 11 von 11.

Sortieren

  1. A computer model of transformational grammar
    Autor*in: Friedman, Joyce
    Erschienen: 1971

    Standort:
    Bayerische Staatsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 900 ; ES 940
    Schlagworte: Generative Transformationsgrammatik; Formale Sprache; Programmierung; Datenverarbeitung
    Bemerkung(en):

    :
  2. Grammatik und Logik
    Autor*in:
    Erschienen: 1980

    Standort:
    Bayerische Staatsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Ballweg, Joachim (Sonstige); Glinz, Hans (Sonstige)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    Schlagworte: Formale Sprache; Logik; Formale Semantik; Deutsch; Mathematische Logik; Sprache; Grammatik; Linguistik
    Bemerkung(en):

    :
  3. Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
    Autor*in: Hopcroft, John E.
    Erschienen: 1989
    Verlag:  Addison-Wesley Publ. Co., Bonn [u.a.]

    Standort:
    Universität der Bundeswehr München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Ullman, Jeffrey D. (Verfasser)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 3925118829
    RVK Klassifikation: ST 136 ; ES 900 ; ST 130
    Auflage/Ausgabe: Unveränd.Nachdr.
    Schriftenreihe: Internationale Computer-Bibliothek
    Schlagworte: Automatentheorie; Formale Sprache; Komplexitätstheorie
    Umfang: VIII, 440 S.
    Bemerkung(en):

    Einheitssacht.: Introduction to automata theory, languages and computation <dt.>
  4. Algebraic and automata-theoretic properties of formal languages
    Autor*in: Ginsburg, Seymour
    Erschienen: 1975
    Verlag:  North-Holland [u.a.], Amsterdam [u.a.]

    Standort:
    Ruhr-Universität Bochum, Fakultät für Philologie, Sprachwissenschaftliches Institut, Bibliothek
    Signatur:
    10.7 24.1
    Fernleihe:
    keine Fernleihe
    Standort:
    Ruhr-Universität Bochum, Verbundbibliothek IC BU/MB
    Signatur:
    CTT 046
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0720425069; 0444105867
    RVK Klassifikation: ST 130 ; SK 130 ; ES 920
    Schriftenreihe: Fundamental studies in computer science ; 2
    Schlagworte: Automatentheorie; Formale Sprache
    Umfang: XII, 313 S.
  5. Finite automata
    behavior and synthesis
    Autor*in: Trachtenbrot, Boris Avraamovič
    Erschienen: 1973
    Verlag:  North-Holland Publ. [u.a.], Amsterdam [u.a.]

    Standort:
    Ruhr-Universität Bochum, Fakultät für Philologie, Sprachwissenschaftliches Institut, Bibliothek
    Signatur:
    10.7 240.1
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Barzdiǹ, Jan M. (Verfasser)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0720480213; 0444104186
    RVK Klassifikation: ST 130 ; ES 920
    Schriftenreihe: Fundamental studies in computer science ; 1
    Schlagworte: Automat; Formale Sprache; Automatentheorie
    Umfang: XI, 321 S.
  6. Grammatik und Logik
    Autor*in:
    Erschienen: 1980
    Verlag:  Schwann, Düsseldorf

    Standort:
    Ruhr-Universität Bochum, Fakultät für Philologie, Sprachwissenschaftliches Institut, Bibliothek
    Signatur:
    20.4 163.1
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Ballweg, Joachim (Hrsg.)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 3590156503
    RVK Klassifikation: GC 1015
    Schriftenreihe: Sprache der Gegenwart ; 50
    Jahrbuch des Instituts für Deutsche Sprache ; 1979
    Schlagworte: Formale Semantik; Formale Sprache; Sprache
    Umfang: 384 S.
  7. Dictionary of symbols and imagery
    Autor*in:
    Erschienen: 1976
    Verlag:  North-Holland Publ., Amsterdam [u.a.]

    Standort:
    Ruhr-Universität Bochum, Fakultät für Philologie, Sprachwissenschaftliches Institut, Bibliothek
    Signatur:
    8.2 13.1
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Vries, Ad de (Hrsg.)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0720480213; 0444106073
    RVK Klassifikation: ES 920 ; ST 130
    Schlagworte: Automat; Formale Sprache; Automatentheorie
    Umfang: 515 S.
  8. Formale Logik und Grammatik
    Autor*in: Heringer, Hans Jürgen
    Erschienen: 1972
    Verlag:  Niemeyer, Tübingen

    Standort:
    Ruhr-Universität Bochum, Fakultät für Philologie, Seminar für Sprachlehrforschung, Bibliothek
    Signatur:
    L 158
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 3484250054
    RVK Klassifikation: ER 620 ; GC 6009 ; CC 4700 ; ES 200
    Schriftenreihe: Germanistische Arbeitshefte ; 6
    Schlagworte: Formale Grammatik; Mathematik; Mathematische Linguistik; Formale Sprache
    Umfang: VI, 103 S., graph. Darst.
  9. Theory of computation
    formal languages, automata, and complexity
    Autor*in: Brookshear, J. Glenn
    Erschienen: 1989
    Verlag:  Benjamin/Cummings, Redwood City

    Standort:
    Universitätsbibliothek Bielefeld
    Signatur:
    HI520 B873
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Universitätsbibliothek Bielefeld
    Signatur:
    HI520 B873
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0805301437
    RVK Klassifikation: ST 130 ; ES 900
    Schriftenreihe: The Benjamin/Cummings series in computer science
    Schlagworte: Theoretische Informatik; Komplexitätstheorie; Formale Sprache; Automatentheorie; Computer
    Umfang: XI, 322 S.
  10. Theory of computation: formal languages, automata, and complexity
    Autor*in: Brookshear, J. Glenn
    Erschienen: 1989
    Verlag:  Benjamin/Cummings, Redwood City, Calif. [u.a.]

    Standort:
    Universitäts- und Landesbibliothek, Abteilungsbibliothek Medizin, Naturwissenschaften und Landbau
    Signatur:
    92/26201
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Dortmund
    Signatur:
    Sn 29370
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Duisburg-Essen, Campus Essen
    Signatur:
    TVM1588
    Standort:
    Universitätsbibliothek Duisburg-Essen, Campus Essen
    Signatur:
    TVH1452_d
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek der Fernuniversität
    Signatur:
    TVA/BRO
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    Signatur:
    L Broo
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Paderborn
    Signatur:
    TVH2301
    Standort:
    Universitätsbibliothek Paderborn
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0805301437
    RVK Klassifikation: ST 130 ; ES 900
    Schriftenreihe: Benjamin/Cummings series in computer science
    Schlagworte: Automatentheorie; Theoretische Informatik; Formale Sprache; Komplexitätstheorie; Computer
    Umfang: XII, 322 S., graph. Darst.
  11. Theory and application of a bottom-up syntax-directed translator
    Autor*in: Abramson, Harvey
    Erschienen: 1973
    Verlag:  Acad. Pr., New York

    Standort:
    Universitätsbibliothek Bielefeld
    Signatur:
    HI500 A161
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Bielefeld
    Signatur:
    NA185.00 A161
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Ruhr-Universität Bochum, Fakultät für Philologie, Sprachwissenschaftliches Institut, Bibliothek
    Signatur:
    10.9 149.1
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitäts- und Landesbibliothek Düsseldorf
    Signatur:
    matb.a161
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0120426501
    RVK Klassifikation: ST 265 ; ES 940 ; ES 960
    Schlagworte: Maschinelle Übersetzung; Formale Sprache; Compiler
    Umfang: 160 S.