نتایج جستجو

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.), 2014
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.), 2004
Low Reynolds Number Aerodynamics: Proceedings of the Conference Notre Dame, Indiana, USA, 5–7 June 1989
Mark Drela (auth.), Thomas J. Mueller (eds.), 1989
Multi-Carrier Systems & Solutions 2009
Marco Luise, Francesca Zanier (auth.), Simon Plass, Armin Dammann, Stefan Kaiser, Khaled Fazel (eds.), 2009
Nanoalloys: Synthesis, Structure and Properties
Christophe Petit, Vincent Repain (auth.), Damien Alloyeau, Christine Mottet, Christian Ricolleau (eds.), 2012
Neurosurgical Re-Engineering of the Damaged Brain and Spinal Cord
Yukihiko Kayama, Y. Koyama (auth.), Prof. Y. Katayama (eds.), 2003
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.), 2011
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.), 2011
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.), 2011
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.), 2013
Radiation Damage in Biomolecular Systems
Léon Sanche (auth.), Gustavo García Gómez-Tejedor, Martina Christina Fuss (eds.), 2012
Radiation damage in biomolecular systems
Léon Sanche (auth.), Gustavo García Gómez-Tejedor, Martina Christina Fuss (eds.), 2012
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.), 2005
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.), 2012
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.), 2012
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.), 2012
Soft Computing in Software Engineering
Carlo Bellettini, Maria Grazia Fugini (auth.), Prof. Ernesto Damiani, Mauro Madravio, Prof. Lakhmi C. Jain (eds.), 2004
Tissue Engineering: Computer Modeling, Biofabrication and Cell Behavior
Swathi Damaraju, Neil A. Duncan (auth.), Paulo Rui Fernandes, Paulo Jorge Bartolo (eds.), 2014
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), 2009
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.), 2009
Wavelet methods in mathematical analysis and engineering
Alain Damlamian; Stéphane Jaffard(eds.), 2010
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
Richard Hull, Elio Damaggio, Fabiana Fournier (auth.), Mario Bravetti, Tevfik Bultan (eds.), 2011
Arch Dams: Designing and Monitoring for Safety
José O. Pedro (eds.), 1999
Fracture Mechanics of Ceramics: Fracture Fundamentals, High-Temperature Deformation, Damage, and Design
J. T. Dickinson, S. C. Langford, L. C. Jensen (auth.), R. C. Bradt, D. P. H. Hasselman, D. Munz, M. Sakai, V. Ya. Shevchenko (eds.), 1992