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. Grammars for programming languages
    Autor*in: Cleaveland, James Craig
    Erschienen: 1977
    Verlag:  Elsevier, 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
    Quelle: Verbundkataloge
    Beteiligt: Uzgalis, Robert C. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0444001875; 0444001999
    RVK Klassifikation: ST 240 ; ES 920
    Schriftenreihe: Programming languages series ; 4
    Elsevier computer science library.
    Schlagworte: Formele talen; Langages de programmation; Langages formels; Lenguajes formales; Programmeertalen; Formal languages; Programming languages (Electronic computers); Formale Sprache; Programmiersprache; Grammatik
    Umfang: XIII, 154 S., Ill.
  2. 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.
  3. Séminaire International sur les Systèmes Intelligents de Question-Réponse et Grandes Banques de Données, 21-30 juin 1977, Bonas (Gers)
    Autor*in:
    Erschienen: 1977
    Verlag:  IRIA, Le Chesnay

    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: Englisch
    Medientyp: Konferenzschrift
    ISBN: 2726101526
    RVK Klassifikation: ES 950
    Körperschaften/Kongresse: International Seminar on Intelligent Question Answering and Data-Base Systems (1977, Bonas)
    Schlagworte: Computer programming; Data structures (Computer science); Database management; Programming languages (Electronic computers)
    Umfang: 324 S.
  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. Grammars for programming languages
    Autor*in: Cleaveland, James Craig
    Erschienen: 1977
    Verlag:  Elsevier, New York

    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
    Beteiligt: Uzgalis, Robert C. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0444001875; 0444001999
    RVK Klassifikation: ST 240 ; ES 920
    Schriftenreihe: Programming languages series ; 4
    Elsevier computer science library.
    Schlagworte: Formele talen; Langages de programmation; Langages formels; Lenguajes formales; Programmeertalen; Formal languages; Programming languages (Electronic computers); Formale Sprache; Programmiersprache; Grammatik
    Umfang: XIII, 154 S., Ill.
  6. Grammars for programming languages
    Autor*in: Cleaveland, James Craig
    Erschienen: 1977
    Verlag:  Elsevier, New York, NY [u.a.]

    Standort:
    Universitätsbibliothek Braunschweig
    Signatur:
    2503-1740
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Clausthal
    Signatur:
    CL 06 : IfM6 MAT: Monographien
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    ZA 41041:4
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    IV C 208
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    P CLE 4517
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 4211(4)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 4211(4) a
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 4211(4) b
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    CLEA R-7120
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Leipzig
    Signatur:
    $B15#
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    AF 2931
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Osnabrück
    Signatur:
    4079-182 9
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Osnabrück
    Signatur:
    TVH / Cle
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    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:
    Württembergische Landesbibliothek
    Signatur:
    27/11814
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Cleaveland, J. Craig; Uzgalis, Robert C.
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0444001875; 0444001999
    Weitere Identifier:
    76025909
    RVK Klassifikation: ES 920 ; ST 240
    Schriftenreihe: Programming languages series ; 4
    Elsevier computer science library
    Schlagworte: Formal languages; Programming languages (Electronic computers); Programming languages (Electronic computers); Formal languages
    Umfang: XIII, 154 S, graph. Darst