901- 920 of 2875 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Introduction to the Simulation of Dynamics Using Simulink, Author: Michael A. Gray
QUICK ADD
Introduction to the Simulation…
by Michael A. Gray
Explore Series
Paperback $105.00
Title: Risk Assessment and Risk-Driven Quality Assurance: 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers, Author: Jürgen Großmann
QUICK ADD
Risk Assessment and…
by Jürgen Großmann (Editor), Michael Felderer (Editor), Fredrik Seehusen (Editor)
#10224 in Series
Paperback $54.99
Title: Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers, Author: Shaoying Liu
QUICK ADD
Structured Object-Oriented…
by Shaoying Liu (Editor), Zhenhua Duan (Editor), Cong Tian (Editor), Fumiko Nagoya (Editor)
#10189 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, Author: Olga Kouchnarenko
QUICK ADD
Formal Aspects of Component…
by Olga Kouchnarenko (Editor), Ramtin Khosravi (Editor)
#10231 in Series
Paperback $54.99
Title: NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, Author: Clark Barrett
QUICK ADD
NASA Formal Methods: 9th…
by Clark Barrett (Editor), Misty Davies (Editor), Temesghen Kahsai (Editor)
#10227 in Series
Paperback $54.99
Title: Evaluation of Novel Approaches to Software Engineering: 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers, Author: Leszek A. Maciaszek
QUICK ADD
Evaluation of Novel Approaches…
by Leszek A. Maciaszek (Editor), Joaquim Filipe (Editor)
#703 in Series
Paperback $54.99
Title: Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings, Author: Martin Fränzle
QUICK ADD
Dependable Software…
by Martin Fränzle (Editor), Deepak Kapur (Editor), Naijun Zhan (Editor)
#9984 in Series
Paperback $54.99
Title: Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, Author: Kazuhiro Ogata
QUICK ADD
Formal Methods and Software…
by Kazuhiro Ogata (Editor), Mark Lawford (Editor), Shaoying Liu (Editor)
#10009 in Series
Paperback $54.99
Title: Implementing DevOps with Microsoft Azure: Automate your deployments and incorporate the DevOps culture, Author: Mitesh Soni
QUICK ADD
Implementing DevOps with…
by Mitesh Soni
Paperback $54.99
Title: Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Author: Marieke Huisman
QUICK ADD
Fundamental Approaches to…
by Marieke Huisman (Editor), Julia Rubin (Editor)
#10202 in Series
Paperback $54.99
Title: Supercomputing: Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers, Author: Vladimir Voevodin
QUICK ADD
Supercomputing: Second Russian…
by Vladimir Voevodin (Editor), Sergey Sobolev (Editor)
#687 in Series
Paperback $54.99
Title: Bridging the Gap between Requirements Engineering and Software Architecture: A Problem-Oriented and Quality-Driven Method, Author: Azadeh Alebrahim
QUICK ADD
Bridging the Gap between…
by Azadeh Alebrahim
Paperback $99.99
Title: Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures, Author: Jonathan P. Bowen
QUICK ADD
Engineering Trustworthy…
by Jonathan P. Bowen (Editor), Zhiming Liu (Editor), Zili Zhang (Editor)
#10215 in Series
Paperback $54.99
Title: Functional Software Size Measurement Methodology with Effort Estimation and Performance Indication, Author: Jasveer Singh
QUICK ADD
Functional Software Size…
by Jasveer Singh
Paperback $134.95
Title: FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, Author: John Fitzgerald
QUICK ADD
FM 2016: Formal Methods: 21st…
by John Fitzgerald (Editor), Constance Heitmeyer (Editor), Stefania Gnesi (Editor), Anna Philippou (Editor)
#9995 in Series
Paperback $54.99
Title: Large-Scale Simulation: Models, Algorithms, and Applications, Author: Dan Chen
QUICK ADD
Large-Scale Simulation: Models…
by Dan Chen, Lizhe Wang, Jingying Chen
Paperback $110.00
Title: Netcentric System of Systems Engineering with DEVS Unified Process, Author: Saurabh Mittal
QUICK ADD
Netcentric System of Systems…
by Saurabh Mittal, José L. Risco Martín
Explore Series
Paperback $130.00
Title: Requirements Engineering: Foundation for Software Quality: 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings, Author: Paul Grünbacher
QUICK ADD
Requirements Engineering:…
by Paul Grünbacher (Editor), Anna Perini (Editor)
#10153 in Series
Paperback $54.99
Title: Deductive Software Verification - The KeY Book: From Theory to Practice, Author: Wolfgang Ahrendt
QUICK ADD
Deductive Software…
by Wolfgang Ahrendt (Editor), Bernhard Beckert (Editor), Richard Bubel (Editor), Reiner Hähnle (Editor), Peter H. Schmitt (Editor)
#10001 in Series
Paperback $129.99
Title: OpenGeoSys Tutorial: Computational Hydrology II: Groundwater Quality Modeling, Author: Agnes Sachse
QUICK ADD
OpenGeoSys Tutorial:…
by Agnes Sachse, Erik Nixdorf, Eunseon Jang, Karsten Rink, Thomas Fischer
Explore Series
Paperback $54.99

Pagination Links