Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 31 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 25 von 31.

Sortieren

  1. Computer semantics
    studies of algorithms, processors and languages
    Autor*in: Lee, John A. N.
    Erschienen: 1972
    Verlag:  Van Nostrand Reinhold, New York [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
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: SK 940 ; ST 140 ; ES 915
    Schriftenreihe: Computer science series
    Schlagworte: Algorithmes; Langages de programmation; Programmation (Informatique); Algorithms; Computer programming; Programming languages (Electronic computers); Programmiersprache; Theorie; Programmierung; Formale Sprache
    Umfang: XVI, 397 S., Ill.
  2. Knowledge-based program construction
    Autor*in: Barstow, David R.
    Erschienen: 1979
    Verlag:  North Holland, New York [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:
    TU Berlin, Universitätsbibliothek
    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: 0444003401; 044400341X
    RVK Klassifikation: ES 900 ; ST 230
    Schriftenreihe: Programming languages series ; 6
    The computer science library
    Schlagworte: Programmation (Informatique); pecos; production programme; programmation symbolique; Computer programming; Programmierung; Künstliche Intelligenz; Programmsynthese; Algorithmus; Automation; Software Engineering
    Umfang: XIII, 262 S., graph. Darst.
  3. 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.
  4. Computation of language
    an essay on syntax, semantics and pragmatics in natural man-machine communication
    Autor*in: Hausser, Roland
    Erschienen: 1989
    Verlag:  Springer, Berlin [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)

    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
  5. Artificial intelligence and heuristic programming
    Autor*in:
    Erschienen: 1971
    Verlag:  Univ. Press, Edinburgh

    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  6. The cognitive computer
    on language, learning and artificial intelligence
    Autor*in: Schank, Roger C.
    Erschienen: 1984
    Verlag:  Addison-Wesley, Reading, Mass. u.a.

    Standort:
    Berlin-Brandenburgische Akademie der Wissenschaften, Akademiebibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Max-Planck-Institut für Bildungsforschung, Bibliothek und wissenschaftliche Information
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    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
    Quelle: Verbundkataloge
    Beteiligt: Childers, Peter G. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 020106443X; 0201064464
    RVK Klassifikation: ST 285 ; ES 900 ; ST 300
    Auflage/Ausgabe: 1. print.
    Schlagworte: Intelligence artificielle; Programmation (Informatique); Künstliche Intelligenz; Artificial intelligence; Computer programming; Künstliche Intelligenz
    Umfang: XIII, 268 S., Ill., graph. Darst.
  7. Computer semantics
    Studies of algorithms, processors and languages
    Autor*in: Lee, John A. N.
    Erschienen: 1972
    Verlag:  Van Nostrand Reinhold Comp., 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:
    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
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 915 ; SK 940 ; ST 140
    Auflage/Ausgabe: 1. print.
    Schriftenreihe: Computer science series.
    Schlagworte: Computer systems - Programming - Languages - Semantics; Algorithmes; Langages de programmation; Programmation (Informatique); Algorithms; Computer programming; Programming languages (Electronic computers); Formale Sprache; Semantik; Grammatik; Theorie; Algorithmentheorie; Programmierung; Algorithmus; Programmiersprache
    Umfang: XVI,397 S.m.Abb.u.Tab.
  8. Computer programming
    Autor*in: Flores, Ivan
    Erschienen: 1966
    Verlag:  Prentice-Hall, Englewood Cliffs, N.J.

    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ST 230 ; ES 915
    Schlagworte: Programmation (Informatique); Computer programming; Programmierung
    Umfang: XII,395 S.
  9. The design of well-structured and correct programs
    Autor*in: Alagić, Suad
    Erschienen: 1978
    Verlag:  Springer, New York [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:
    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: Arbib, Michael A. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0387902996; 3540902996
    RVK Klassifikation: ST 230 ; QH 500 ; ES 900
    Schriftenreihe: Texts and monographs in computer science
    Schlagworte: PASCAL (Langage de programmation); PASCAL; Programmation (Informatique); Computer programming; Pascal (Computer program language); PASCAL <Programmiersprache>; Top-down-Verfahren; Programmverifikation; Strukturierte Programmierung; Programmierung
    Umfang: X, 292 S., graph. Darst.
  10. Decision table languages and systems
    Autor*in: Metzner, John R.
    Erschienen: 1977
    Verlag:  Academic Pr., 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: Barnes, Bruce H. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0124920500
    RVK Klassifikation: ES 920 ; ST 230
    Schriftenreihe: ACM monograph series.
    Schlagworte: Decisiones - Tablas lógicas; Ordinateurs - Programmation; Programmation (Informatique); Tables de décision; Tables de décision; table decision; Computer programming; Decision logic tables; Entscheidungstabelle; Entscheidungstabellentechnik
    Umfang: VIII, 172 S., graph.Darst.
  11. Logic, algebra and databases
    Autor*in: Gray, Peter M. D.
    Erschienen: 1984
    Verlag:  Ellis Horwood u.a., Chichester u.a.

    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
  12. Logic, algebra and databases
    Autor*in: Gray, Peter M.
    Erschienen: 1984
    Verlag:  Horwood, Chichester [u.a.]

    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: 0853127093; 0853128030; 0470201037
    RVK Klassifikation: ES 920 ; ST 271
    Auflage/Ausgabe: 1. publ.
    Schriftenreihe: Ellis Horwood series in computers and their applications ; 29
    Schlagworte: Algèbre; Bases de données - Gestion; Logique symbolique et mathématique; Programmation (Informatique); Prolog (Langage de programmation); Algebra; Computer programming; Database management; Logic, Symbolic and mathematical; Prolog (Computer program language); Information Retrieval; Programmiersprache; Datenbank
    Umfang: 294 S.
  13. The logical basis for computer programming
    Autor*in: Manna, Zohar
    Verlag:  Addison-Wesley, Reading, Mass. [u.a.]

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Waldinger, Richard (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ST 125 ; ES 920
    Schlagworte: Computers; Logica E Semantica De Programacao; Logica Matematica; Logica; Logique symbolique et mathématique; Programacao De Computadores; Programmation (Informatique); Programmeren (computers); Logik; Computer programming; Logic, Symbolic and mathematical; Programmierung; Mathematische Logik; Logik
    Bemerkung(en):

    Einbänd. Ausg. (1993) u.d.T.: Manna, Zohar: The deductive foundataions of computer programming
  14. The cognitive computer
    on language, learning and artificial intelligence
    Autor*in: Schank, Roger C.
    Erschienen: 1984
    Verlag:  Addison-Wesley, Reading, Mass. u.a.

    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)

    Standort:
    Bayerische Staatsbibliothek
    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Childers, Peter G. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 020106443X; 0201064464
    RVK Klassifikation: ST 285 ; ES 900 ; ST 300
    Auflage/Ausgabe: 1. print.
    Schlagworte: Intelligence artificielle; Programmation (Informatique); Künstliche Intelligenz; Artificial intelligence; Computer programming; Künstliche Intelligenz
    Umfang: XIII, 268 S., Ill., graph. Darst.
  15. Introduction to computer science using Pascal
    Autor*in: Glinert, Ephraim P.
    Erschienen: 1983
    Verlag:  Prentice-Hall International, Englewood Cliffs, N.J.

    Standort:
    Technische Universität München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  16. Artificial intelligence and heuristic programming
    Autor*in:
    Erschienen: 1971
    Verlag:  Univ. Press, Edinburgh

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

    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, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Bayerische Staatsbibliothek
    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 Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Regensburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  17. Computer semantics
    studies of algorithms, processors and languages
    Autor*in: Lee, John A. N.
    Erschienen: 1972
    Verlag:  Van Nostrand Reinhold, New York [u.a.]

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

    Standort:
    Bayerische Staatsbibliothek
    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 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: Buch (Monographie)
    RVK Klassifikation: ES 915 ; SK 940 ; ST 140
    Schriftenreihe: Computer science series
    Schlagworte: Algorithmes; Langages de programmation; Programmation (Informatique); Algorithms; Computer programming; Programming languages (Electronic computers); Formale Sprache; Semantik; Grammatik; Theorie; Algorithmentheorie; Programmierung; Algorithmus; Programmiersprache
    Umfang: XVI, 397 S., Ill.
  18. Computer programming
    Autor*in: Flores, Ivan
    Erschienen: 1966
    Verlag:  Prentice-Hall, Englewood Cliffs, N.J.

    Standort:
    Universitätsbibliothek der LMU München
    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)
    RVK Klassifikation: ST 230 ; ES 915
    Schlagworte: Programmation (Informatique); Computer programming; Programmierung
    Umfang: XII,395 S.
  19. Computation of language
    an essay on syntax, semantics and pragmatics in natural man-machine communication
    Autor*in: Hausser, Roland
    Erschienen: 1989
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    Bayerische Staatsbibliothek
    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  20. Logic, algebra and databases
    Autor*in: Gray, Peter M.
    Erschienen: 1984
    Verlag:  Horwood, Chichester [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: 0853127093; 0853128030; 0470201037
    RVK Klassifikation: ES 920 ; ST 271
    Auflage/Ausgabe: 1. publ.
    Schriftenreihe: Ellis Horwood series in computers and their applications ; 29
    Schlagworte: Algèbre; Bases de données - Gestion; Logique symbolique et mathématique; Programmation (Informatique); Prolog (Langage de programmation); Algebra; Computer programming; Database management; Logic, Symbolic and mathematical; Prolog (Computer program language); Information Retrieval; Programmiersprache; Datenbank
    Umfang: 294 S.
  21. The design of well-structured and correct programs
    Autor*in: Alagić, Suad
    Erschienen: c 1978
    Verlag:  Springer, New York, NY u.a.

    Standort:
    Universitätsbibliothek der LMU München
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Arbib, Michael A. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0387902996
    RVK Klassifikation: ST 230 ; QH 500 ; ST 265 ; ES 900
    Auflage/Ausgabe: 4. print.
    Schriftenreihe: Texts and monographs in computer science
    Schlagworte: PASCAL (Langage de programmation); PASCAL (Programmiersprache); PASCAL; Programmation (Informatique); Programmierung; Computer programming; Pascal (Computer program language); PASCAL <Programmiersprache>; Top-down-Verfahren; Programmverifikation; Strukturierte Programmierung; Programmierung
    Umfang: X, 292 S.
  22. Computation of language
    an essay on syntax, semantics and pragmatics in natural man-machine communication
    Autor*in: Hausser, Roland
    Erschienen: 1989
    Verlag:  Springer, Berlin [u.a.]

    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)

    Standort:
    Universitätsbibliothek Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  23. Computer semantics
    Studies of algorithms, processors and languages
    Autor*in: Lee, John A. N.
    Erschienen: 1972
    Verlag:  Van Nostrand Reinhold Comp., New York

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    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)
    RVK Klassifikation: ES 915 ; SK 940 ; ST 140
    Auflage/Ausgabe: 1. print.
    Schriftenreihe: Computer science series.
    Schlagworte: Computer systems - Programming - Languages - Semantics; Algorithmes; Langages de programmation; Programmation (Informatique); Algorithms; Computer programming; Programming languages (Electronic computers); Formale Sprache; Semantik; Grammatik; Theorie; Algorithmentheorie; Programmierung; Algorithmus; Programmiersprache
    Umfang: XVI,397 S.m.Abb.u.Tab.
  24. Decision table languages and systems
    Autor*in: Metzner, John R.
    Erschienen: 1977
    Verlag:  Academic Pr., New York

    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)

    Standort:
    Universitätsbibliothek Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Barnes, Bruce H. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0124920500
    RVK Klassifikation: ES 920 ; ST 230
    Schriftenreihe: ACM monograph series.
    Schlagworte: Decisiones - Tablas lógicas; Ordinateurs - Programmation; Programmation (Informatique); Tables de décision; Tables de décision; table decision; Computer programming; Decision logic tables; Entscheidungstabelle; Entscheidungstabellentechnik
    Umfang: VIII, 172 S., graph.Darst.
  25. Logic, algebra and databases
    Autor*in: Gray, Peter M. D.
    Erschienen: 1984
    Verlag:  Ellis Horwood u.a., Chichester u.a.

    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ä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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format