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

Ergebnisse für *

Es wurden 267 Ergebnisse gefunden.

Zeige Ergebnisse 201 bis 225 von 267.

Sortieren

  1. 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.
  2. A discipline of programming
    Autor*in: Dijkstra, Edsger W.
    Erschienen: c 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: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 013215871X
    RVK Klassifikation: ST 230 ; ES 920 ; ST 140
    Auflage/Ausgabe: 3. print.
    Schriftenreihe: Prentice-Hall series in automatic computation
    Schlagworte: Programmierung; Programmiersprache
    Umfang: XVII, 217 S.
  3. 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.
  4. Programming languages and their compilers
    preliminary notes
    Autor*in: Cocke, John
    Erschienen: 1970
    Verlag:  Courant Inst. of Mathematical Sciences, New York, NY

    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: Schwartz, Jacob T. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 915 ; ST 265
    Auflage/Ausgabe: 2. revised version
    Schlagworte: Compilateurs (logiciels); Langages de programmation; Software Basico; Compilers (Computer programs); Programming languages (Electronic computers); Compiler; Programmiersprache
    Umfang: III, 767 S.
  5. Programming languages
    history and fundamentals
    Autor*in: Sammet, Jean E.
    Erschienen: c 1969
    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: Unbestimmt
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ST 230 ; ES 915 ; QH 500
    Auflage/Ausgabe: 8. print.
    Schriftenreihe: Prentice-Hall series in automatic computation
    Schlagworte: Programmiersprache
    Umfang: 785 S.
  6. Constraint-based grammar formalisms
    parsing and type inference for natural and computer languages
    Autor*in: Shieber, Stuart M.
    Erschienen: 1992
    Verlag:  MIT Pr., Cambridge, Mass. [u.a.]

    Standort:
    Ruhr-Universität Bochum, Fakultät für Philologie, Sprachwissenschaftliches Institut, Bibliothek
    Signatur:
    10.10 225.1
    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: 0262193248
    RVK Klassifikation: ES 920 ; ES 965
    Schriftenreihe: A Bradford book
    Schlagworte: Programmiersprache; Computerlinguistik; Beschränkung <Linguistik>; Grammatik
    Weitere Schlagworte: parsing type inference natural
    Umfang: XI, 183 S., graph. Darst.
  7. Automata languages and programming
    Autor*in:
    Erschienen: 1976
    Verlag:  Univ. Press, Edinburgh

    Standort:
    Ruhr-Universität Bochum, Verbundbibliothek IB Fachbibliothek für Geographie, Geologie, Mathematik, Psychologie
    Signatur:
    Ah 253
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Michaelson, S. (Hrsg.)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0852243081
    RVK Klassifikation: ES 915 ; SS 1976
    Schriftenreihe: University of Edinburgh : international colloquium ; 3
    Schlagworte: Automatentheorie; Datenverarbeitung; Software; Programmiersprache
    Umfang: VI, 559 S.
  8. 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.
  9. A comparative study of programming languages
    Autor*in: Higman, Bryan
    Erschienen: 1969
    Verlag:  MacDonald [u.a.], London [u.a.]

    Standort:
    Bibliotheken Romanisches Seminar und Institut für Slavistik
    Signatur:
    AS 130/18
    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: 0356022196; 035602900X
    RVK Klassifikation: ES 915 ; CC 4800 ; ST 250
    Auflage/Ausgabe: 3. impr.
    Schlagworte: Programmiersprache
    Umfang: 164 S.
  10. Sematik von Programmiersprachen
    Autor*in: Fehr, Elfriede
    Erschienen: 1989
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    Institut für Wirtschaftsinformatik, Bibliothek
    Signatur:
    WI 14 89
    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: 354015163X; 038715163X
    RVK Klassifikation: ST 238 ; ST 140 ; ES 920 ; ST 230
    Schriftenreihe: Studienreihe Informatik
    Schlagworte: Programmiersprache; Semantik
    Umfang: IX, 202 S.
  11. Syntaxanalyse
    Autor*in: Mayer, Otto
    Erschienen: 1982
    Verlag:  B.I.-Wissenschaftsverlag, [S.l.]

    Standort:
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    Signatur:
    I Maye
    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: 3411016434
    RVK Klassifikation: ES 920 ; SK 130 ; ET 655 ; ST 140 ; ST 230 ; ST 265
    Schriftenreihe: Reihe Informatik ; 27
    Schlagworte: Kontextfreie Sprache; Programmiersprache; Kontextfreie Grammatik; Syntaktische Analyse
  12. Automata, languages and programming
    15th international colloquium, Tampere, Finland, July 11 - 15, 1988
    Autor*in:
    Erschienen: 1988
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    Universitäts- und Landesbibliothek, Abteilungsbibliothek Medizin, Naturwissenschaften und Landbau
    Signatur:
    W 2013/26600
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Lepistö, Timo (Hrsg.)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 3540194886; 0387194886
    RVK Klassifikation: SS 4800 ; ES 920
    Schriftenreihe: Lecture notes in computer science ; 317
    Schlagworte: Automatentheorie; Programmiersprache; Datenverarbeitung
    Umfang: XI, 741 S., graph. Darst.
  13. Programming languages, a grand tour
    a collection of papers
    Autor*in:
    Erschienen: 1983
    Verlag:  Springer, Berlin [u.a.]

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

    Standort:
    Landesbibliothekszentrum Rheinland-Pfalz / Pfälzische Landesbibliothek
    Signatur:
    2a 2826
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Horowitz, Ellis (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 3540119310; 0387119310
    RVK Klassifikation: ST 250 ; ST 240 ; ST 238 ; ES 900
    Schlagworte: Programmiersprache
    Umfang: VIII, 663 S.
  14. The programming language COMSKEE
    Autor*in: Bertsch, Eberhard
    Erschienen: 1978
    Verlag:  Univ. des Saarlandes, Saarbrücken

    Standort:
    Landesbibliothekszentrum Rheinland-Pfalz / Pfälzische Landesbibliothek
    Signatur:
    K 20530
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Mueller-von Brochowski, Angelika (Verfasser)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ST 263 ; ES 915 ; ES 920
    Auflage/Ausgabe: Rev. report
    Schriftenreihe: Linguistische Arbeiten : Neue Folge ; 1
    Schlagworte: Programmiersprache; COMSKEE
    Umfang: 42 S.
  15. The programming language COMSKEE
    Autor*in:
    Erschienen: 1981
    Verlag:  Univ. d. Saarlandes, Saarbrücken

    Standort:
    Landesbibliothekszentrum Rheinland-Pfalz / Pfälzische Landesbibliothek
    Signatur:
    K 25789
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Mueller-von Brochowski, Angelika (Mitarb.)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 915 ; ST 510
    Auflage/Ausgabe: 2. rev. rep.
    Schriftenreihe: Linguistische Arbeiten des SF-B 100 / Sonderforschungsbereich Elektronische Sprachforschung <Saarbrücken> ; N.F., 4
    Schlagworte: Programmiersprache; COMSKEE
    Umfang: 61 S.
    Bemerkung(en):

    1. rev. report als: Sonderforschungsbereich Elektronische Sprachforschung <Saarbrücken>: Linguistische Arbeiten des Sonderforschungsbereichs einhundert ; N.F.,1
  16. Programming languages and their compilers
    Autor*in: Cocke, John
    Erschienen: 1970
    Verlag:  Courant Inst. of Mathematical Sciences, New York

    Standort:
    Gemeinsame Mathematische Bibliothek
    Signatur:
    101:A 5648
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    MAT Cock
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Schwartz, Jacob T. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 915 ; ST 265
    Auflage/Ausgabe: 2. Rev. Vers.
    Schlagworte: Compiler; Programmiersprache
    Umfang: III, 767 S.
  17. Computational semantics
    an introduction to artificial intelligence and natural language comprehension
    Autor*in:
    Erschienen: 1976
    Verlag:  North-Holland Publ. Comp, Amsterdam [u.a.]

    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF 840/011
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Charniak, Eugene (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0444111107; 072040469X
    RVK Klassifikation: ES 900 ; ST 510 ; ST 285 ; ER 300 ; ES 940
    Schriftenreihe: Fundamental studies in computer science ; 4
    Schlagworte: LISP; Computerlinguistik; Sprachverarbeitung <Psycholinguistik>; Programmiersprache; Künstliche Intelligenz; Semantik
    Umfang: VII, 294 S.
  18. 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.
  19. Formal semantics of programming languages
    Courant Computer Science Symposium 2 : September, 14-16, 1970
    Autor*in:
    Erschienen: 1972
    Verlag:  Prentice-Hall, Englewood Cliffs, NJ

    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF 151/180-2
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Rustin, Randall (Hrsg.)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0133290603
    RVK Klassifikation: QH 500 ; ES 915
    Schriftenreihe: Courant computer Science Symposium ; 2
    Prentice-Hall series in automatic computation
    Schlagworte: Semantik; Programmiersprache
    Umfang: 248 S.
  20. A comparative study of programming languages
    Autor*in: Higman, Bryan
    Erschienen: 1970
    Verlag:  Macdonald [u.a.], London

    Standort:
    Universitätsbibliothek Trier
    Signatur:
    f1020
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0356022196; 035602900X; 044419567X
    RVK Klassifikation: ES 915 ; CC 4800 ; ST 250
    Auflage/Ausgabe: 4. impr.
    Schriftenreihe: Computer monographs ; 2
    Schlagworte: Programmiersprache
    Umfang: 164 S.
  21. Fundamentals of programming languages
    Autor*in: Horowitz, Ellis
    Erschienen: 1983
    Verlag:  Springer, Berlin [u.a.]

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

    Standort:
    Universität Bonn, Institut für Philosophie, Bibliothek
    Signatur:
    K 4550/700
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

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

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

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

    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF 438/008
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    L INF 596
    Standort:
    Universitätsbibliothek Kaiserslautern
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    LINF
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Koblenz
    Signatur:
    MAG 16845
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

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

    Standort:
    Universitätsbibliothek Landau
    Signatur:
    inf 450-2
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    Signatur:
    Horo
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Paderborn
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 3540117687; 0387117687
    RVK Klassifikation: QH 500 ; ST 250 ; ES 900
    Schlagworte: Programmiersprache
    Umfang: XIV, 450 S., graph. Darst.
  22. The programming language Comskee
    rev. report – 3
    Autor*in:
    Erschienen: 1984

    Standort:
    Universitätsbibliothek Wuppertal
    Signatur:
    BET1997-10
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 3923435096
    Übergeordneter Titel:
    RVK Klassifikation: ES 915
    Auflage/Ausgabe: 1. Aufl.
    Schriftenreihe: Linguistische Arbeiten ; N.F., 10
    Schlagworte: COMSKEE; Programmiersprache
    Umfang: 75 S.
  23. Foundations of logic programming
    Autor*in: Lloyd, John W.
    Erschienen: 1984
    Verlag:  Springer, Berlin [u.a.]

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

    Standort:
    Universität Bonn, Institut für Philosophie, Bibliothek
    Signatur:
    K 5750/300
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitäts- und Landesbibliothek, Abteilungsbibliothek Medizin, Naturwissenschaften und Landbau
    Signatur:
    87/25449
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Dortmund
    Signatur:
    LH0155/356
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    LINF
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    L INF 621
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Regionales Rechenzentrum der Universität zu Köln, Bibliothek
    Signatur:
    006/005.115/LLoy05
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Standort:
    Universitäts- und Stadtbibliothek Köln, Hauptabteilung
    Signatur:
    9H3706
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    Signatur:
    I Lloy
    Fernleihe:
    keine Fernleihe
    Standort:
    Institut für Ethik, Geschichte und Theorie der Medizin, Bibliothek
    Signatur:
    73 a L 619
    Fernleihe:
    keine Fernleihe
    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 Trier
    Signatur:
    f2229
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 3540132996; 0387132996
    RVK Klassifikation: ST 245 ; ST 230 ; ES 915
    Schriftenreihe: Symbolic computation
    Schlagworte: Logische Programmierung; Programmiersprache; Programmierlogik; Mathematische Logik; Programmierung; Semantik
    Umfang: X, 124 S., 10 graph. Darst.
  24. The programming language Comskee
    rev. report – 3
    Autor*in:
    Erschienen: 1984

    Standort:
    Universitätsbibliothek Duisburg-Essen, Campus Essen
    Signatur:
    BET1549-NF,10_d
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Mueller- von Brochowski, Angelika (Sonstige)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 3923435096
    Übergeordneter Titel:
    RVK Klassifikation: ES 915
    Schriftenreihe: Linguistische Arbeiten ; 10
    Schlagworte: COMSKEE; Programmiersprache
    Umfang: 75 S., graph. Darst.
  25. 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.