Skip to contents

  1. Gerard-Sharp, Lisa [Author]; Perry, Tim [Author] ; Quatmann, Christian [Translator] Dorling Kindersley Verlag

    Irland - [Aktualisierte Neuauflage 2017/2018]

    Books
    Close

    Bookmarks

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

    London; München: DK, 2017

    Published in: Vis-à-vis

  3. Quatmann, Christian [Translator]; Quatmann, Christian [Other]; Viljus, Mart [Other] ; Neuer Berliner Kunstverein

    Bitte lächeln, Aufnahme! : Fotokunst aus den zehn neuen EU-Ländern; Martin-Gropius-Bau, Berlin, 16. Dezember 2004 bis 14. Februar 2005; [Mart Viljus ...; im Rahmen des Kulturjahres der Zehn anlässlich der Ausstellung des Neuen Berliner Kunstvereins im Martin-Gropius-Bau]

    Books
    Close

    Bookmarks

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

    [Heidelberg]: Ed. Braus im Wachter-Verl., 2005

  4. Tolnay, Alexander [Other]; Quatmann, Christian [Translator]; Quatmann, Christian [Other] ; Neuer Berliner Kunstverein, Kunstsammlungen Zwickau, Kunstmuseum Heidenheim, Städtische Galerie Waldkraiburg

    Zeitgenössische Fotokunst aus Kanada : Neuer Berliner Kunstverein, 15. Januar bis 27. Februar 2005; Kunstsammlungen der Städtischen Museen Zwickau, 3. April bis 16. Mai 2005; Kunstmuseum Heidenheim, 24. Juli bis 11. September 2005; Städtische Galerie Waldkraiburg, 24. November bis 22. Januar 2006

    Books
    Close

    Bookmarks

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

    Heidelberg: Ed. Braus im Wachter-Verl. [u.a.], 2005

  8. Tolnay, Alexander [Editor]; Quatmann, Christian [Other]; Rennison, Lucinda [Other] ; Neuer Berliner Kunstverein, Stadtgalerie Kiel, Galerie der Stadt Sindelfingen, Ausstellung Date Line - Zeitgenössische Kunst des Pazifik 2007 - 2008 Berlin u.a

    Date line : zeitgenössische Kunst des Pazifik ; contemporary art from the Pacific ; [anlässlich der Ausstellung Date Line - Zeitgenössische Kunst des Pazifik, Contemporary Art From the Pacific, Neuer Berliner Kunstverein, 8. September - 21. Oktober 2007, Stadtgalerie Kiel, 26. Januar - 24. März 2008, Galerie der Stadt Sindelfingen, 20. April - 22. Juni 2008]

    Books
    Close

    Bookmarks

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

    Ostfildern: Hatje Cantz, 2007

  10. Murphy, Bernice [Other]; Brassington, Pat [Other]; Quatmann, Christian [Other] ; Neuer Berliner Kunstverein, Kulturzentrum Stuttgart, Kunstsammlungen Chemnitz, Kunstsammlungen Chemnitz, Städtische Museen Schloss Hardenberg Velbert

    Zeitgenössische Fotokunst aus Australien : [Pat Brassington ... Neuer Berliner Kunstverein 9. September bis 22. Oktober 2000 ... Kulturzentrum der Stadt Stuttgart 20. März bis 29. April 2001]

    Books
    Close

    Bookmarks

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

    Heidelberg: Ed. Braus, 2000

  12. Rothko, Mark [Author] ; Rothko, Christopher [Editor]; Schneemann, Peter J. [Other]; Quatmann, Christian [Translator]; Quatmann, Christian [Other]

    Die Wirklichkeit des Künstlers : Texte zur Malerei

    Books
    Close

    Bookmarks

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

    München: Beck, c 2005

  14. Hensel, Christian; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim; Volk, Matthias

    The probabilistic model checker Storm

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Springer Science and Business Media LLC, 2022

    Published in: International Journal on Software Tools for Technology Transfer

  15. Quatmann, Tim; Dehnert, Christian; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter

    Automated Technology for Verification and Analysis: Parameter Synthesis for Markov Models: Faster Than Ever

    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, 2016

    Published in: Automated Technology for Verification and Analysis

  17. Hahn, Ernst Moritz; Hartmanns, Arnd; Hensel, Christian; Klauck, Michaela; Klein, Joachim; Křetínský, Jan; Parker, David; Quatmann, Tim; Ruijters, Enno; Steinmetz, Marcel

    Tools and Algorithms for the Construction and Analysis of Systems: The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models : (QComp 2019 Competition Report) : (QComp 2019 Competition Report)

    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, 2019

    Published in: Tools and Algorithms for the Construction and Analysis of Systems