Download Holger Herma (auth.) pdf ebooks




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


18 books found also search"Holger Herma (auth.)" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
144060 Byron Cook (auth.), Werner Damm, Holger Hermanns (eds.) Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings Springer-Verlag Berlin Heidelberg 2007 English 0 b pdf GET
147112 Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee (auth.), Christel Baier, Holger Hermanns (eds.) CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings Springer-Verlag Berlin Heidelberg 2006 English 0 b pdf GET
961693 Holger Hermanns, Holger Wiechmann (auth.), Christoph Grimm, Peter Neumann, Stefan Mahlknecht (eds.) Embedded Systems for Smart Appliances and Energy Management Springer-Verlag New York 2013 English 0 b pdf GET
1141877 Prof. Dr. Christian Graf von Krockow, Prof. Dr. Hans-Hermann Hartwich, Prof. Dr. Bernhard Schäfers, Prof. Dr. Norbert Reich, Dr. Hartmut Klatt, Prof. Dr. Walter Gagel, Holger Thielemann, Carl Deichmann (auth.) Grundgesetz und sozialer Wandel — zum 30. Jahrestag der Verfassung der Bundesrepublik Deutschland VS Verlag für Sozialwissenschaften 1978 German 0 b pdf GET
1092001 Hermann Hausmann (auth.), Dr. med. habil. Dr. phil. Jürgen Konert, Priv.-Doz. Dr. med. Holger G. Dietrich (eds.) Illustrierte Geschichte der Urologie Springer-Verlag Berlin Heidelberg 2004 German 0 b pdf GET
145182 Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.) Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures Springer-Verlag Berlin Heidelberg 2001 English 0 b pdf GET
945429 Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.) Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures Springer-Verlag Berlin Heidelberg 2001 English 0 b pdf GET
1090609 Holger Herma (auth.) Liebe und Authentizität: Generationswandel in Paarbeziehungen VS Verlag für Sozialwissenschaften 2009 German 0 b pdf GET
453816 Holger Herma Liebe und Authentizitat: Generationswandel in Paarbeziehungen (Kultur und gesellschaftliche Praxis) German 0 b pdf GET
1007623 Prof. Dr. Bernd Herrmann, Priv.-Doz. Dr. Gisela Grupe, Dipl.-Biol. Susanne Hummel, Dipl.-Biol. Hermann Piepenbrink, Dr. Holger Schutkowski (auth.) Prähistorische Anthropologie: Leitfaden der Feld- und Labormethoden Springer-Verlag Berlin Heidelberg 1990 German 0 b pdf GET
145647 André Schiper (auth.), Holger Hermanns, Roberto Segala (eds.) Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings Springer-Verlag Berlin Heidelberg 2002 English 0 b pdf GET
1133925 André Schiper (auth.), Holger Hermanns, Roberto Segala (eds.) Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings Springer-Verlag Berlin Heidelberg 2002 English 0 b pdf GET
790218 Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.) Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings Springer-Verlag Berlin Heidelberg 2011 English 0 b pdf GET
872210 Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.) Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings Springer-Verlag Berlin Heidelberg 2011 English 0 b pdf GET
146532 Somesh Jha, Stefan Schwoon, Hao Wang, Thomas Reps (auth.), Holger Hermanns, Jens Palsberg (eds.) Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings Springer-Verlag Berlin Heidelberg 2006 English 0 b pdf GET
911565 Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.) Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings Springer-Verlag Berlin Heidelberg 2012 English 0 b pdf GET
1092257 Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.) Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings Springer-Verlag Berlin Heidelberg 2012 English 0 b pdf GET
185780 Ana Sokolova, Erik P. de Vink (auth.), Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.) Validation of Stochastic Systems: A Guide to Current Research Springer-Verlag Berlin Heidelberg 2004 English 0 b pdf GET

If no results, Please search Holger Herma (auth.) here Again

 Патянин С.В.
Пахомов Н.А.
Пахомов Н.А.
Платонов А.Б.
Полуян В.В.
Полуян В.В.
Ред Антонов С.П
Ред Арбузов В.В
Ред Арбузов В.В
Ред Титушкин С.И.
Ред Титушкин С.И.
Рубанов О.А.
Рубанов О.А.
Рубанов О.А.
Рубанов О.А.
Титушкин С.И.
Титушкин С.И.
Титушкин С.И.
Титушкин С.И.
Трубицин С.Б.
Трубицын С.Б.
Трубицын С.Б.
Трубицын С.Б.
Трубицын С.Б.
Трубицын С.Б.
Трубицын С.Б.
Трубицын С.Б.
Трубицын С.Б.
Трубицын СБ.
Трусов Г.М.
 Geoffrey P Dunn, Alan G Johnson
Martin Galler
Gang Feng Rogelio Lozano
Jingming Li Salina, Pascal Salina
John Crocker
Julie Adair King
George Pitcher
Marc Ebner
Petri M. Pihko
John Dixon
Harry L. Hurd, Abolghassem Miamee
A. R. S. Bramwell
P. G. Wodehouse
Lemuel Ibbotson
Tariq Muneer
Rosemary K. Newman, C. Walter Newman
Adrian Gostick, Chester Elton
Anthony Fejfar
Masanobu Fukuoka ; versión española por Antonio Núñez Cachaza, Manuel Núñez de Murga, Javier Núñez de Murga.
M. Valcarcel, Luque de Castro
Razeen Sally
Louis J. Salome
Zoubir Mammeri
Robert Alexy (auth.), Prof. Giorgio Bongiovanni, Prof. Giovanni Sartor, Dr. Chiara Valentini (eds.)
M. Welleda Baldoni, Ciro Ciliberto, G.M. Piacentini Cattaneo
Jean Elbaum, Deborah Benson
Velvel Pasternak
Andrea Bertolini
Harold Bloom
Gerhard Herzberg