انتشارات Springer Berlin Heidelberg, Berlin, Heidelberg

Distributed Algorithms for Message-Passing Systems
Michel Raynal, 2013
Gentechnisches Labor – Leitfaden für Wissenschaftler
Kirsten Bender, Petra Kauch, 2019
Combinatorial Search: From Algorithms to Systems
Youssef Hamadi, 2013
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012
Geographic Information Metadata for Spatial Data Infrastructures: Resources, Interoperability and Information Retrieval
Dr. Javier Nogueras-Iso, Dr. F. Javier Zarazaga-Soria, Dr. Pedro R. Muro-Medrano (auth.), 2005
Geoinformation Metadata in INSPIRE and SDI: Understanding. Editing. Publishing
Leszek Litwin, Maciej Rossa (auth.), 2011
Hamiltonian and Lagrangian Flows on Center Manifolds: with Applications to Elliptic Variational Problems
Alexander Mielke (auth.), 1991
From Divergent Power Series to Analytic Functions: Theory and Application of Multisummable Power Series
Werner Balser (auth.), 1994
From Divergent Power Series to Analytic Functions: Theory and Application of Multisummable Power Series
Werner Balser (auth.), 1994
Advances in Computer Science and Engineering: 13th International CSI Computer Conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 Revised Selected Papers
Mohammad Taheri, Elham Chitsaz, Seraj D. Katebi, Mansoor Z. Jahromi (auth.), Hamid Sarbazi-Azad, Behrooz Parhami, Seyed-Ghassem Miremadi, Shaahin Hessabi (eds.), 2009
Algen und Problematica aus dem Perm Süd-Anatoliens und Irans
Helmut Flügel (auth.), 1963
U Uranium: Behavior of Uranium Fuels in Nuclear Reactors. Reprocessing of Spent Nuclear Fuels
Helmut Aßmann, Erich Merz, Aristides Naoumidis, Hubertus Nickel, Heinz Stehle, Gilbert N. Walton (auth.), Karl-Christian Buschbeck, Cornelius Keller (eds.), 1981
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.), 1990
Meshfree Methods for Partial Differential Equations
I. Babuška, U. Banerjee (auth.), Michael Griebel, Marc Alexander Schweitzer (eds.), 2003
Meshfree Methods for Partial Differential Equations III
Marino Arroyo, Michael Ortiz (auth.), Michael Griebel, Marc A. Schweitzer (eds.), 2007
Meshfree methods for partial differential equations V
Slawomir Milewski, Janusz Orkisz (auth.), Michael Griebel, Marc Alexander Schweitzer (eds.), 2011
Meshfree Methods for Partial Differential Equations V
Slawomir Milewski, Janusz Orkisz (auth.), Michael Griebel, Marc Alexander Schweitzer (eds.), 2011
Meshfree Methods for Partial Differential Equations V
Slawomir Milewski, Janusz Orkisz (auth.), Michael Griebel, Marc Alexander Schweitzer (eds.), 2011
Meshfree Methods for Partial Differential Equations VI
Axel Arnold, Olaf Lenz, Stefan Kesselheim (auth.), Michael Griebel, Marc Alexander Schweitzer (eds.), 2013
Meshfree methods for partial differential equations VI
Axel Arnold, Olaf Lenz, Stefan Kesselheim (auth.), Michael Griebel, Marc Alexander Schweitzer (eds.), 2013
Meshfree Particle Methods
Professor Shaofan Li, Wing Kam Liu (auth.), 2004
Control of Electrical Drives
Prof. Dr.-Ing. Dr. h.c. Werner Leonhard (auth.), 1996