Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Filtern nach
Aktive Filter
Letzte Suchanfragen

Ergebnisse für *

Es wurden 181 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 25 von 181.

Sortieren

  1. 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
    Quelle: DNB Sachgruppe Deutsche Sprache und Literatur
    Beteiligt: Harras, Gisela (Herausgeber); Bierwisch, Manfred (Herausgeber)
    Sprache: Deutsch
    Medientyp: Unbestimmt
    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
  2. An introduction to formal language theory
    Autor*in: Moll, Robert N.
    Erschienen: 1988
    Verlag:  Springer, New York

    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:
    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: 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]
  3. Computer semantics
    studies of algorithms, processors and languages
    Autor*in: Lee, John A. N.
    Erschienen: 1972
    Verlag:  Van Nostrand Reinhold, New York [u.a.]

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

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

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: SK 940 ; ST 140 ; ES 915
    Schriftenreihe: Computer science series
    Schlagworte: Algorithmes; Langages de programmation; Programmation (Informatique); Algorithms; Computer programming; Programming languages (Electronic computers); Programmiersprache; Theorie; Programmierung; Formale Sprache
    Umfang: XVI, 397 S., Ill.
  4. 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.
  5. Language equations
    Autor*in: Leiss, Ernst L.
    Erschienen: 1999
    Verlag:  Springer, New York [u.a.]

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

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

    Standort:
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 038798626X
    RVK Klassifikation: ST 240 ; ES 920
    Schriftenreihe: Monographs in computer science
    Schlagworte: Computational linguistics; Natural language processing; Formale Sprache; Computerlinguistik; Natürliche Sprache; Automatentheorie
    Umfang: XVI, 216 S.
  6. Sintaksičeski orientirovannyj transljator
    Autor*in: Ingerman, Peter Z.
    Erschienen: 1969
    Verlag:  Mir, Moskva

    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Russisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 960
    Schlagworte: Formale Sprache; Maschinelle Übersetzung; Übersetzer <Informatik>
    Umfang: 174 S., graph. Darst.
    Bemerkung(en):

    In kyrill. Schr., russ.
  7. 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
  8. 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
  9. Formal language description languages for computer programming
    proceedings of the IFIP Working Conference on Formal Language Description Languages ; Vienna, Austria, september 15 - 18, 1964
    Autor*in:
    Erschienen: 1966
    Verlag:  North-Holland, Amsterdam

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

    Standort:
    Max-Planck-Institut für Bildungsforschung, Bibliothek und wissenschaftliche Information
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Steel, T. B. (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: SS 1964 ; SD 1964 ; QH 500 ; ES 900
    Schlagworte: Formale Sprache; ALGOL 60; Programmiersprache
    Umfang: 330 S.
  10. A computer model of transformational grammar
    Autor*in: Friedman, Joyce
    Erschienen: 1971
    Verlag:  Elsevier, New York u.a.

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

    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
  11. Principles of constructing linguistic models
    Autor*in: Denisov, P. N.
    Erschienen: 1973
    Verlag:  Mouton, The Hague [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:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 920
    Schriftenreihe: Janua linguarum : Series minor ; 91
    Schlagworte: Linguistique informatique; Modellen; Taalwetenschap; Linguistik; Computational linguistics; Modell; Linguistik; Formale Sprache; Dokumentationssprache
    Umfang: 200 S., Ill.
    Bemerkung(en):

    Aus dem Russ. übers.
  12. Grammars for programming languages
    Autor*in: Cleaveland, James Craig
    Erschienen: 1977
    Verlag:  Elsevier, New York

    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
    Quelle: Verbundkataloge
    Beteiligt: Uzgalis, Robert C. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0444001875; 0444001999
    RVK Klassifikation: ST 240 ; ES 920
    Schriftenreihe: Programming languages series ; 4
    Elsevier computer science library.
    Schlagworte: Formele talen; Langages de programmation; Langages formels; Lenguajes formales; Programmeertalen; Formal languages; Programming languages (Electronic computers); Formale Sprache; Programmiersprache; Grammatik
    Umfang: XIII, 154 S., Ill.
  13. Formal languages
    Autor*in: Salomaa, Arto
    Erschienen: 1973
    Verlag:  Acad. Press, New York [u.a.]

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

    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:
    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
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0126157502
    RVK Klassifikation: ST 136 ; ES 920 ; ST 130 ; ST 238
    Schriftenreihe: ACM monograph series
    Schlagworte: Formale Sprache
    Umfang: XIII, 322 S., graph. Darst.
  14. Finite automata
    behavior and synthesis
    Autor*in: Trachtenbrot, Boris Avraamovič
    Erschienen: 1973
    Verlag:  North-Holland Publ. [u.a.], Amsterdam [u.a.]

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

    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
    Beteiligt: Barzdiǹ, Jan M. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0720480213; 0444104186
    RVK Klassifikation: ES 920 ; ST 130
    Schriftenreihe: Fundamental studies in computer science ; 1
    Schlagworte: Automatentheorie; Formale Sprache; Automat
    Umfang: XI, 321 S., graph. Darst.
    Bemerkung(en):

    Aus dem Russ. übers.
  15. Formal language theory
    perspectives and open problems
    Autor*in:
    Erschienen: 1980
    Verlag:  Acad. Press, New York, NY u.a.

    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
    Beteiligt: Book, Ronald V. (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0121153509
    RVK Klassifikation: SD 1979 ; ES 920
    Schlagworte: Formele talen; langage algébrique; langage formel; système L; théorie langage; Formal languages; Formale Sprache; Theorie
    Umfang: XII, 454 S.
  16. Languages and machines
    an introduction to the theory of computer science
    Autor*in: Sudkamp, Thomas A.
    Erschienen: 1991
    Verlag:  Addison-Wesley Publ., Reading, Mass.

    Standort:
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0201157683
    RVK Klassifikation: ES 900 ; ST 110
    Auflage/Ausgabe: Repr. with corr.
    Schlagworte: Theoretische Informatik; Komplexitätstheorie; Automatentheorie; Formale Sprache
    Umfang: XV, 444 S., graph. Darst.
  17. 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.
  18. An introduction to formal language theory
    Autor*in: Moll, Robert N.
    Erschienen: 1988
    Verlag:  Springer, New York u.a.

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

    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:
    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: Arbib, Michael A. (Verfasser); Kfoury, A. J. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0387966986; 3540966986
    RVK Klassifikation: ST 130 ; ES 920 ; ST 240
    Schriftenreihe: Texts and monographs in computerscience, The AKM series in theoretical computer science
    Schlagworte: Formele talen; Langages formels; Formal languages; Programming languages (Electronic computers); Programmierung; Computerlinguistik; Formale Sprache
    Umfang: X, 203 S.
  19. Computer semantics
    Studies of algorithms, processors and languages
    Autor*in: Lee, John A. N.
    Erschienen: 1972
    Verlag:  Van Nostrand Reinhold Comp., New York

    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 915 ; SK 940 ; ST 140
    Auflage/Ausgabe: 1. print.
    Schriftenreihe: Computer science series.
    Schlagworte: Computer systems - Programming - Languages - Semantics; Algorithmes; Langages de programmation; Programmation (Informatique); Algorithms; Computer programming; Programming languages (Electronic computers); Formale Sprache; Semantik; Grammatik; Theorie; Algorithmentheorie; Programmierung; Algorithmus; Programmiersprache
    Umfang: XVI,397 S.m.Abb.u.Tab.
  20. 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.
  21. Developmental systems and languages
    Autor*in: Herman, Gabor T.
    Erschienen: 1975
    Verlag:  North-Holland Publ. Comp. [u.a.], Amsterdam

    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Rozenberg, Grzegorz (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0720428068
    RVK Klassifikation: ES 920
    Schlagworte: Biologie - Informatique; Biologie; Langages formels; Statistische methoden; Taal; Datenverarbeitung; Biology; Formal languages; Formale Sprache
    Umfang: XVI, 363 S., Ill., graph. Darst.
  22. Algebraic and automata-theoretic properties of formal languages
    Autor*in: Ginsburg, Seymour
    Erschienen: 1975
    Verlag:  North-Holland Publ., Amsterdam

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

    Standort:
    Max-Planck-Institut für Bildungsforschung, Bibliothek und wissenschaftliche Information
    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0720425069
    RVK Klassifikation: ST 130 ; SK 130 ; ES 920
    DDC Klassifikation: ST 136
    Schriftenreihe: Fundamental studies in computer science ; 2
    Schlagworte: Lingüistica - Informática; Lingüística matemática; Lingüística matemática; Automatentheorie; Formale Sprache
    Umfang: XII, 313 S.
  23. COLING 82
    proceedings of the 9. International Conference on Computational Linguistics, Prague, July 5 - 10, 1982. Ed. by Ján Horecký
    Autor*in:
    Erschienen: 1982
    Verlag:  North-Holland Publ. Co., Amsterdam 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:
    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
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Horecký, Ján (Sonstige)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    ISBN: 0444863931
    RVK Klassifikation: ES 900
    Körperschaften/Kongresse: International Conference on Computational Linguistics, 9 (1982, Prag)
    Schriftenreihe: North-Holland linguistic series ; 47
    Schlagworte: Formale Sprache; Künstliche Intelligenz; Mathematische Methode; Natürliche Sprache; Linguistik; Computerlinguistik
    Umfang: XV, 432 S.
  24. 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.
  25. Principy modelirovanija jazyka
    [na materiale vstomogatelʹnych jazykov dlja avtomatičeskogo poiska i perevoda]
    Autor*in: Denisov, P. N.
    Erschienen: 1965
    Verlag:  Moskovskij Univ., Moskva

    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Achmanova, Olʹga S.
    Sprache: Russisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 920
    Schlagworte: Formale Sprache; Dokumentationssprache; Modell; Linguistik
    Umfang: 204 S.