Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 8 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 8 von 8.

Sortieren

  1. 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.
  2. Denotational semantics
    the Scott-Strachey approach to pgraomming language theory
    Autor*in: Stoy, Joseph E.
    Erschienen: 1979
    Verlag:  MIT Pr., Cambridge, Mass.

    Standort:
    TU Darmstadt, Fachbereich Mathematik
    Signatur:
    -034-AG 1/1013
    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: 0262191474
    RVK Klassifikation: ES 915 ; ST 140 ; ST 230
    Schriftenreihe: The MIT-Press series in computer science ; 1
    Umfang: XXX, 414 S.
  3. 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.
  4. Denotational semantics
    the Scott-Strachey approch to programming language theory
    Autor*in: Stoy, Joseph E.
    Erschienen: 1977
    Verlag:  MIT Press, Cambridge, Mass.

    Standort:
    Universitätsbibliothek Augsburg
    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, 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
    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.
  5. 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.
  6. Denotational semantics
    the Scott-Strachey approach to programming language theory
    Autor*in: Stoy, Joseph E.
    Erschienen: 1977
    Verlag:  MIT Press, Cambridge, Mass.

    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    LINF
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    MAT Stoy
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF 365/015
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    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: Programmverifikation; Semantik; Programmiersprache; Lambda-Kalkül
    Umfang: XXX, 414 S.
  7. 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.
  8. Denotational semantics
    the Scott-Strachey approach to programming language theory
    Autor*in: Stoy, Joseph E.
    Erschienen: 1977
    Verlag:  MIT Press, Cambridge, Mass. [u.a.]

    Standort:
    Mathematisches Institut, Bibliothek / Abteilung für Mathematische Logik
    Signatur:
    Frei 3d: V/Stoy
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    ZA 45473:1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    228 Kel 7917
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 6947(1)
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Heidelberg, Bereichsbibliothek Mathematik und Informatik
    Signatur:
    Stoy
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Karlsruher Institut für Technologie, KIT-Bibliothek
    Signatur:
    78 A 1117
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    1. Obergeschoss
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität des Saarlandes, Campusbibliothek für Informatik und Mathematik, Fachrichtung 6.2 Informatik
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Fachbibliothek Mathematik und Physik / Bereich Mathematik - Universität Tübingen
    Signatur:
    Stoy
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Leibniz-Institut für Deutsche Sprache, Bibliothek
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0262191474
    RVK Klassifikation: ES 915 ; ST 140
    Schriftenreihe: The MIT Press series in computer science ; 1
    Schlagworte: Programmiersprache; Semantik; ; Programmverifikation; ; Lambda-Kalkül;
    Umfang: XXX, 414 S