Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 38 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 25 von 38.

Sortieren

  1. Computational Linguistics
    an introd.
    Autor*in: Grishman, Ralph
    Erschienen: 1986
    Verlag:  Cambridge Univ. Pr., Cambridge <<[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:
    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: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0521325021; 0521310385
    RVK Klassifikation: ES 900
    Schriftenreihe: Studies in natural language processing
    Schlagworte: Computerlinguistik; Programmiersprache; Semantik; Syntax
    Umfang: VIII, 193 S., graph. Darst.
  2. GI - 11. Jahrestagung
    in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI), München, 20.-23. Oktober 1981 ; Proceedings
    Autor*in:
    Erschienen: 1981
    Verlag:  Springer, Berlin [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:
    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: Brauer, Wilfried (Herausgeber)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 354010884X; 038710884X
    RVK Klassifikation: SS 4680 ; QH 500 ; SI 853 ; SS 4800 ; ES 900
    Körperschaften/Kongresse:
    Gesellschaft für Informatik (Verfasser)
    Schriftenreihe: Informatik-Fachberichte ; 50
    Schlagworte: Softwareentwicklung; Programmiersprache; Informatik; Konferenz; Informationssystem; Programmierung
    Umfang: XIV, 617 S.
  3. GI - 13. Jahrestagung
    Hamburg, 3.-7. Oktober 1983 ; Proceedings
    Autor*in:
    Erschienen: 1983
    Verlag:  Springer, Berlin [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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Kupka, Ingbert (Herausgeber)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 3540127348; 0387127348
    RVK Klassifikation: SS 4680 ; SS 4800 ; QH 500 ; ES 900 ; SI 853
    Körperschaften/Kongresse:
    Gesellschaft für Informatik (Verfasser)
    Schriftenreihe: Informatik-Fachberichte ; 73
    Schlagworte: Datenbank; Programmiersprache; Benutzeroberfläche; Parallelrechner; Informatik; Konferenz; Software; Computerarchitektur; Datenverarbeitungssystem
    Umfang: VIII, 502 S.
  4. A data query language
    program description
    Autor*in: Engel, Herbert
    Erschienen: 1976
    Verlag:  Univ.-Bibl. d. TU, Berlin

    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: Unbestimmt
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 920 ; ST 170
    Schriftenreihe: Technische Universität <Berlin, West> / Fachbereich Kybernetik: Bericht. ; 1976,25
    Schlagworte: Programmiersprache; ADQL
    Umfang: 98, 7 Bl., graph. Darst.
  5. Automata, languages and programming
    third international colloquium at the University of Edinburgh ; 20, 21, 22, 23 July 1976
    Autor*in:
    Erschienen: 1976
    Verlag:  Univ. Press, Edinburgh

    Standort:
    Freie Universität 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: Michaelson, Sidney (Herausgeber)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0852243081
    RVK Klassifikation: SS 1976 ; ES 915
    Schlagworte: Datenverarbeitung; Software; Programmiersprache; Automatentheorie
    Umfang: VI, 559 S., graph. Darst.
  6. Programming languages
    history and fundamentals
    Autor*in: Sammet, Jean E.
    Erschienen: 1969
    Verlag:  Prentice-Hall, Englewood Cliffs, NJ

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    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: QH 500 ; ST 230 ; ES 915
    Auflage/Ausgabe: 2. print.
    Schriftenreihe: Prentice-Hall series in automatic computation
    Schlagworte: Programmiersprache
    Umfang: XXX, 785 S.
  7. Conference record of the ... annual ACM Symposium on Principles of Programming Languages
    Autor*in:
    Verlag:  ACM, New York

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Konferenzschrift
    ISBN: 089791029X; 0897910656; 0897912527; 0897912942
    RVK Klassifikation: ST 238 ; ES 900
    Körperschaften/Kongresse: Symposium on Principles of Programming Languages
    Schlagworte: Programmiersprache
  8. Computational linguistics
    an introd.
    Autor*in: Grishman, Ralph
    Erschienen: 1989
    Verlag:  Cambridge Univ. Pr., Cambridge u.a.

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0521325021; 0521310385
    RVK Klassifikation: ES 900
    Auflage/Ausgabe: Reprint.
    Schriftenreihe: Studies in natural language processing
    Schlagworte: Computerlinguistik; Semantik; Programmiersprache; Syntax
    Umfang: VIII, 193 S., graph Darst.
  9. Einführung in die algorithmische Sprache ALGOL
    Autor*in: Kerner, Immo O.
    Erschienen: 1970
    Verlag:  Teubner, Leipzig

    Standort:
    Universitätsbibliothek Regensburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Zielke, Gerhard (Verfasser)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    RVK Klassifikation: QH 500 ; ST 250 ; ES 915 ; ST 252
    Auflage/Ausgabe: 4., berichtigte Aufl.
    Schlagworte: Algebra; Programmiersprache; ALGOL
    Umfang: 283 S., graph. Darst.
  10. Automata, languages and programming
    third international colloquium at the University of Edinburgh ; 20, 21, 22, 23 July 1976
    Autor*in:
    Erschienen: 1976
    Verlag:  Univ. Press, Edinburgh

    Standort:
    Universitätsbibliothek Bayreuth
    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:
    Bayerische Staatsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    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
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Michaelson, Sidney (Herausgeber)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0852243081
    RVK Klassifikation: SS 1976 ; ES 915
    Schlagworte: Datenverarbeitung; Software; Programmiersprache; Automatentheorie
    Umfang: VI, 559 S., graph. Darst.
  11. Semantics of a language for describing systems and processes
    Autor*in: Wegner, Eberhard
    Erschienen: 1977
    Verlag:  GMD, St. Augustin

    Standort:
    Universitätsbibliothek Regensburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Hopmann, Cornelius (Verfasser)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 920
    Schriftenreihe: Institut für Software-Technologie <Birlinghoven>: Bericht ... d. IST. ; 36.
    Schlagworte: Semantik; Programmiersprache
    Umfang: 46 S.
  12. ECOOP '88, European Conference on Object-Oriented Programming
    Oslo, Norway, Aug. 15 - 17, 1988 ; proceedings
    Autor*in:
    Erschienen: 1988
    Verlag:  Springer, Berlin u.a.

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

    Standort:
    Universitätsbibliothek Bayreuth
    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
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Gjessing, Stein (Sonstige)
    Sprache: Unbestimmt
    Medientyp: Konferenzschrift
    Format: Online
    ISBN: 3540500537
    RVK Klassifikation: ES 923 ; SS 4800
    Körperschaften/Kongresse: European Conference on Object Oriented Programming, 2 (1988, Oslo)
    Schriftenreihe: Lecture notes in computer science ; 322
    Schlagworte: Programmiersprache; Objektorientierte Programmierung
    Umfang: 1 Online-Ressource (VI, 410 S., Ill.)
  13. A discipline of programming
    Autor*in: Dijkstra, Edsger W.
    Erschienen: [ca. 1992]
    Verlag:  Prentice-Hall, Englewood Cliffs, NJ u.a.

    Standort:
    Universitätsbibliothek der LMU München
    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)
    ISBN: 013215871X
    RVK Klassifikation: ST 230 ; ES 920 ; ST 140
    Auflage/Ausgabe: 15. print.
    Schlagworte: Programmierung; Programmiersprache
    Umfang: XVII, 217 S.
  14. Denotational semantics
    the Scott-Strachey approch to programming language theory
    Autor*in: Stoy, Joseph E.
    Erschienen: 1981
    Verlag:  MIT Press, Cambridge, Mass.

    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:
    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: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0262191474; 0262690764
    RVK Klassifikation: ES 915
    Auflage/Ausgabe: 1. paperback ed.
    Schriftenreihe: The MIT Press series in computer science ; 1
    Schlagworte: Lambda-Kalkül; Programmverifikation; Programmiersprache; Semantik
    Umfang: XXX, 414 S., graph. Darst.
  15. A data query language
    program description
    Autor*in: Engel, Herbert
    Erschienen: 1976
    Verlag:  Univ.-Bibl. d. TU, Berlin

    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, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität 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
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 920 ; ST 170
    Schriftenreihe: Technische Universität <Berlin, West> / Fachbereich Kybernetik: Bericht. ; 1976,25
    Schlagworte: Programmiersprache; ADQL
    Umfang: 98, 7 Bl., graph. Darst.
  16. Programming languages
    History and fundamentals
    Autor*in: Sammet, Jean E.
    Erschienen: 1969
    Verlag:  Prentice-Hall, Englewood Cliffs, N.J.

    Standort:
    Universitätsbibliothek der LMU München
    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 915 ; ST 230 ; QH 500
    Auflage/Ausgabe: 5.print.
    Schriftenreihe: Prentice-Hall series in automatic computation.
    Schlagworte: Programmiersprache
    Umfang: XXX,785 S.
  17. Programming languages
    a grand tour; a coll. of papers
    Autor*in:
    Erschienen: 1983
    Verlag:  Springer, Berlin u.a.

    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, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    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
    Beteiligt: Horowitz, Ellis (Sonstige)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 3540119310; 0914894676
    RVK Klassifikation: ES 900 ; ST 240
    Schlagworte: LISP; FORTRAN; ALGOL; UNIX; Ada; C <Programmiersprache>; MODULA; Programmiersprache
    Umfang: VIII, 664 S.
  18. The role of language in problem solving
    Autor*in:
    Verlag:  North-Holland, Amsterdam [u.a.]

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Jernigan, Robert (Sonstige)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ER 300 ; ES 920 ; CP 4000 ; SS 1984 ; ST 238
    Schlagworte: Vergleich; Programmiersprache; Problemlösen
  19. A discipline of programming
    Autor*in: Dijkstra, Edsger W.
    Erschienen: c 1976
    Verlag:  Prentice-Hall, Englewood Cliffs, NJ

    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
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 013215871X
    RVK Klassifikation: ST 230 ; ES 920 ; ST 140
    Auflage/Ausgabe: 3. print.
    Schriftenreihe: Prentice-Hall series in automatic computation
    Schlagworte: Programmierung; Programmiersprache
    Umfang: XVII, 217 S.
  20. Programming languages
    history and fundamentals
    Autor*in: Sammet, Jean E.
    Erschienen: c 1969
    Verlag:  Prentice-Hall, Englewood Cliffs, NJ

    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
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ST 230 ; ES 915 ; QH 500
    Auflage/Ausgabe: 8. print.
    Schriftenreihe: Prentice-Hall series in automatic computation
    Schlagworte: Programmiersprache
    Umfang: 785 S.
  21. Constraint-based grammar formalisms
    parsing and type inference for natural and computer languages
    Autor*in: Shieber, Stuart M.
    Erschienen: 1992
    Verlag:  MIT Pr., Cambridge, Mass. [u.a.]

    Standort:
    Ruhr-Universität Bochum, Fakultät für Philologie, Sprachwissenschaftliches Institut, Bibliothek
    Signatur:
    10.10 225.1
    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: 0262193248
    RVK Klassifikation: ES 920 ; ES 965
    Schriftenreihe: A Bradford book
    Schlagworte: Programmiersprache; Computerlinguistik; Beschränkung <Linguistik>; Grammatik
    Weitere Schlagworte: parsing type inference natural
    Umfang: XI, 183 S., graph. Darst.
  22. Automata languages and programming
    Autor*in:
    Erschienen: 1976
    Verlag:  Univ. Press, Edinburgh

    Standort:
    Ruhr-Universität Bochum, Verbundbibliothek IB Fachbibliothek für Geographie, Geologie, Mathematik, Psychologie
    Signatur:
    Ah 253
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Michaelson, S. (Hrsg.)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0852243081
    RVK Klassifikation: ES 915 ; SS 1976
    Schriftenreihe: University of Edinburgh : international colloquium ; 3
    Schlagworte: Automatentheorie; Datenverarbeitung; Software; Programmiersprache
    Umfang: VI, 559 S.
  23. Denotational semantics
    the Scott-Strachy approach to programming language theory
    Autor*in: Stoy, Joseph E.
    Erschienen: 1977
    Verlag:  MIT Press, Cambridge, Mass.

    Standort:
    Bibliotheken Romanisches Seminar und Institut für Slavistik
    Signatur:
    AS 220/180
    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: 0262191474
    RVK Klassifikation: ST 140 ; ES 915
    Schlagworte: Semantik; Lambda-Kalkül; Programmiersprache; Programmverifikation
    Umfang: XXX, 414 S., graph. Darst.
  24. A comparative study of programming languages
    Autor*in: Higman, Bryan
    Erschienen: 1969
    Verlag:  MacDonald [u.a.], London [u.a.]

    Standort:
    Bibliotheken Romanisches Seminar und Institut für Slavistik
    Signatur:
    AS 130/18
    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: 0356022196; 035602900X
    RVK Klassifikation: ES 915 ; CC 4800 ; ST 250
    Auflage/Ausgabe: 3. impr.
    Schlagworte: Programmiersprache
    Umfang: 164 S.
  25. Sematik von Programmiersprachen
    Autor*in: Fehr, Elfriede
    Erschienen: 1989
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    Institut für Wirtschaftsinformatik, Bibliothek
    Signatur:
    WI 14 89
    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: 354015163X; 038715163X
    RVK Klassifikation: ST 238 ; ST 140 ; ES 920 ; ST 230
    Schriftenreihe: Studienreihe Informatik
    Schlagworte: Programmiersprache; Semantik
    Umfang: IX, 202 S.