81- 100 of 256 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers, Author: Guadalupe Ortiz
QUICK ADD
Advances in Service-Oriented…
by Guadalupe Ortiz, Cuong Tran
#508 in Series
Paperback $54.99
Title: Software Engineering: Specification, Implementation, Verification, Author: Suad Alagic
QUICK ADD
Software Engineering:…
by Suad Alagic
Hardcover $79.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: Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings, Author: Marco Aiello
QUICK ADD
Service-Oriented and Cloud…
by Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski
#9846 in Series
Paperback $54.99
Title: Search Based Software Engineering: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings, Author: Federica Sarro
QUICK ADD
Search Based Software…
by Federica Sarro, Kalyanmoy Deb
#9962 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#9953 in Series
Paperback $54.99
Title: Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, Author: Dirk Beyer
QUICK ADD
Tests and Proofs: 13th…
by Dirk Beyer, Chantal Keller
#11823 in Series
Paperback $54.99
Title: Applied Computer Sciences in Engineering: Third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised Selected Papers, Author: Juan Carlos Figueroa-García
QUICK ADD
Applied Computer Sciences in…
by Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, Roberto Ferro-Escobar
#657 in Series
Paperback $54.99
Title: The Practice of Enterprise Modeling: 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 - November 2, 2018, Proceedings, Author: Robert Andrei Buchmann
QUICK ADD
The Practice of Enterprise…
by Robert Andrei Buchmann, Dimitris Karagiannis, Marite Kirikova
#335 in Series
Paperback $54.99
Title: Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June, Author: Christel Baier
QUICK ADD
Formal Techniques for…
by Christel Baier, Luïs Caires
#10854 in Series
Paperback $54.99
Title: Software Quality. The Future of Systems- and Software Development: 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality. The Future…
by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann
#238 in Series
Paperback $54.99
Title: Parallel Agile - faster delivery, fewer defects, lower cost, Author: Doug Rosenberg
QUICK ADD
Parallel Agile - faster…
by Doug Rosenberg, Barry Boehm, Matt Stephens, Charles Suscheck, Shobha Rani Dhalipathi
Hardcover $44.99
Title: Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, Author: Nan Guan
QUICK ADD
Dependable Software…
by Nan Guan, Joost-Pieter Katoen, Jun Sun
#11951 in Series
Paperback $54.99
Title: Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud: 11th International Conference, SWQD 2019, Vienna, Austria, January 15-18, 2019, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality: The…
by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann
#338 in Series
Paperback $54.99
Title: Transactions on Petri Nets and Other Models of Concurrency IX, Author: Maciej Koutny
QUICK ADD
Transactions on Petri Nets and…
by Maciej Koutny, Serge Haddad, Alex Yakovlev
#8910 in Series
Paperback $54.99
Title: Mastering Software Quality Assurance: Best Practices, Tools and Techniques for Software Developers, Author: Murali Chemuturi
QUICK ADD
Mastering Software Quality…
by Murali Chemuturi
Hardcover $59.95
Title: Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings, Author: Manuel Mazzara
QUICK ADD
Software Technology: Methods…
by Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander Petrenko
#11771 in Series
Paperback $54.99
Title: Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, Author: Einar Broch Johnsen
QUICK ADD
Software Engineering and…
by Einar Broch Johnsen, Ina Schaefer
#10886 in Series
Paperback $54.99
Title: Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Author: Yliès Falcone
QUICK ADD
Runtime Verification: 16th…
by Yliès Falcone, César Sánchez
#10012 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#9952 in Series
Paperback $109.99

Pagination Links