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

Ergebnisse für *

Es wurden 10 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 10 von 10.

Sortieren

  1. 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.
  2. Knowledge-based program construction
    Autor*in: Barstow, David R.
    Erschienen: 1979
    Verlag:  North-Holland, New York [u.a.]

    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)
    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
    Autor*in: Barstow, David
    Erschienen: 1979
    Verlag:  North Holland, New York [u.a.]

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 230 B282
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    Signatur:
    ST 3040 BAR1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    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
    Autor*in: Barstow, David R.
    Erschienen: 1979

    Standort:
    Bayerische Staatsbibliothek
    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 900
    Schlagworte: Programmierung; Algorithmus; Künstliche Intelligenz; Software Engineering; Automation; Programmsynthese
    Bemerkung(en):

    :
  5. Knowledge-based program construction
    Autor*in: Barstow, David R.
    Erschienen: 1979
    Verlag:  North Holland, New York [u.a.]

    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 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: 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
    Autor*in: Barstow, David R.
    Erschienen: 1979
    Verlag:  North-Holland, New York [u.a.]

    Standort:
    Universitätsbibliothek Clausthal
    Signatur:
    CL 48 : IPP48 Prozess- und Produktionsleittechnik
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    P BAR 5985
    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(6)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

    Standort:
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    Signatur:
    kid 240.20/b17
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    Signatur:
    inf 322 BB 4662
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Osnabrück
    Signatur:
    TXA / Bar
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität des Saarlandes, Wirtschaftswissenschaftliche Seminarbibliothek, Betriebswirtschaftliche Abteilung
    Signatur:
    BF-5-466 / SB
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Fachbibliothek Mathematik und Physik / Bereich Physik - Universität Tübingen
    Signatur:
    Bars
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    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
    Autor*in: Barstow, David R.
    Erschienen: 1979
    Verlag:  North Holland, New York [u.a.]

    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    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
    Autor*in: Barstow, David R.
    Erschienen: 1979
    Verlag:  North-Holland, New York

    Standort:
    Universitätsbibliothek Bielefeld
    Signatur:
    HI405 B282
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    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
    Autor*in: Barstow, David R.
    Erschienen: 1979
    Verlag:  NORTH-HOLLAND PUBLISHING CO., New York [u.a.]

    Standort:
    Universitätsbibliothek der Fernuniversität
    Signatur:
    TXD/BAR
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    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
    Autor*in: Barstow, David R.
    Erschienen: 1979
    Verlag:  North-Holland, New York [u.a.]

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

    Standort:
    Fachhochschule Südwestfalen, Fachbibliothek Meschede
    Signatur:
    77TXB2202
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitäts- und Stadtbibliothek Köln, Hauptabteilung
    Signatur:
    7H5439
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    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: 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.