انتشارات Sax Verlag

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.), 2009
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.), 2009
Guidelines for Applying Cohesive Models to the Damage Behaviour of Engineering Materials and Structures
Karl-Heinz Schwalbe, Ingo Scheider, Alfred Cornec (auth.), 2013
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
Modeling of Material Damage and Failure of Structures: Theory and Applications
Professor Dr. Jacek J. Skrzypek, Dr. Artur Ganczarski (auth.), 1999
Nanoalloys: Synthesis, Structure and Properties
Christophe Petit, Vincent Repain (auth.), Damien Alloyeau, Christine Mottet, Christian Ricolleau (eds.), 2012
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
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
Shock and Damage Models in Reliability Theory
Toshio Nakagawa PhD (auth.), 2007
Soft Computing in Software Engineering
Carlo Bellettini, Maria Grazia Fugini (auth.), Prof. Ernesto Damiani, Mauro Madravio, Prof. Lakhmi C. Jain (eds.), 2004
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
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
Digital Terrestrial Television Broadcasting: Designs, Systems and Operation
Paul Dambacher (auth.), 1998
Practical Formal Methods for Hardware Design
Carlos Delgado Kloos, Werner Damm, Juan Goicolea (auth.), Carlos Delgado Kloos, Werner Damm (eds.), 1997
Rational Drug Design
Dave Doherty, Bill Dunn, Graham Richards, Doug Rohrer, A. J. Hopfinger, W. J. Howe (auth.), Donald G. Truhlar, W. Jeffrey Howe, Anthony J. Hopfinger, Jeff Blaney, Richard A. Dammkoehler (eds.), 1999
Hydraulic Control Systems — Design and Analysis of Their Dynamics
Peter Dransfield Ph.D. (eds.), 1981