Hermanns, Holger books & textbook
The Sword: Form and Thought (Armour and Weapons, 9)
Deutscher, Lisa Kaiser, Mirjam Wetzler, Sixt Dolfini, Andrea Lipka, Claus Jaquet, Dr. Daniel Savi, Fabrizio Messner, Florian Yallop, Henry Becker, Holger Tzouriadis, Iason-Eleftherios Petri, Ingo Bunnefeld, Jan-Heinrich Uckelmann, Marion Bauer, Matthias Johannes Mattner, Michael Mölk, Nicole Crellin, Rachel J. Hermann, Raphael Jones, Dr Robert W Maeder, Stefan Roth, Stefan Lehmann, Ulrich Töchterle, Ulrike D'Ercole, Vincenzo
Boydell Press /2019-11-15 Hardcover / 294 Pages
isbn-10: 1783274271 / isbn-13: 9781783274277
CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science, 4137)
Baier, Christel Hermanns, Holger
Springer /2006-08-10 Paperback / 541 Pages
isbn-10: 3540373764 / isbn-13: 9783540373766
Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings (Programming and Software Engineering)
Springer /2020-03-06 Paperback / 300 Pages
isbn-10: 3030430235 / isbn-13: 9783030430238
Interactive Markov Chains
Springer /2002-09-11 Paperback / 229 Pages
isbn-10: 3540442618 / isbn-13: 9783540442615
Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science, 2925)
Baier, Christel Haverkort, Boudewijn R. Hermanns, Holger Katoen, Joost-Pieter Siegle, Markus
Springer /2004-08-11 Paperback / 480 Pages
isbn-10: 3540222650 / isbn-13: 9783540222651
Prähistorische Anthropologie: Leitfaden der Feld- und Labormethoden (German Edition)
Herrmann, Bernd Grupe, Gisela Hummel, Susanne Piepenbrink, Hermann Schutkowski, Holger
Springer /1990-10-15 Paperback / 454 Pages
isbn-10: 3540525416 / isbn-13: 9783540525417
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 3920)
Hermanns, Holger Palsberg, Jens
Springer /2006-03-15 Paperback / 528 Pages
isbn-10: 3540330569 / isbn-13: 9783540330561
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science, 4590)
Springer /2007-07-02 Paperback / 577 Pages
isbn-10: 3540733671 / isbn-13: 9783540733676
Beyond the Oktoberfest: A Portrait of Munich
Pascal Morche Axel Hacke Jurgen Aherns Titus Arnu Thomas Barnthaler Holger Gertz Alois Martin Sebastian Preuss Hermann Unterstoger Jan Weiler Willi Winler Gernot Wuschner
Munchener Ruck/Munich Re Group /2004T Hardcover / 152 Pages
Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings (Lecture Notes in Computer Science)
Hermanns, Holger Sun, Jun Bu, Lei
Springer /2023-12-15 Paperback / 452 Pages
isbn-10: 981998663X / isbn-13: 9789819986637
