Ergebnisse für *

Es wurden 6 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 6 von 6.

Sortieren

  1. Hyperproof
    Autor*in: Barwise, Jon
    Erschienen: 1994
    Verlag:  CSLI, Stanford, Calif.

    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Etchemendy, John (Verfasser); Allwein, Gerard (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 1881526119
    RVK Klassifikation: ES 900
    Schriftenreihe: CSLI lecture notes ; 42
    Schlagworte: Informatica; Macintosh-software; Wiskundige logica; Informatik; Computer science; Logic, Symbolic and mathematical; Macintosh (Computer); Hyperproof
    Umfang: XVII, 255 S., graph. Darst.
  2. Bericht / Fachbereich Informatik, Universität Hamburg
    Autor*in:
    Erschienen: 1978-2006

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    Einzelsign.
    keine Fernleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    44 SB 141
    141.1989
    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
    keine Fernleihe
    Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und Meeresforschung, (AWI), Bibliothek
    keine Fernleihe
    Technische Universität Chemnitz, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Deutsche Nationalbibliothek
    Deutsche Nationalbibliothek
    Hochschule Furtwangen University. Informatik, Technik, Wirtschaft, Medien. Campus Furtwangen, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    ZB 46846
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    keine Fernleihe
    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
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    RN 3437
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Ilmenau
    Signaturen der Bände s. unter dem Titel des Bandes
    Thüringer Universitäts- und Landesbibliothek
    keine Fernleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschule Anhalt , Hochschulbibliothek
    keine Fernleihe
    Hochschule für Technik, Wirtschaft und Kultur, Hochschulbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Leipzig
    keine Fernleihe
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    keine Fernleihe
    Universitätsbibliothek Mannheim
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    keine Fernleihe
    Universitätsbibliothek Osnabrück
    keine Fernleihe
    Universitätsbibliothek Rostock
    keine Fernleihe
    Universitätsbibliothek Rostock
    ZB 3097
    Nr. 1=51.1978 - 71.1980; 73.1980 - 133.1987; 186.1996 - 270.2006
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Max-Planck-Institut für Informatik, Campusbibliothek für Informatik und Mathematik
    keine Fernleihe
    Universität des Saarlandes, Bereichsbibliothek Empirische Humanwissenschaften
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Saarländische Universitäts- und Landesbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Stuttgart, Institut für Kommunikationsnetze und Rechnersysteme, Bibliothek
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Württembergische Landesbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek der Eberhard Karls Universität
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Klassik Stiftung Weimar / Herzogin Anna Amalia Bibliothek
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzogin Anna Amalia Bibliothek
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    RVK Klassifikation: SS 5542
    Körperschaften/Kongresse:
    Universität Hamburg, Fachbereich Informatik (Verfasser)
    Schlagworte: Informatik;
    Bemerkung(en):

    Orig.-Zählung z.B.: FBI-HH-B-264/06; unregelmäßig; Nr. 136 nicht ersch.

  3. Information sciences
    Applications
    Autor*in:
    Erschienen: 1994-1995
    Verlag:  Elsevier Science, Amsterdam [u.a.]

    Hochschule Aalen, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Evangelische Hochschule Berlin, Bibliothek
    eJournal
    1.1994 - 4.1995
    Leibniz-Zentrum Moderner Orient, Bibliothek, Geisteswissenschaftliche Zentren Berlin e.V.
    keine Fernleihe
    Max-Planck-Institut für Bildungsforschung, Bibliothek und wissenschaftliche Information
    keine Fernleihe
    Max-Planck-Institut für Wissenschaftsgeschichte, Bibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Fernleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    1.1994 - 4.1995
    Stiftung Wissenschaft und Politik (SWP), Bibliothek
    1.1994 - 4.1995,3
    keine Fernleihe
    Hochschule Biberach, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Gesundheit, Hochschulbibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Physikalisch-Technische Bundesanstalt, Bibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Braunschweig
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Leibniz-Zentrum für Marine Tropenforschung (ZMT) GmbH, Bibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Leibniz-Zentrum für Marine Tropenforschung (ZMT) GmbH, Bibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Fernleihe
    Technische Universität Chemnitz, Universitätsbibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Clausthal
    keine Fernleihe
    Helmholtz-Zentrum Dresden - Rossendorf e.V., Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Technik und Wirtschaft Dresden, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Landesamt für Archäologie Sachsen, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Emden/Leer, Hochschulbibliothek
    keine Fernleihe
    Fachhochschule Erfurt, Hochschulbibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    lizenziert: 1.1994,1 - 4.1995,3
    keine Fernleihe
    Regierungspräsidium Stuttgart, Landesamt für Denkmalpflege, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Esslingen, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Zentrale Hochschulbibliothek Flensburg
    keine Fernleihe
    DIPF | Leibniz-Institut für Bildungsforschung und Bildungsinformation, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Universität Bergakademie Freiberg, Bibliothek 'Georgius Agricola'
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Pädagogischen Hochschule Freiburg/Breisgau
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Deutscher Caritasverband e.V., Bibliothek
    1.1994 - 4.1995,3
    keine Fernleihe
    Evangelische Hochschule Freiburg, Hochschulbibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Forstliche Versuchs- und Forschungsanstalt Baden-Württemberg, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Freiburg
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Furtwangen University. Informatik, Technik, Wirtschaft, Medien. Campus Furtwangen, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Helmholtz-Zentrum hereon GmbH, Bibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Wirtschaft und Umwelt Nürtingen-Geislingen, Bibliothek Geislingen,
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Berufsakademie Sachsen, Staatliche Studienakademie Glauchau, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Greifswald
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Esslingen, Standort Göppingen, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Otto-Hahn-Bibliothek des Max-Planck-Instituts für biophysikalische Chemie
    keine Fernleihe
    Burg Giebichenstein Kunsthochschule Halle, Hochschulbibliothek
    keine Fernleihe
    Deutsche Akademie der Naturforscher Leopoldina, Bibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Leibniz-Institut für Agrarentwicklung in Transformationsökonomien, Bibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    German Institute for Global and Area Studies, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    HafenCity Universität Hamburg, Bibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Angewandte Wissenschaften Hamburg, Hochschulinformations- und Bibliotheksservice (HIBS), Fachbibliothek Technik, Wirtschaft, Informatik
    keine Fernleihe
    Technische Universität Hamburg, Universitätsbibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Zentrum für Wissensmanagement, Bibliothek Hamm
    1.1994 - 4.1995,3
    keine Fernleihe
    Bibliothek der Hochschule Hannover
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek im Kurt-Schwitters-Forum
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    keine Fernleihe
    Medizinische Hochschule Hannover, Bibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Stiftung Tierärztliche Hochschule Hannover, Bibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Pädagogischen Hochschule Heidelberg
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Heidelberg
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Heidenheim, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek LIV HN Sontheim
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    HAWK Hochschule für angewandte Wissenschaft und Kunst Hildesheim/Holzminden/Göttingen, Bibliothek, Elektronische Ressourcen
    keine Fernleihe
    HAWK Hochschule für angewandte Wissenschaft und Kunst Hildesheim/Holzminden/Göttingen, Bibliothek, Elektronische Ressourcen
    keine Fernleihe
    Universitätsbibliothek Hildesheim
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Stuttgart, Campus Horb, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Ilmenau
    Online-Ressource
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Ernst-Abbe-Hochschule Jena, Wissenschaftliche Bibliothek
    lizenziert: 3.1995,1 - 4.1995,3
    keine Fernleihe
    Ernst-Abbe-Hochschule Jena, Wissenschaftliche Bibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Max-Planck-Institut für Chemische Ökologie und Max-Planck-Institut für Biogeochemie, Wissenschaftliche Bibliothek
    keine Fernleihe
    Thüringer Universitäts- und Landesbibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Thüringer Universitäts- und Landesbibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Badische Landesbibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Karlsruhe (PH)
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    KIT-Bibliothek, Fachbibliothek Hochschule Karlsruhe
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Karlsruher Institut für Technologie, KIT-Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Karlsruher Institut für Technologie, KIT-Bibliothek
    1.1994 - 2.1994
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachbibliothek der Dualen Hochschule Baden-Württemberg Karlsruhe (FBD)
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachhochschule Kiel, Zentralbibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachhochschule Kiel, Zentralbibliothek
    lizenziert: 3.1995,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Kiel, Zentralbibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    HTWG Hochschule Konstanz Technik, Wirtschaft und Gestaltung, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Deutsches Zentrum für Luft- und Raumfahrt, DLR-Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Anhalt , Hochschulbibliothek
    keine Fernleihe
    Hochschule für Technik, Wirtschaft und Kultur, Hochschulbibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Leipzig
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Leipzig, Universitätsbibliothek, Bibliothek Medizin/Naturwissenschaften
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Zentrum für Wissensmanagement, Bibliothek Lippstadt
    1.1994 - 4.1995,3
    keine Fernleihe
    Evangelische Hochschule Ludwigsburg, Hochschule für Soziale Arbeit, Diakonie und Religionspädagogik, Bibliothek
    1.1994 - 4.1995,3
    keine Fernleihe
    Hochschule für öffentliche Verwaltung und Finanzen Ludwigsburg, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Pädagogische Hochschulbibliothek Ludwigsburg
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Zentrale Hochschulbibliothek Lübeck
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Magdeburg-Stendal, Hochschulbibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Max-Planck-Institut für Dynamik Komplexer Technischer Systeme, Bibliothek
    keine Fernleihe
    Otto-von-Guericke-Universität, Universitätsbibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Otto-von-Guericke-Universität, Universitätsbibliothek, Medizinische Zentralbibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Mannheim, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Mannheim, Hochschulbibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Mannheim
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Deutsches Literaturarchiv Marbach, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Merseburg, Bibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Merseburg, Bibliothek
    lizenziert: 3.1995,1 - 4.1995,3
    keine Fernleihe
    Hochschule Merseburg, Bibliothek
    lizenziert: 3.1995,1 - 4.1995,3
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Mosbach, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Max-Planck-Institut für Sozialrecht und Sozialpolitik, Abteilung für ausländisches und internationales Sozialrecht sowie Abteilung Munich Center for the Economics of Aging (MEA), Bibliothek
    keine Fernleihe
    Hochschule Neubrandenburg, Bibliothek
    keine Fernleihe
    Max-Planck-Institut für Psycholinguistik, Bibliothek
    keine Fernleihe
    Hochschule Nordhausen, Hochschulbibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Wirtschaft und Umwelt Nürtingen-Geislingen, Bibliothek Nürtingen
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    1.1994 - 4.1995,3
    keine Fernleihe
    Hochschule Offenburg, University of Applied Sciences, Bibliothek Campus Offenburg
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Oldenburg, Bibliothek
    keine Fernleihe
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Elsfleth, Bibliothek
    keine Fernleihe
    Landesbibliothek Oldenburg
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Osnabrück, Bibliothek Campus Westerberg
    keine Fernleihe
    Universitätsbibliothek Osnabrück
    keine Fernleihe
    Max-Planck-Institut für Evolutionsbiologie, Bibliothek
    keine Fernleihe
    Universität Potsdam, Universitätsbibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Ravensburg, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Reutlingen (Lernzentrum)
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Deutsches Historisches Institut in Rom, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Rostock
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Forstwirtschaft Rottenburg, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Technik und Wirtschaft des Saarlandes, Bibliothek / Bereich Goebenstraße
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Max-Planck-Institut für Informatik, Campusbibliothek für Informatik und Mathematik
    1.1994 - 4.1995,3
    keine Fernleihe
    Saarländische Universitäts- und Landesbibliothek
    1.1994 - 4.1995,3
    keine Fernleihe
    INM - Leibniz-Institut für Neue Materialien gGmbH, NTNM-Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Saarländische Universitäts- und Landesbibliothek
    3.1995 - 4.1995,3
    keine Fernleihe
    Hochschule Schmalkalden, Cellarius Bibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Pädagogische Hochschule, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Albstadt-Sigmaringen, Bibliothek Sigmaringen
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Magdeburg-Stendal, Standort Stendal, Bibliothek
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Stralsund, Hochschulbibliothek
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Stuttgart, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule der Medien, Bibliothek Standort Nobelstr.
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Technik Stuttgart, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Kommunikations-, Informations- und Medienzentrum der Universität Hohenheim
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Stuttgart
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Württembergische Landesbibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek der Eberhard Karls Universität
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Hochschule Ulm, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Vechta
    keine Fernleihe
    UB Weimar
    lizenziert: 1.1994,1 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    UB Weimar
    lizenziert: 1.1994,1 - 4.1995,3
    keine Fernleihe
    Hochschulbibliothek Weingarten
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Weingarten
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    EBS Universität für Wirtschaft und Recht, Standort Wiesbaden, Fachbibliothek Rechtswissenschaften
    keine Fernleihe
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Wilhelmshaven, Bibliothek
    keine Fernleihe
    Ostfalia Hochschule für angewandte Wissenschaften, Bibliothek
    keine Fernleihe
    Westsächsische Hochschule Zwickau, Bibliothek
    1.1994 - 4.1995,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Deutsches Literaturarchiv Marbach, Bibliothek; Leibniz-Institut für Deutsche Sprache, Bibliothek
    Sprache: Englisch
    Medientyp: Elektronische Zeitschrift
    Format: Online
    ISSN: 1069-0115
    Schlagworte: Informationstechnik; Zeitschrift; ; Informatik; Zeitschrift;
    Umfang: Online-Ressource
    Bemerkung(en):

    Gesehen am 10.06.21

  4. Hyperproof
    Autor*in: Barwise, Jon
    Erschienen: 1994
    Verlag:  CSLI, Stanford, Calif.

    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Etchemendy, John (Verfasser); Allwein, Gerard (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 1881526119
    RVK Klassifikation: ES 900
    Schriftenreihe: CSLI lecture notes ; 42
    Schlagworte: Informatica; Macintosh-software; Wiskundige logica; Informatik; Computer science; Logic, Symbolic and mathematical; Macintosh (Computer); Hyperproof
    Umfang: XVII, 255 S., graph. Darst.
  5. Journal of computer and system sciences
    Autor*in:
    Erschienen: 1967-; 1967-1983; 1984-2004,1
    Verlag:  Elsevier, San Diego, Calif. [u.a.] ; Acad. Press, New York, NY [u.a.]

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    Zsn 28035
    1.1967 - 3.1969; 4.1970,2 - 71.2005
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    30 PA 331
    12.1976 - 41.1990
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Bremen
    fc 6312
    1.1967 - 77.2011
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Fraunhofer-Institut für Werkzeugmaschinen und Umformtechnik, Bibliothek
    27.1983 - 38.1988,3
    keine Fernleihe
    Technische Universität Chemnitz, Universitätsbibliothek
    A 9714
    2.1968 - 62.2001,2
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    19 8 01634
    10.1975,2 - 49.1994
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    19 4 10160
    50.1995 - 78.2012
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Greifswald
    672/Z 68 A 127
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Greifswald
    660/SA 3650
    48.1994 - 59.1999
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    ZA 30225
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    1.1967 - 39.1989
    keine Fernleihe
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    IN 5315
    7.1973; 50.1995 - 78.2012
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    MAT 790:Z00250
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    1.1967 - 79.2013
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    ZN 2392 [Haus2]
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Heidelberg, Bereichsbibliothek Mathematik und Informatik
    40.1990 - 78.2012
    keine Fernleihe
    Universitätsbibliothek Ilmenau
    Z 6670
    Thüringer Universitäts- und Landesbibliothek
    INF:ZF:8
    22.1981 - 27.1983; 29.1984 - 78.2012
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    KIT-Bibliothek, Bibliothek der Fakultät für Informatik
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    IFIZ 114
    keine Fernleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    Xa 4539
    1.1967 - 29.1984
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    IFIZ 114
    keine Fernleihe
    Universitätsbibliothek Leipzig
    02ZA-2007-16
    1.1967 - 12.1976; 14/15.1977; 20/21.1980 - 22/23.1981
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Zentrale Hochschulbibliothek Lübeck
    2269 AZ
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Otto-von-Guericke-Universität, Universitätsbibliothek
    Za 1088
    20.1980 - 65.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    D 305
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    Z 4105
    14.1977 - 33.1986
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Mannheim
    ZA 0138
    1.1967 - 39.1989
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Mannheim
    400 SA 5080
    1.1967 - 77.2011
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    1.1967 - 49.1994
    keine Fernleihe
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    Z kyb 001 jc ZZ 0233
    1.1967 - 74.2008
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Osnabrück
    Z 3287
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Rostock
    ZA 10864
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Saarländische Universitäts- und Landesbibliothek
    Z 4925
    7.1973 - 62.2001
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität des Saarlandes, Campusbibliothek für Informatik und Mathematik, Fachrichtung 6.2 Informatik
    1.1967 - 6.1972
    keine Fernleihe
    Universitätsbibliothek Stuttgart
    2Za 3496
    1.1967 - 65.2002
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Fachbibliothek Mathematik und Physik / Bereich Mathematik - Universität Tübingen
    Zs354
    1.1967 - 49.1994
    keine Fernleihe
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    1166
    1.1967 - 59.1999
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Z 33
    1.1967 - 69.2004
    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: 0022-0000
    Weitere Identifier:
    swets: 00236926
    RVK Klassifikation: SA 6200
    Schlagworte: Systemtheorie; Zeitschrift; ; Informatik; Zeitschrift;
  6. 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