Ergebnisse für *

Es wurden 11 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 11 von 11.

Sortieren

  1. Knowledge-based program construction
    Erschienen: 1979
    Verlag:  North Holland, New York [u.a.]

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Potsdam, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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.
  2. Knowledge-based program construction
    Erschienen: 1979
    Verlag:  North-Holland, New York [u.a.]

    Universität Potsdam, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0444003401; 044400341X
    RVK Klassifikation: ES 900 ; ST 230
    Schriftenreihe: Programming languages series ; 6
    Elsevier computer science library
    Schlagworte: Programmsynthese; ; Künstliche Intelligenz; ; Programmierung; Automation;
    Umfang: XIII, 262 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 249 - 255

  3. Knowledge-based program construction
    Erschienen: 1979
    Verlag:  North Holland, New York [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 230 B282
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    ST 3040 BAR1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0444003401; 044400341X
    RVK Klassifikation: ES 900 ; ST 230
    Schriftenreihe: Programming languages series ; 6
    Schlagworte: Programmierung; Programmsynthese; Künstliche Intelligenz; Automation
    Umfang: XIII, 262 S.
    Bemerkung(en):

    Literaturverz. S. 249 - 255

  4. Knowledge - based program construction
    Erschienen: 1979

    Bayerische Staatsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ST 230 ; ES 900
    Schlagworte: Programmierung; Algorithmus; Künstliche Intelligenz; Software Engineering; Automation; Programmsynthese
    Bemerkung(en):

    :

  5. Knowledge-based program construction
    Erschienen: 1979
    Verlag:  North Holland, New York [u.a.]

    Universitätsbibliothek Augsburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität der Bundeswehr München, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Würzburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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.
  6. Knowledge-based program construction
    Erschienen: 1979
    Verlag:  North-Holland, New York [u.a.]

    Universitätsbibliothek Clausthal
    CL 48 : IPP48 Prozess- und Produktionsleittechnik
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    P BAR 5985
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    RN 4211(6)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    80 A 1611
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    kid 240.20/b17
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    inf 322 BB 4662
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Osnabrück
    TXA / Bar
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Potsdam, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität des Saarlandes, Wirtschaftswissenschaftliche Seminarbibliothek, Betriebswirtschaftliche Abteilung
    BF-5-466 / SB
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachbibliothek Mathematik und Physik / Bereich Physik - Universität Tübingen
    Bars
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0444003401; 044400341X
    RVK Klassifikation: ES 900 ; ST 230
    Schriftenreihe: Programming languages series ; 6
    Elsevier computer science library
    Schlagworte: Programmsynthese; ; Künstliche Intelligenz; ; Programmierung; Automation;
    Umfang: XIII, 262 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 249 - 255

  7. Knowledge-based program construction
    Erschienen: 1979
    Verlag:  North Holland, New York [u.a.]

    Universitätsbibliothek Kaiserslautern
    INF
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0444003401; 044400341X
    RVK Klassifikation: ST 230 ; ES 900
    Schriftenreihe: The computer science library : programming languages series ; 6
    Schlagworte: Automation; Programmierung; Künstliche Intelligenz; Programmsynthese
    Umfang: XIII, 262 S.
  8. Knowledge based program construction
    Erschienen: 1979
    Verlag:  North-Holland, New York

    Universitätsbibliothek Bielefeld
    HI405 B282
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0444003401; 044400341X
    RVK Klassifikation: ES 900 ; ST 230
    Schriftenreihe: Elsevier computer science library. Programming languages series ; 6
    Schlagworte: Automation; Programmsynthese; Programmierung; Künstliche Intelligenz
    Umfang: [XV], 262 S., graph. Darst.
  9. Knowledge-based program construction
    Erschienen: 1979
    Verlag:  NORTH-HOLLAND PUBLISHING CO., New York [u.a.]

    Universitätsbibliothek der Fernuniversität
    TXD/BAR
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0444003401
    RVK Klassifikation: ST 230 ; ES 900
    Schriftenreihe: THE COMPUTER SCIENCE LIBRARY: PROGRAMMING LANGUAGES SERIES; 6
    Schlagworte: Automation; Programmierung; Künstliche Intelligenz; Programmsynthese
    Umfang: XV,262 S.
  10. Knowledge-based program construction
    Erschienen: 1979
    Verlag:  North-Holland, New York [u.a.]

    Universitäts- und Landesbibliothek, Abteilungsbibliothek Medizin, Naturwissenschaften und Landbau
    85/25826
    Ausleihe von Bänden möglich, keine Kopien
    Fachhochschule Südwestfalen, Fachbibliothek Meschede
    77TXB2202
    Universitäts- und Stadtbibliothek Köln, Hauptabteilung
    7H5439
    Ausleihe von Bänden möglich, keine Kopien
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0444003401; 044400341x
    RVK Klassifikation: ES 900 ; ST 230
    Schriftenreihe: Programming languages series ; 6
    The computer science library
    Schlagworte: Künstliche Intelligenz; Programmierung; Automation; Programmsynthese
    Umfang: XV, 262 S., Ill.
  11. Annual review in automatic programming
    Autor*in:
    Erschienen: 1960-1995
    Verlag:  Pergamon Press, Oxford [u.a.]

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    Zsn 22244
    1.1960 - 17.1993
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    13 Per 1443-...
    1.1960 - 4.1964
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    keine Fernleihe
    Universitätsbibliothek Braunschweig
    keine Fernleihe
    Staats- und Universitätsbibliothek Bremen
    fb 8100
    1.1960 - 19.1995
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Universität Chemnitz, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Zentrale Hochschulbibliothek Flensburg
    keine Fernleihe
    Technische Universität Bergakademie Freiberg, Bibliothek 'Georgius Agricola'
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Freiburg
    ZN 2647
    1.1960 - 6.1969
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Rechenzentrum der Universität, Handbibliothek
    6.1969,3 - 7.1972/74,5
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    ZA 33258
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    keine Fernleihe
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    ZA 1072
    3.1963; 7.1974
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    keine Fernleihe
    Technische Universität Hamburg, Universitätsbibliothek
    keine Fernleihe
    Medizinische Hochschule Hannover, Bibliothek
    Z 470
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    ZN 4765
    Einzelbandnachweis
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Campusbibliothek Bergheim der Universität
    WS/Z ARA.01
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Heidelberg, Bereichsbibliothek Mathematik und Informatik
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Ilmenau
    Z 4525
    1.1960 - 9.1974
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Thüringer Universitäts- und Landesbibliothek
    keine Fernleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    ZA 3114
    1.1960 - 5.1969
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    ZA 5937
    6.1971 - 7.1974
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    ZE 5973
    8.1977 - 19.1995
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    KIT-Bibliothek, Bibliothek des Instituts für Regelungs- und Steuerungssysteme
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    S 110
    1.1960 - 8.1977
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    Einzelsignaturen
    keine Fernleihe
    HTWG Hochschule Konstanz Technik, Wirtschaft und Gestaltung, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Leipzig
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    keine Fernleihe
    Otto-von-Guericke-Universität, Universitätsbibliothek
    Zb 2517
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    keine Fernleihe
    Universitätsbibliothek Mannheim
    12.1985
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Mannheim
    ZT 0993
    1.1960 - 8.1977
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Mannheim
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Mannheim
    ZT 0993
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschule Merseburg, Bibliothek
    keine Fernleihe
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    1.1960 - 10.1982
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    Z kyb 432 jc ZZ 0398
    1.1960 - 15.1991
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Osnabrück
    Z 3580
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Saarländische Universitäts- und Landesbibliothek
    4 Z 4852
    1.1960 - 19.1994(1995)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität des Saarlandes, Campusbibliothek für Informatik und Mathematik, Fachrichtung 6.2 Informatik
    keine Fernleihe
    Universität des Saarlandes, Wirtschaftswissenschaftliche Seminarbibliothek, Betriebswirtschaftliche Abteilung
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Stuttgart
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Stuttgart, Institut für Thermische Strömungsmaschinen und Maschinenlaboratorium, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Zentrum für Datenverarbeitung, Bibliothek
    1.1960 - 11.1983
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschule Wismar, University of Applied Sciences: Technology, Business and Design, Hochschulbibliothek
    keine Fernleihe
    Hochschule Zittau / Görlitz, Hochschulbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Leibniz-Institut für Deutsche Sprache, Bibliothek
    Sprache: Englisch
    Medientyp: Zeitschrift, Zeitung
    Format: Druck
    ISSN: 0066-4138
    Schlagworte: Automatische Programmierung; ; Programmierung; Zeitschrift; ; Informatik; ; Programmierung; ; Automatische Programmierung;
    Bemerkung(en):

    Ab 6.1969 als Schriftenreihe