Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 6 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 6 von 6.

Sortieren

  1. 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.
  2. Logic programming
    operational semantics and proof theory
    Autor*in: Andrews, James H.
    Erschienen: 1992
    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:
    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
  3. Logic programming
    operational semantics and proof theory
    Autor*in: Andrews, James H.
    Erschienen: 1992
    Verlag:  Cambridge Univ. Press, Cambridge u.a.

    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  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. A discipline of programming
    Autor*in: Dijkstra, Edsger W.
    Erschienen: 1976
    Verlag:  Prentice-Hall, Englewood Cliffs, NJ

    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:
    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 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
    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.
  6. A discipline of programming
    Autor*in: Dijkstra, Edsger W.
    Erschienen: 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: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 013215871X
    RVK Klassifikation: ST 230 ; ES 920 ; ST 140
    Auflage/Ausgabe: 1. print.
    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.