کتاب های H. Kirchner
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.), 2007
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.), 2007
Augenärztliche Operationen
J. Draeger, M. Kirchner (auth.), G. Mackensen Prof. (em.) Dr. Dr. sc.h.c., H. Neubauer Prof. (em.) Dr., F. Bigar Prof. Dr., J. Draeger Prof. Dr., H. Hanselmayer Prof. Dr., W. F. Henschel Prof. Dr., F. Hoffmann Prof. Dr., H. Hofmann Prof. (em.) Dr., M. Kirchner, G. Kommerell Prof. Dr., O.-E. Lund Prof. Dr., K. Matthes Dr., G. O. H. Naumann Prof. Dr., W. Rüssmann Prof. Dr., H. Sautter Prof. (em.) Dr. Dr. med. h.c., R. Sundmacher Prof. Dr., K. Ullerich Prof. Dr., J. Vossen Dr. (eds.), 1988
Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings
David Aspinall, Donald Sannella (auth.), Hélène Kirchner, Christophe Ringeissen (eds.), 2002
Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings
David Aspinall, Donald Sannella (auth.), Hélène Kirchner, Christophe Ringeissen (eds.), 2002
Messung von Ressourceneffizienz mit der ESSENZ-Methode: Integrierte Methode zur ganzheitlichen Bewertung
Vanessa Bach, Dr. Markus Berger, Dr. Martin Henßler, Dr. Martin Kirchner, Stefan Leiser, Lisa Mohr, Dr. Elmar Rother, Dr. Klaus Ruhland, Dr. Laura Schneider, Dr.-Ing. Ladji Tikana, Dr. Wolfgang Volkhausen, Frank Walachowicz, Prof. Dr. Matthias Finkbeiner (auth.), 2016
A Finite Element Method for Plane Stress Problems with Large Elastic and Plastic Deformations
Kirchner E., Reese St., Wriggers P., 1996
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration
Reynald Af feldt, Hubert Comon-Lundh (auth.), Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada (eds.), 2009
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration
Reynald Af feldt, Hubert Comon-Lundh (auth.), Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada (eds.), 2009
Progress in Immunology: Vol. VII: Proceedings of the 7th International Congress Immunology Berlin 1989
P. Marrack, A. M. Pullen, A. Herman, J. Callahan, Y. Choi, W. Potts, E. Wakeland (auth.), Fritz Melchers, E. D. Albert, H. von Boehmer, M. P. Dierich, L. Du Pasquier, K. Eichmann, D. Gemsa, O. Götze, J. R. Kalden, S. H. E. Kaufmann, H. Kirchner, K. Resch, G. Riethmüller, A. Schimpl, C. Sorg, M. Steinmetz, H. Wagner, H. G. Zachau (eds.), 1989
Atom- und Molekularphysik: 1. Teil Atome und Ionen
E. v. Angerer, L. Biermann, U. Cappeller, W. Döring, E. U. Franck, R. Glocker, W. Hanle (auth.), E. v. Angerer, L. Biermann, U. Cappeller, W. Döring, E. U. Franck, R. Glocker, W. Hanle, G. Joos, F. Kirchner, W. Klemm, A. Saur, E. Saur, U. Stille, H. Stuart, E. Wicke, Arnold Eucken (eds.), 2013
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
Burkhard Monien, Dominic Dumrauf, Tobias Tscheuschner (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.), 2010
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
Burkhard Monien, Dominic Dumrauf, Tobias Tscheuschner (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.), 2010
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Pierre Fraigniaud (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.), 2010
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Pierre Fraigniaud (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.), 2010
Surveillance and Threat Detection. Prevention versus Mitigation
Richard Kirchner (Auth.), 2014
Electronic Effects in Organic Chemistry
Barbara Kirchner (eds.), 2014
Denkschrift über die seit dem Jahre 1903 unter Mitwirkung des Reichs Erfolgte Systematische Typhusbekämpfung im Südwesten Deutschlands
Professor Dr. Martin Kirchner, 1912
