 | | | | |
Bild | | | | Bestellen |
|
|
|
Formal Methods for Computational Systems Biology (1 Angebot) Regular Lectures.- Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions.- Pathway Logic.- Formal Cell Biology in Biocham.- Hierarchical Modeling for Computational Biology.- S... |
Springer Verlag 9783540688921 |
€ 49,99*
pro Stück |
|
|
Formal Methods for Dynamical Systems (1 Angebot) This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems,... |
Springer Verlag 9783642388736 |
€ 46,00*
pro Stück |
|
|
Formal Methods for Eternal Networked Software Systems (1 Angebot) This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems... |
Springer Verlag 9783642214547 |
€ 49,99*
pro Stück |
|
|
Formal Methods for Executable Software Models (1 Angebot) 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 |
Springer Verlag 9783319073163 |
€ 49,99*
pro Stück |
|
|
Formal Methods for Industrial Applications (1 Angebot) This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally sup... |
Springer Verlag 9783540619291 |
€ 99,99*
pro Stück |
|
|
Formal Methods for Industrial Critical Systems (1 Angebot) This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in... |
Springer Verlag 9783540797067 |
€ 49,99*
pro Stück |
|
|
Formal Methods for Industrial Critical Systems (1 Angebot) The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are in... |
Springer Verlag 9783642032394 |
€ 49,00*
pro Stück |
|
|
Formal Methods for Industrial Critical Systems (1 Angebot) This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 p... |
Springer Verlag 9783642045691 |
€ 49,99*
pro Stück |
|
|
Formal Methods for Industrial Critical Systems (1 Angebot) This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presente... |
Springer Verlag 9783642244308 |
€ 49,99*
pro Stück |
|
|
Formal Methods for Industrial Critical Systems (1 Angebot) This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in Sept... |
Springer Verlag 9783642410093 |
€ 46,00*
pro Stück |
|
|
Formal Methods for Industrial Critical Systems (1 Angebot) This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presente... |
Springer Verlag 9783642324680 |
€ 46,00*
pro Stück |
|
|
Formal Methods for Model-Driven Engineering (1 Angebot) This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems... |
Springer Verlag 9783642309816 |
€ 49,99*
pro Stück |
|
|
Formal Methods for Multicore Programming (1 Angebot) This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems,... |
Springer Verlag 9783319189406 |
€ 48,00*
pro Stück |
|
|
|
Springer Verlag 9783319896496 |
€ 99,99*
pro Stück |
|
|
|
Springer Verlag 9783319896526 |
€ 84,99*
pro Stück |
|
|
