نتایج جستجو
برای Mario Pivk (eds.)، صفحه ۱۳۷ از ۱,۶۵۲ در بین ۴۱,۲۹۴ کتاب.
PDF
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.), 2009PDF
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.), 2009PDF
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.), 2014PDF
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.), 2014DJVU
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
Hartmut Ehrig (auth.), Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (eds.), 2004PDF
Low Reynolds Number Aerodynamics: Proceedings of the Conference Notre Dame, Indiana, USA, 5–7 June 1989
Mark Drela (auth.), Thomas J. Mueller (eds.), 1989PDF
Multi-Carrier Systems & Solutions 2009
Marco Luise, Francesca Zanier (auth.), Simon Plass, Armin Dammann, Stefan Kaiser, Khaled Fazel (eds.), 2009PDF
Nanoalloys: Synthesis, Structure and Properties
Christophe Petit, Vincent Repain (auth.), Damien Alloyeau, Christine Mottet, Christian Ricolleau (eds.), 2012PDF
Neurosurgical Re-Engineering of the Damaged Brain and Spinal Cord
Yukihiko Kayama, Y. Koyama (auth.), Prof. Y. Katayama (eds.), 2003PDF
Parallel Computational Fluid Dynamics 2008: Parallel Numerical Methods, Software Development and Applications
Tomoaki Kunugi, Shin-ichi Satake, Yasuo Ose, Hiroyuki Yoshida, Kazuyuki Takase (auth.), Damien Tromeur-Dervout, Gunther Brenner, David R. Emerson, Jocelyne Erhel (eds.), 2011PDF
Parallel Computational Fluid Dynamics 2008: Parallel Numerical Methods, Software Development and Applications
Tomoaki Kunugi, Shin-ichi Satake, Yasuo Ose, Hiroyuki Yoshida, Kazuyuki Takase (auth.), Damien Tromeur-Dervout, Gunther Brenner, David R. Emerson, Jocelyne Erhel (eds.), 2011PDF
Parallel Computational Fluid Dynamics 2008: Parallel Numerical Methods, Software Development and Applications
Tomoaki Kunugi, Shin-ichi Satake, Yasuo Ose, Hiroyuki Yoshida, Kazuyuki Takase (auth.), Damien Tromeur-Dervout, Gunther Brenner, David R. Emerson, Jocelyne Erhel (eds.), 2011PDF
Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
Filippo Bonchi, Georgiana Caltais, Damien Pous (auth.), Chung-chieh Shan (eds.), 2013PDF
Radiation Damage in Biomolecular Systems
Léon Sanche (auth.), Gustavo García Gómez-Tejedor, Martina Christina Fuss (eds.), 2012PDF
Radiation damage in biomolecular systems
Léon Sanche (auth.), Gustavo García Gómez-Tejedor, Martina Christina Fuss (eds.), 2012PDF
Re-Engineering of the Damaged Brain and Spinal Cord: Evidence-Based Neurorehabilitation
V. Hömberg (auth.), Univ.-Prof. Dr. Klaus R. H. von Wild (eds.), 2005PDF
Requirements Engineering: Foundation for Software Quality: 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings
Soren Lauesen (auth.), Björn Regnell, Daniela Damian (eds.), 2012PDF
Requirements Engineering: Foundation for Software Quality: 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings
Soren Lauesen (auth.), Björn Regnell, Daniela Damian (eds.), 2012PDF
Requirements Engineering: Foundation for Software Quality: 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings
Soren Lauesen (auth.), Björn Regnell, Daniela Damian (eds.), 2012PDF
Soft Computing in Software Engineering
Carlo Bellettini, Maria Grazia Fugini (auth.), Prof. Ernesto Damiani, Mauro Madravio, Prof. Lakhmi C. Jain (eds.), 2004PDF
Tissue Engineering: Computer Modeling, Biofabrication and Cell Behavior
Swathi Damaraju, Neil A. Duncan (auth.), Paulo Rui Fernandes, Paulo Jorge Bartolo (eds.), 2014PDF
Visioning and engineering the knowledge society & best practices for the knowledge society : proceedings
Miltiadis D. Lytras, Ernesto Damiani, John M. Carroll, Robert D. Tennyson, David Avison, Ambjörn Naeve, Adrian Dale, Paul Lefrere, Felix Tan (eds), 2009PDF
Visioning and Engineering the Knowledge Society. A Web Science Perspective: Second World Summit on the Knowledge Society, WSKS 2009, Chania, Crete, Greece, September 16-18, 2009. Proceedings
Renate Motschnig, Tomáš Pitner (auth.), Miltiadis D. Lytras, Ernesto Damiani, John M. Carroll, Robert D. Tennyson, David Avison, Ambjörn Naeve, Adrian Dale, Paul Lefrere, Felix Tan, Janice Sipior, Gottfried Vossen (eds.), 2009DJVU
Wavelet methods in mathematical analysis and engineering
Alain Damlamian; Stéphane Jaffard(eds.), 2010PDF
