Skip to contents

  2. Bochmann, Gregor von [Editor] ; Working Conference on Protocol Test Systems 5 1992 Montréal, International Federation for Information Processing Technical Committee Communication Systems

    Proceedings of the IFIP TC 6/WG 6.1 Fifth Working Conference on Protocol Test Systems : Montreal, Quebec, Canada, 28 - 30 September, 1992

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Amsterdam [u.a.]: North-Holland, 1993

    Published in: International Federation for Information Processing: IFIP transactions / C ; 11 - Protocol test systems ; 5

  6. Bochmann, Gregor von [Other] ; CAV 4 1992 Montréal

    Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992 ; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin [u.a.]: Springer, 1993 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Published in: Lecture notes in computer science ; 66300

  7. Zaunert, Paul [Author] ; Bochmann, Gregor von [Illustrator]

    Natursagen / 2. Bändchen, Von Nixen und Kobolden und anderen Geistern / von Paul Zaunert ; mit Federzeichnungen von Gregor v. Bochmann

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cöln: Schaffstein, [1914] ; Online-Ausgabe, Hamburg: Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, [2020]

    Published in: Natursagen / von Paul Zaunert ; 2.1914 - Schaffsteins blaue Bändchen ; 53

  8. Bochmann, Gregor von [Illustrator] ; Gustav Weise <Stuttgart>, Hoffmann, Carl

    Die Jahreszeiten auf dem Lande

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Stuttgart, ca. 1872 ; Online-Ausgabe, Berlin: Staatsbibliothek zu Berlin - Preußischer Kulturbesitz

    Published in: Deutsche Bilderbogen für Jung und Alt ; 240

  12. Skarbina, Franz [Collector]; Bartels, Hans von [Illustrator]; Bochmann, Gregor von [Illustrator]; Buchholz, Karl [Illustrator] ; Rudolph Lepke's Kunst-Auctions-Haus

    Ölgemälde, Aquarelle und Zeichnungen erster Meister unserer Zeit : dabei 16 Gemälde aus dem Nachlasse des Professors Franz Skarbina, Berlin, eine auswärtige Privatsammlung usw.; Werke von H. v. Bartels, G. v. Bochmann, K. Buchholz, ...; Versteigerung: Dienstag, den 26. März 1912

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin: Lepke, 1912 ; Online-Ausg., Heidelberg: Univ.-Bibl., 2014

    Published in: Rudolph Lepke's Kunst-Auctions-Haus: Katalog ; 1637

  14. Bochmann, Gregor von [Author]; Hilscher, Martin [Author]; Linker, Sven [Author]; Olderog, Ernst-Rüdiger [Author]

    Synthesizing and verifying controllers for multi-lane traffic maneuvers

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Oldenburg: Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), Oktober 2015

    Published in: Sonderforschungsbereich Transregio 14 Automatische Verifikation und Analyse Komplexer Systeme: Reports of SFB/TR 14 AVACS ; 109

  15. Berchan, Christoph [Honoree]; Bechmann, Johann [Contributor]; Bechmann, Johann [Other]; Limbertus, Johannes [Contributor]; Limbertus, Johannes [Other]; Knoer, Veit [Contributor]; Knoer, Veit [Other]; Dickman, Gregor [Contributor]; Dickman, Gregor [Other]; Rotenburg, Johann [Contributor]; Rotenburg, Johann [Other]; Müller, Eberhard [Contributor]; Müller, Eberhard [Other]; Alemann, Jacob [Contributor]; Alemann, Jacob [Other]; Voltz, Valentin [Contributor]; Voltz, Valentin [Other]; Lüders, Markus [Contributor]; Lüders, Markus [Other]; Rosenbom, Samuel [Contributor]; Rosenbom, Samuel [Other]; Bock, Heinrich [Contributor]; Bock, Heinrich [Other]; Christiani, Matthias [Contributor]; [...]

    CARMINA || CLARISS. ET DOCTISS.|| VIRORVM || AD || VIRUM LITERATIS=||SIMVM Dn. CHRISTHO-||PHORVM BERCHANEM PHA=||rodinum, cùm ex amplissimo Facultatis || Philosophicae decreto Artium & Phi-||losophiae Magister VViteber=||gae crearetur,|| DECANO SPECTABILI, VIRO || clarißimo, D. M. ANTONIO EVONY-||MO Carintho, Ethices ibidem || Profess. publ.|| RECTORE MAGNIFICO.|| Viro Excellentissimo,|| D. ERNESTO HETTEN-||BACHIO MEDIC. DOCTO=||re & professore eius publico.||

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Witebergae: Lehmannus, 1596 ; Online-Ausg., Gotha: UFB Erfurt/Gotha, 2012

  20. Al-hammouri, Mohammad F.; Bochmann, Gregor von

    System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering: Realizability of Service Specifications

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer International Publishing, 2018

    Published in: System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering