کتاب های Ina
Modeling in Systems Biology: The Petri Net Approach
Ina Koch, Falk Schreiber (auth.), Ina Koch, Wolfgang Reisig, Falk Schreiber (eds.), 2011
Modeling in Systems Biology: The Petri Net Approach
Ina Koch, Falk Schreiber (auth.), Ina Koch, Wolfgang Reisig, Falk Schreiber (eds.), 2011
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
Make It Ahead: A Barefoot Contessa Cookbook
Ina Garten, 2014
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
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
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014
Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer, 2014
Ina May’s Guide to Childbirth
Ina May Gaskin, 2008
Model-Driven Testing- Using the UML Testing Profile
Paul Baker, Zhen Ru Dai, Jens Grabowski, Ina Schieferdecker, Clay Williams, 2009
Model-Driven Testing- Using the UML Testing Profile
Paul Baker, Zhen Ru Dai, Jens Grabowski, Ina Schieferdecker, Clay Williams, 2010
Model-Driven Testing: Using the Uml Testing Profile
Paul Baker, Zhen Ru Dai, Jens Grabowski, Ina Schieferdecker, Clay Williams, 2007
Model-Driven Testing: Using the UML Testing Profile
Paul Baker, Zhen Ru Dai, Jens Grabowski, Ina Schieferdecker, Clay Williams, 2007
Model Driven Architecture – Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings
Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack (auth.), Ina Schieferdecker, Alan Hartman (eds.), 2008
EEG -Überwachung des Intensivpatienten
Prof. Dr. med. Ina Pichlmayr, Dr. med. Peter Lehmkuhl (auth.), 1988
EEG Atlas for Anesthesiologists
Professor Dr. Ina Pichlmayr, Dr. Peter Lehmkuhl, Dr. Ulrich Lips (auth.), 1987
EEG-Atlas fur Anasthesisten
Professor Dr. Ina Pichlmayr (auth.), 1985
Barefoot Contessa at Home
Ina Garten, 2011
Barefoot Contessa Back to Basics
Ina Garten, 2011
Barefoot Contessa Family Style
Ina Garten, 2011
Barefoot Contessa Foolproof: Recipes You Can Trust
Ina Garten, 2012
Barefoot Contessa Foolproof: Recipes You Can Trust
Ina Garten, 2012
Barefoot in Paris
Ina Garten, 2011
