Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 9 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 9 von 9.

Sortieren

  1. 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
  2. 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.
  3. The denotational description of programming languages
    an introd.
    Autor*in: Gordon, Michael J. C.
    Erschienen: 1979
    Verlag:  Springer, New York, Heidelberg, Berlin

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

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    F.3-39
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Kassel, Standort Oberzwehren
    Signatur:
    95 inf M 5.1 GOR
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540904336; 0387904336
    RVK Klassifikation: ES 915 ; QH 500 ; ST 140 ; ST 260
    Schlagworte: Programmiersprache; Semantik
    Umfang: 160 S., 24 cm
  4. Denotational semantics
    the Scott-Strachey approch to programming language theory
    Autor*in: Stoy, Joseph E.
    Erschienen: 1979
    Verlag:  MIT Press, Cambridge, MA

    Standort:
    Universitätsbibliothek Würzburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0262690764
    RVK Klassifikation: ES 915 ; ST 140
    Schriftenreihe: MIT Press series in computer science ; 1.
    Schlagworte: lambda calcul; langage formel; sémantique formelle; sémantique langage programmation; théorie treillis; Lambda-Kalkül; Programmverifikation; Semantik; Programmiersprache
    Umfang: XXX, 414 S.
  5. The denotational description of programming languages
    an introduction
    Autor*in: Gordon, Michael J. C.
    Erschienen: 1979
    Verlag:  Springer, New York

    Standort:
    Universitätsbibliothek Augsburg
    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 der LMU München
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

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

    Standort:
    Universitätsbibliothek Würzburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  6. Syntax of programming languages
    theory and practice
    Autor*in: Backhouse, Roland C.
    Erschienen: 1979
    Verlag:  Prentice-Hall, Englewood Cliffs, NJ u.a.

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

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

    Standort:
    Hochschule München, Bibliothek
    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 der LMU München
    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)

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

    Standort:
    Universitätsbibliothek Würzburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: 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. The denotational description of programming languages
    an introduction
    Autor*in: Gordon, Michael J. C.
    Erschienen: 1979
    Verlag:  Springer, New York [u.a.]

    Standort:
    Universität der Bundeswehr München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0387904336; 3540904336
    RVK Klassifikation: QH 500 ; ST 260 ; ES 915 ; ST 140
    Auflage/Ausgabe: 1. print.
    Schlagworte: Langages de programmation; Programmeertalen; SMALL; TINY; langage programmation; sémantique langage; Programming languages (Electronic computers); Semantik; Programmiersprache
    Umfang: 160 S.
  8. Denotational semantics
    the Scott-Strachey approach to programming language theory
    Autor*in: Stoy, Joseph E.
    Erschienen: 1979
    Verlag:  MIT Press, CAMBRIDGE, MASS. ; LONDON

    Standort:
    Universitätsbibliothek Wuppertal
    Signatur:
    BHQ4154
    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
    Auflage/Ausgabe: 3. print.
    Schriftenreihe: THE M.I.T. PRESS SERIES IN COMPUTER SCIENCE ; 1
    Schlagworte: Programmiersprache; Lambda-Kalkül; Semantik; Programmverifikation
    Umfang: XXX, 414 S., graph. Darst.
  9. Syntax of programming languages
    theory and practice
    Autor*in: Backhouse, Roland Carl
    Erschienen: 1979
    Verlag:  Prentice-Hall Internat., Englewood Cliffs, N.J. [u.a.]

    Standort:
    Universitätsbibliothek der RWTH Aachen
    Signatur:
    BM175
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

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

    Standort:
    Ruhr-Universität Bochum, Verbundbibliothek IC BU/MB
    Signatur:
    CTT 048
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

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

    Standort:
    Universitäts- und Landesbibliothek Düsseldorf
    Signatur:
    nc/d2741
    Standort:
    Universitäts- und Landesbibliothek Düsseldorf
    Signatur:
    sprw180.b126
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

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

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

    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF 360/026
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitäts- und Stadtbibliothek Köln, Hauptabteilung
    Signatur:
    7H3192
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Standort:
    Universitäts- und Stadtbibliothek Köln, Hauptabteilung
    Signatur:
    7H3192#a
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Paderborn
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Siegen
    Signatur:
    61TXL1214
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Trier
    Signatur:
    mb9497
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0138799997
    RVK Klassifikation: ST 238 ; ES 920 ; ST 240 ; ST 140
    Schriftenreihe: Prentice-Hall International series in computer science
    Schlagworte: Syntax; Programmiersprache
    Umfang: XV, 301 S., graph. Darst.