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

Ergebnisse für *

Es wurden 108 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 25 von 108.

Sortieren

  1. 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.
  2. A theory of computer semiotics
    semiotic approaches to construction and assessment of computer systems
    Autor*in: Andersen, P. B.
    Erschienen: 1990
    Verlag:  Cambridge Univ. Press, 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:
    TU Berlin, 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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0521393361
    RVK Klassifikation: ST 110 ; ES 900 ; ST 140
    Auflage/Ausgabe: 1. publ.
    Schriftenreihe: Cambridge series on human-computer interaction ; 3
    Schlagworte: Human-computer interaction; Semiotics; Computer; Semiotik; Mensch-Maschine-System; Datenverarbeitung
    Umfang: VII, 416 S., graph. Darst.
  3. The denotational description of programming languages
    an introduction
    Autor*in: Gordon, Michael J. C.
    Erschienen: 1979
    Verlag:  Springer, 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
  4. A discipline of programming
    Autor*in: Dijkstra, Edsger W.
    Erschienen: 1976
    Verlag:  Prentice-Hall, Englewood Cliffs, NJ

    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:
    Zuse Institute Berlin (ZIB), Bibliothek
    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: 013215871X
    RVK Klassifikation: ST 230 ; ES 920 ; ST 140
    Schriftenreihe: Prentice-Hall series in automatic computation
    Schlagworte: Langages de programmation - Sémantique; Ordinateurs - Programmation; Programmation (Informatique); Programmation; exactitude programme; programmation; résolution problème; sémantique langage programmation; Programmierung; Programmiersprache
    Umfang: XVII, 217 S.
  5. Induction, recursion, and programming
    Autor*in: Wand, Mitchell
    Erschienen: 1980
    Verlag:  North Holland, 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:
    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: 0444003223
    RVK Klassifikation: ST 230 ; ST 130 ; ES 915 ; ST 140
    Schlagworte: Rekursion; Grundlage; Datenverarbeitung; Induktion; Mathematik; Programmierung
    Umfang: XIII, 202 S., graph. Darst.
  6. Syntax of programming languages
    theory and practice
    Autor*in: Backhouse, Roland C.
    Erschienen: 1979
    Verlag:  Prentice-Hall, Englewood Cliffs, NJ 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
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0138799997
    RVK Klassifikation: ST 238 ; ST 140 ; ST 240 ; ES 920
    Schriftenreihe: Prentice-Hall International series in computer science
    Schlagworte: Langages de programmation - Syntaxe; Programmeertalen; Syntaxis; Syntax; Programming languages (Electronic computers); Syntax; Programmiersprache
    Umfang: XV, 301 S., graph. Darst.
  7. Semantik von Programmiersprachen
    Autor*in: Fehr, Elfriede
    Erschienen: 1989
    Verlag:  Springer, Berlin [u.a.]

    Theory of Computation -- Logics and Meanings of Programs. mehr

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

     

    Theory of Computation -- Logics and Meanings of Programs.

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 354015163X; 038715163X
    RVK Klassifikation: ST 238 ; ST 230 ; ES 920 ; ST 140
    Schriftenreihe: Studienreihe Informatik
    Schlagworte: Semantik; Programmiersprache
    Umfang: IX, 202 S.
  8. 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.
  9. Synonymy and semantic classification
    Autor*in: Sparck Jones, Karen
    Erschienen: 1986
    Verlag:  Edinburgh 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)

    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
    Sprache: Englisch
    Medientyp: Dissertation
    ISBN: 0852245173
    RVK Klassifikation: ES 965 ; ST 140 ; ET 475
    Schriftenreihe: Edinburgh information technology series ; 1
    Schlagworte: Klassifikation; Synonymie; Computerlinguistik; Semantik
    Umfang: VIII, 285 S.
    Bemerkung(en):

    Teilw. zugl.: Cambridge, Univ., Diss., 1964
  10. Denotational semantics
    a methodology for language development
    Autor*in: Schmidt, David A.
    Erschienen: 1988
    Verlag:  Brown, Dubuque, Iowa

    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: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0697068498
    RVK Klassifikation: ES 915 ; ST 140
    Schlagworte: Langages de programmation - Sémantique; Programming languages (Electronic computers); Semantik; Programmiersprache
    Umfang: XIII, 331 S.
    Bemerkung(en):

    Literaturverz. S. 304 - 324
  11. The denotational description of programming languages
    an introduction
    Autor*in: Gordon, Michael J. C.
    Erschienen: 1987
    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0387904336; 3540904336
    RVK Klassifikation: ST 260 ; QH 500 ; ST 140 ; ES 915
    Auflage/Ausgabe: 4. print.
    Schlagworte: Semantik; Programmiersprache
    Umfang: 160 S.
  12. Automatic syntactic analysis
    Autor*in: Foster, John M.
    Erschienen: 1970
    Verlag:  Macdonald [u.a.], London

    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: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ST 140 ; SK 930 ; ES 940
    Auflage/Ausgabe: 1. publ.
    Schriftenreihe: Computer monographs ; 7
    Schlagworte: Compilation (Ordinateurs); Controle; Langages formels; Programmeren (computers); Syntaxis; Syntax; Compiling (Electronic computers); Formal languages; Computerlinguistik; Syntaktische Analyse; Compiler
    Umfang: 65 S., graph. Darst.
  13. Automatische Syntax-Analyse
    Autor*in: Foster, John M.
    Erschienen: 1971
    Verlag:  Hanser, München

    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:
    Stiftung Deutsches Technikmuseum Berlin, Bibliothek
    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: 3446105379
    RVK Klassifikation: ST 255 ; ST 230 ; ST 140 ; ST 513 ; QH 500 ; ES 940 ; SS 4500
    Schriftenreihe: Computer-Monographien ; 7
    Schlagworte: Syntaktische Analyse; Syntax; Automatische Sprachanalyse
    Umfang: 79 S., graph. Darst.
  14. Computational semantics
    an introduction to artificial intelligence and natural language comprehension
    Autor*in:
    Erschienen: 1976
    Verlag:  North-Holland Publ. Co., 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:
    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)

    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
    Beteiligt: Charniak, Eugene (Sonstige); Wilks, Yorick (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0444111107
    RVK Klassifikation: ST 285 ; ER 300 ; ES 940 ; ST 510 ; ST 140 ; ST 306 ; ES 900
    Schriftenreihe: Fundamental studies in computer science ; 4
    Schlagworte: Intelligence artificielle; Sémantique - Informatique; Datenverarbeitung; Künstliche Intelligenz; Artificial intelligence; Semantics; LISP; Computerlinguistik; Künstliche Intelligenz; Sprachverarbeitung <Psycholinguistik>; Semantik; Natürliche Sprache; Linguistik; Programmiersprache
    Umfang: VII, 294 S., graph. Darst.
  15. Denotational semantics
    the Scott-Strachey approch to programming language theory
    Autor*in: Stoy, Joseph E.
    Erschienen: 1977
    Verlag:  MIT Press, Cambridge, Mass.

    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
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0262191474
    RVK Klassifikation: ES 915 ; ST 140
    Schriftenreihe: The MIT Press series in computer science ; 1
    Schlagworte: Langages de programmation - Sémantique; Programmeertalen; Programming languages (Electronic computers); Semantik; Programmiersprache; Lambda-Kalkül; Programmverifikation
    Umfang: XXX, 414 S.
  16. Syntaxanalyse
    Autor*in: Mayer, Otto
    Erschienen: 1982
    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:
    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: 3411016434
    RVK Klassifikation: ST 230 ; ES 920 ; SS 5110 ; ET 655 ; ST 265 ; SK 130 ; ST 140
    Auflage/Ausgabe: 2., durchges. und erg. Aufl.
    Schriftenreihe: Reihe Informatik ; 27
    Schlagworte: Formal languages; Kontextfreie Sprache; Informatik; Syntaktische Analyse; Kontextfreie Grammatik; Programmiersprache
    Umfang: 433 S., graph. Darst.
  17. From semantics to computer science
    essays in honour of Gilles Kahn
    Autor*in: Bertot, Yves
    Erschienen: 2009
    Verlag:  Cambridge Univ. Press, Cambridge [u.a.]

    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:
    Europa-Universität Viadrina, 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: Kahn, Gilles (Gefeierter)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 9780521518253
    RVK Klassifikation: ST 140 ; ES 965
    Auflage/Ausgabe: 1. publ.
    Schlagworte: Informatik; Computer science; Semantics; Semantik; Datenverarbeitung
    Umfang: XIX, 574 S., Ill., graph. Darst.
  18. Denotational semantics
    a methodology for language development
    Autor*in: Schmidt, David A.
    Erschienen: 1988
    Verlag:  Brown, Dubuque, Iowa

    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
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0697068498
    RVK Klassifikation: ST 140 ; ES 915
    Auflage/Ausgabe: 2. print.
    Schlagworte: Programmiersprache; Semantik
    Umfang: XIII, 331 S., graph. Darst.
  19. Induction, recursion and programming
    Autor*in: Wand, Mitchell
    Erschienen: 1980
    Verlag:  North Holland, New York [u.a.]

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

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Mathematikbibliothek
    Signatur:
    A 13321
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    G.2-161
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    Signatur:
    ST 1400 WAN1
    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: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0444003223
    RVK Klassifikation: ES 915 ; ST 130 ; ST 140 ; ST 230
    Schlagworte: Induktion; Programmierung; Rekursivität; Datenverarbeitung; Grundlage; Mathematik; Rekursion
    Umfang: XII, 202 S.
  20. GI-Jahrestagung
    11. München, 20. - 23. Oktober 1981 ; proceedings ; in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI)
    Autor*in:
    Erschienen: 1981

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /SS 1800 G462.1981
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /SS 1800 G462.1981
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    Sg 1511 Bd. 50
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Z 92, 50
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hochschul- und Landesbibliothek Fulda, Standort Campus
    Signatur:
    20 / ST 140 B344
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Gießen
    Signatur:
    ZZ 99/100-11
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    Signatur:
    Z IFB ...
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Bauer, Wilfried (Hrsg.)
    Sprache: Englisch; Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 354010884X; 038710884X
    RVK Klassifikation: QH 500 ; SI 853 ; SS 4800 ; SS 4680 ; ES 900 ; ST 140
    Auflage/Ausgabe: Berlin {[u.a.] : Springer
    Körperschaften/Kongresse:
    Gesellschaft für Informatik
    Schriftenreihe: GI-Jahrestagung ; 11
    Informatik-Fachberichte ; 50
    Schlagworte: Informatik; Konferenz; Programmiersprache; Programmierung; Softwareentwicklung; Informationssystem
    Umfang: XIV, 617 S.
  21. An attribute grammar for the semantic analysis of Ada
    Autor*in:
    Erschienen: 1982
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 250 A17 U31
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 140 U31
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    Sg 1330 Bd. 139
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    11.649.78
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Z 23, 139
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hochschul- und Landesbibliothek Fulda, Standort Campus
    Signatur:
    20 / ST 250 A17 U31
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Uhl, Jürgen
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540115714; 0387115714
    RVK Klassifikation: ES 920 ; SS 4800 ; ST 140 ; ST 250
    Schriftenreihe: Lecture notes in computer science ; 139
    Schlagworte: Attributierte Grammatik; Ada; Semantik; Semantische Analyse; Attributierte Grammatik; Semantik; ADA
    Umfang: IX, 511 S.
    Bemerkung(en):

    Literaturverz. S. 509 - 511
  22. A discipline of programming
    Autor*in: Dijkstra, Edsger W.
    Erschienen: 1976
    Verlag:  Prentice-Hall, Englewood Cliffs, NJ

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    2003/0784
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 140 D575
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 230 D575
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 230 D575
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 230 D575
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 230 D575
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 230 D575
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 230 D575
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 230 D575
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Fachbereich Mathematik
    Signatur:
    -034-AG 1/2337
    Fernleihe:
    keine Fernleihe
    Standort:
    TU Darmstadt, Institut für Kernphysik
    Signatur:
    -052-DIJ 76 - B3719
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Mathematikbibliothek
    Signatur:
    A 10847
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    D.3-143
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    D.3-143 ex 2
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

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

    Standort:
    Universität Gießen, Zweigbibliothek Natur- und Lebenswissenschaften (ZNL)
    Signatur:
    002 kyb Ke 0.501
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    Signatur:
    ST 2400 DIJ1
    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: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 013215871X
    RVK Klassifikation: ES 920 ; ST 140 ; ST 230
    Schriftenreihe: Prentice-Hall series in automatic computation
    Schlagworte: Programmierung; Programmiersprache
    Umfang: XVII, 217 S.
  23. Semantik von Programmiersprachen
    Autor*in: Fehr, Elfriede
    Erschienen: 1989
    Verlag:  Springer, Berlin [u.a.]

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

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    84.007.59
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    F.3-23
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Gießen
    Signatur:
    FH kyb Ka 8.12
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    Signatur:
    122 ST 140 F296
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    Signatur:
    ST 1400 FEH1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    F.3 Fehr
    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: 354015163X; 038715163X
    RVK Klassifikation: ES 920 ; ST 140 ; ST 230 ; ST 240
    Schriftenreihe: Studienreihe Informatik
    Schlagworte: Programmiersprache; Semantik
    Umfang: IX, 202 S., 24 cm
    Bemerkung(en):

    Literaturverz. S. 193 - 202
  24. The theory of parsing, translation, and compiling
    1, Parsing
    Autor*in: Aho, Alfred V.
    Erschienen: 1972
    Verlag:  Prentice Hall, Englewood Cliffs, NJ

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 136 A286-1
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 136 A286-1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 136 A286-1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    HB 5: Ga 286 Bd. 1
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    90.841.57
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Mathematikbibliothek
    Signatur:
    A 9966
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Ausgesondert: D.3-21 ex 1
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Ausgesondert: D.3-21 ex 2
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    D.3-21 ex 3
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Ausgesondert: D.3-21 ex 4
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    D.3-21 ex 5
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    D.3-21 ex 6
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Ausgesondert: D.3-21 ex 7
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    D.3-21 ex 8
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Ausgesondert: D.3-21 ex 9
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    Signatur:
    122 ST 136 A286
    Fernleihe:
    keine Fernleihe
    Standort:
    Institut für Veterinär-Physiologie, Arbeitsgruppe Biomathematik und Datenverarbeitung , Bibliothek
    Signatur:
    Md 159 (2428) DVM 310 (dig. ZK)
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Kassel, Standort Oberzwehren
    Signatur:
    95 inf M 4 AHO
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Germanistik I / Kulturanthropologie und Germanistik II
    Signatur:
    I 420 - A 18
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Allgemeine und Vergleichende Sprachwissenschaft
    Signatur:
    Bi 972-4
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

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

    Standort:
    Statistisches Bundesamt, Bibliothek
    Signatur:
    Signatur ermitteln
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Ullman, Jeffrey D.
    Sprache: Englisch
    Medientyp: Mehrbändiges Werk
    Format: Druck
    ISBN: 0139145567
    Übergeordneter Titel: The theory of parsing, translation, and compiling - Alle Bände anzeigen
    RVK Klassifikation: ES 900 ; ES 940 ; ST 136 ; ST 140 ; ST 235 ; ST 265
    Umfang: XVIII, 542 S.
    Bemerkung(en):

    Literaturverz. S. 519 - 530
  25. The denotational description of programming languages
    an introduction
    Autor*in: Gordon, Michael J. C.
    Erschienen: 1987
    Verlag:  Springer, New York [u.a.]

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

    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    F.3 Gord
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0387904336
    RVK Klassifikation: ES 915 ; QH 500 ; ST 140 ; ST 260
    Auflage/Ausgabe: 4. pr.
    Umfang: 160 S.