Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 8 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 8 von 8.

Sortieren

  1. The design of well-structured and correct programs
    Autor*in: Alagić, Suad
    Erschienen: c 1978
    Verlag:  Springer, New York [u.a.]

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    85.635.77
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Kassel, Standort Oberzwehren
    Signatur:
    95 inf M 2 ALA
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Arbib, Michael A.
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0387902996; 3540902996
    RVK Klassifikation: QH 500 ; ST 230 ; ES 900 ; ST 265
    Auflage/Ausgabe: 4. [Dr.]
    Schriftenreihe: Texts and monographs in computer science
    Schlagworte: Programmierung; PASCAL <Programmiersprache>; Programmierung <EDV>; Beweis; Pascal <EDV>
    Umfang: X, 292 S., graph. Darst.
  2. Foundations of logic programming
    Autor*in: Lloyd, John W.
    Erschienen: 1984
    Verlag:  Springer, Berlin [u.a.]

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

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Ausgesondert: F.4-28
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    F.4-28 ex 4
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hochschul- und Landesbibliothek Fulda, Standort Campus
    Signatur:
    20 / ST 230 L793
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Zentralbibliothek
    Signatur:
    111.964
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    I.2. Lloy
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540132996; 0387132996
    RVK Klassifikation: ES 915 ; ST 230 ; ST 240
    Schriftenreihe: Symbolic computation
    Schlagworte: Programmierlogik; Programmierung; Programmiersprache; Semantik; Logische Programmierung; Mathematische Logik; Programmierung <EDV>; Mathematische Logik; PROLOG <EDV>
    Umfang: X, 124 S., 10 graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 113 - 118
  3. Programming in Prolog
    Autor*in: Clocksin, William F.
    Erschienen: 1981
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    TU Darmstadt, Fachbereich Mathematik
    Signatur:
    -034-AG 14/0069 (Man)
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    86.929.02
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Ausgesondert: D.3-3
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Ausgesondert: D.3-3 ex 6
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Ausgesondert: D.3-3 ex 9
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Bibliothekszentrum Geisteswissenschaften (BzG)
    Signatur:
    S 060.103
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Gießen, Fachbibliothek Mathematik und Informatik
    Signatur:
    Cloc ...
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Mellish, Christopher S.
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540110461; 0387110461
    RVK Klassifikation: ES 900 ; QH 500 ; ST 260 ; ST 250
    Schlagworte: PROLOG <Programmiersprache>; PROLOG <EDV>; Programmierung <EDV>
    Umfang: XII, 279 S.
  4. The design of well-structured and correct programs
    Autor*in: Alagić, Suad
    Erschienen: 1978
    Verlag:  Springer, New York [u.a.]

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    D.2-12
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    D.2-12 ex 2
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    D.2-12 ex 3
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Gießen, Zweigbibliothek der UB im Philosophikum II
    Signatur:
    009 Did mat Nb 818
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Arbib, Michael A.
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540902996; 0387902996
    RVK Klassifikation: QH 500 ; ST 230 ; ES 900 ; ST 265
    Auflage/Ausgabe: 2., corr. printing
    Schriftenreihe: Texts and monographs in computer science
    Schlagworte: Programmierung; PASCAL <Programmiersprache>; Programmierung <EDV>; Beweis; Pascal <EDV>
    Umfang: X, 292 S., graph. Darst., 25 cm
  5. Programmierlogik
    Autor*in: Fischbach, Franz
    Erschienen: 1976
    Verlag:  Müller, Köln-Braunsfeld

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    10.937.00
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hochschul- und Landesbibliothek Fulda, Standort Campus
    Signatur:
    21 / ST 230 F528 P9
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Gießen
    Signatur:
    20.262.44
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Wissenschaftliche Stadtbibliothek
    Signatur:
    13/2281, Bd. 18
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hochschul- und Landesbibliothek RheinMain, Rheinstraße
    Signatur:
    60 77 A 565
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Stadtbibliothek Worms
    Signatur:
    -Mag- D 2977
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Gross, Jürgen
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3481360010
    RVK Klassifikation: QH 500 ; ES 900 ; ST 230 ; ST 265
    Schriftenreihe: Die elektronische Datenverarbeitung von A bis Z
    Schlagworte: Programmierlogik; Programmierung <EDV>
    Umfang: 121 S., graph. Darst., 22 cm
    Bemerkung(en):

    Auf d. Umschlag: Fischbach-Gross.
  6. Methodik der Programmierung in Pascal
    mit 33 vollständigen Programmbeispielen
    Autor*in: Marty, Rudolf
    Erschienen: 1984
    Verlag:  Springer, Berlin [u.a.]

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

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    82.859.30
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Johann Christian Senckenberg, Zentralbibliothek, Spezieller Retrobestand
    Signatur:
    8° 23.408
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Kassel, Standort Oberzwehren
    Signatur:
    95 inf M 5.3.7 MAR
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    Signatur:
    ST 2500 P21 MAR1 (2)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    /
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540135642; 0387135642
    RVK Klassifikation: ES 915 ; ST 257 ; ST 250
    Auflage/Ausgabe: 2., korrigierte Aufl.
    Schlagworte: Programmierung; PASCAL <Programmiersprache>; Pascal <EDV>; Programmierung <EDV>
    Umfang: IX, 201 S., graph. Darst., 25 cm
  7. Problem solving using UCSD Pascal
    Autor*in: Bowles, Kenneth L.
    Erschienen: 1984
    Verlag:  Springer, New York [u.a.]

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    11.898.29
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Kassel, Standort Oberzwehren
    Signatur:
    95 inf M 5.3.7 BOW
    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
    Beteiligt: Franklin, Stephen D.; Volper, Dennis J.
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540908226; 0387908226
    RVK Klassifikation: ES 920 ; QH 500 ; ST 257
    Auflage/Ausgabe: 2. ed.
    Schlagworte: Pascal <EDV>; Programmierung <EDV>
    Umfang: XI, 340 S., 106 graph. Darst., 24 cm
  8. Methodik der Programmierung in Pascal
    mit 13 vollständigen Programmbeispielen
    Autor*in: Marty, Rudolf
    Erschienen: 1984
    Verlag:  Springer, Berlin [u.a.]

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

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    Signatur:
    40 MA 317
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Bremen
    Signatur:
    a kyb 430 pas/635(2)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Universität Chemnitz, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Freiburg
    Signatur:
    NA 84/421
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    Signatur:
    INF 331 PAS:M0001(002)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    9/21491
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Hildesheim
    Signatur:
    CSC 376 : M15
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Badische Landesbibliothek
    Signatur:
    84 A 13027
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    S 2-5-212
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    MART R-14183
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Hochschulbibliothek Pforzheim, Bereichsbibliothek Technik und Wirtschaft
    Signatur:
    23215
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität des Saarlandes, Wirtschaftswissenschaftliche Seminarbibliothek, Volkswirtschaftliche Abteilung
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Stuttgart
    Signatur:
    3H 4840(2)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Württembergische Landesbibliothek
    Signatur:
    34a/4283
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540135642; 0387135642
    RVK Klassifikation: ES 915 ; ST 257 ; ST 250
    Auflage/Ausgabe: 2., korrigierte Aufl.
    Schlagworte: Datenverarbeitung; Pascal <EDV>; Programmierung <EDV>; Pascal; Programmierung
    Umfang: IX, 201 S., graph. Darst., 25 cm