1- 20 of 56 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, Author: Alessandro Cimatti
QUICK ADD
Software Engineering and…
by Alessandro Cimatti, Marjan Sirjani
#10469 in Series
Paperback $54.99
Title: Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers, Author: Cong Tian
QUICK ADD
Structured Object-Oriented…
by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
#10795 in Series
Paperback $54.99
Title: NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings, Author: Aaron Dutle
QUICK ADD
NASA Formal Methods: 10th…
by Aaron Dutle, César Muñoz, Anthony Narkawicz
#10811 in Series
Paperback $54.99
Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings, Author: Alessandro Fantechi
QUICK ADD
Reliability, Safety, and…
by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
#10598 in Series
Paperback $54.99
Title: Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, Author: Kim Guldstrand Larsen
QUICK ADD
Dependable Software…
by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
#10606 in Series
Paperback $54.99
Title: SDL 2017: Model-Driven Engineering for Future Internet: 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings, Author: Tibor Csöndes
QUICK ADD
SDL 2017: Model-Driven…
by Tibor Csöndes, Gábor Kovács, György Réthy
#10567 in Series
Paperback $54.99
Title: Model and Data Engineering: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings, Author: Yassine Ouhammou
QUICK ADD
Model and Data Engineering:…
by Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche
#10563 in Series
Paperback $54.99
Title: Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration: International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environm, Author: Kang Li
QUICK ADD
Advanced Computational Methods…
by Kang Li, Yusheng Xue, Shumei Cui, Qun Niu, Zhile Yang
#763 in Series
Paperback $109.99
Title: Software Engineering in Health Care: 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers, Author: Michaela Huhn
QUICK ADD
Software Engineering in Health…
by Michaela Huhn, Laurie Williams
#9062 in Series
Paperback $54.99
Title: Modelling Foundations and Applications: 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, Author: Anthony Anjorin
QUICK ADD
Modelling Foundations and…
by Anthony Anjorin, Huáscar Espinoza
#10376 in Series
Paperback $54.99
Title: Open Source Starter Guide for IBM i Developers, Author: Pete Helgren
QUICK ADD
Open Source Starter Guide for…
by Pete Helgren
Paperback $59.95
Title: Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Select, Author: Anna-Lena Lamprecht
QUICK ADD
Leveraging Applications of…
by Anna-Lena Lamprecht
#683 in Series
Paperback $54.99
Title: Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems: 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part III, Author: Lin Zhang
QUICK ADD
Theory, Methodology, Tools and…
by Lin Zhang, Xiao Song, Yunjie Wu
#645 in Series
Paperback $54.99
Title: Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems: 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part II, Author: Lin Zhang
QUICK ADD
Theory, Methodology, Tools and…
by Lin Zhang, Xiao Song, Yunjie Wu
#644 in Series
Paperback $109.99
Title: Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems: 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part IV, Author: Lin Zhang
QUICK ADD
Theory, Methodology, Tools and…
by Lin Zhang, Xiao Song, Yunjie Wu
#646 in Series
Paperback $54.99
Title: Feature-Oriented Software Product Lines: Concepts and Implementation, Author: Sven Apel
QUICK ADD
Feature-Oriented Software…
by Sven Apel, Don Batory, Christian Kästner, Gunter Saake
Paperback $69.99
Title: Evolving Software Systems, Author: Tom Mens
QUICK ADD
Evolving Software Systems
by Tom Mens, Alexander Serebrenik, Anthony Cleve
Paperback $109.99
Title: Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, Author: Perdita Stevens
QUICK ADD
Fundamental Approaches to…
by Perdita Stevens, Andrzej Wasowski
#9633 in Series
Paperback $54.99
Title: Group Policy: Fundamentals, Security, and the Managed Desktop / Edition 3, Author: Jeremy Moskowitz
QUICK ADD
Group Policy: Fundamentals,…
by Jeremy Moskowitz
Paperback $59.99
Title: Agile Software Development: Best Practices for Large Software Development Projects, Author: Thomas Stober
QUICK ADD
Agile Software Development:…
by Thomas Stober, Uwe Hansmann
Paperback $59.99

Pagination Links