Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 6 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 6 von 6.

Sortieren

  1. A first Course in formal logic and its applications in computer science
    Autor*in: Dowsing, Roy D.
    Erschienen: 1986
    Verlag:  Blackwell Scient. Publ., Oxford <<[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
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Rayward-Smith, Victor J. (Verfasser); Walter, C. D. (Verfasser)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0632013087
    RVK Klassifikation: SK 130 ; ST 130 ; ES 915 ; ST 120
    Auflage/Ausgabe: 1. publ.
    Schriftenreihe: Computer science texts
    Umfang: VI, 265 S., graph. Darst.
  2. A first course in formal logic and its applications in computer science
    Autor*in: Dowsing, Roy D.
    Erschienen: 1986
    Verlag:  Blackwell Scientif. Publ., Oxford <<[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
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Rayward-Smith, Victor J. (Sonstige); Walter, C. D. (Sonstige)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0632013087
    RVK Klassifikation: SK 130 ; ES 915 ; ST 120 ; ST 130
    Schriftenreihe: Computer science texts
    Umfang: VI, 265 S., graph. Darst.
  3. A first course in formal logic and its applications in computer science
    Autor*in: Dowsing, Roy D.
    Erschienen: 1986
    Verlag:  Blackwell Scientific, Oxford [u.a.]

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

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    F.4-117
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Rayward-Smith, Victor J.; Walter, C. D.
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0632013087
    RVK Klassifikation: ES 915 ; ST 120
    Schriftenreihe: Computer science texts
    Schlagworte: Datenverarbeitung; Mathematische Logik
    Umfang: VI, 265 S., graph. Darst
    Bemerkung(en):

    Literaturverz. S. 259 - 260
  4. A first course in formal logic and its applications in computer science
    Autor*in: Dowsing, Roy D.
    Erschienen: 1994
    Verlag:  Waller, Henley-on-Thames

    Standort:
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    Signatur:
    QAA 206/1994 D
    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
    Beteiligt: Rayward-Smith, Victor J.; Walter, C. D.
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0632013087
    RVK Klassifikation: ES 915 ; SK 130 ; ST 120 ; ST 130
    Auflage/Ausgabe: Reprint.
    Schriftenreihe: Computer science texts
    Schlagworte: Logic, symbolic and mathematical
    Umfang: VI, 265 S., graph. Darst.
  5. A first course in formal logic and its applications in computer science
    Autor*in: Dowsing, R. D.
    Erschienen: 1986
    Verlag:  Blackwell, Oxford u.a.

    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 Würzburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Rayward-Smith, Victor J. (Verfasser); Walter, C. D. (Verfasser)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0632013087
    RVK Klassifikation: ES 915 ; ST 120
    Schriftenreihe: Computer science texts
    Schlagworte: Informatik; Datenverarbeitung; Mathematische Logik
    Umfang: VI, 265 S.
  6. A first course in formal logic and its applications in computer science
    Autor*in: Dowsing, R. D.
    Erschienen: 1986
    Verlag:  Blackwell, Oxford [u.a.]

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

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

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

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

    Standort:
    Universitätsbibliothek Paderborn
    Signatur:
    TVC1384
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Rayward-Smith, Victor John (Verfasser); Walter, C. D. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0632013087
    RVK Klassifikation: ST 120 ; ES 915
    Schriftenreihe: Computer science texts
    Schlagworte: Datenverarbeitung; Mathematische Logik; Informatik
    Umfang: V, 265 S, graph. Darst.