1- 20 of 227 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Lean DevOps: A Practical Guide to On Demand Service Delivery / Edition 1, Author: Robert Benefield
QUICK ADD
Lean DevOps: A Practical Guide…
by Robert Benefield
Paperback $59.84
Title: Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Author: Ezio Bartocci
QUICK ADD
Runtime Verification: 6th…
by Ezio Bartocci, Rupak Majumdar
#9333 in Series
Paperback $54.99
Title: Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, Author: Manuel Mazzara
QUICK ADD
Software Technologies:…
by Manuel Mazzara, Iulian Ober, Gwen Salaïn
#11176 in Series
Paperback $54.99
Title: Modelling Foundations and Applications: 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings, Author: Andrzej Wasowski
QUICK ADD
Modelling Foundations and…
by Andrzej Wasowski, Henrik Lönn
#9764 in Series
Paperback $54.99
Title: Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, Author: Nir Piterman
QUICK ADD
Hardware and Software:…
by Nir Piterman
#9434 in Series
Paperback $54.99
Title: Human-Centered Software Engineering: 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018, Revised Selected Papers, Author: Cristian Bogdan
QUICK ADD
Human-Centered Software…
by Cristian Bogdan, Kati Kuusinen, Marta Kristïn Lïrusdïttir, Philippe Palanque, Marco Winckler
#11262 in Series
Paperback $54.99
Title: Service-Oriented Computing: 17th International Conference, ICSOC 2019, Toulouse, France, October 28-31, 2019, Proceedings, Author: Sami Yangui
QUICK ADD
Service-Oriented Computing:…
by Sami Yangui, Ismael Bouassida Rodriguez, Khalil Drira, Zahir Tari
#11895 in Series
Paperback $54.99
Title: Service-Oriented Computing - ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers, Author: Khalil Drira
QUICK ADD
Service-Oriented Computing -…
by Khalil Drira, Hongbing Wang, Qi Yu, Yan Wang, Yuhong Yan
#10380 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#11244 in Series
Paperback $54.99
Title: Evaluation of Novel Approaches to Software Engineering: 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected Papers, Author: Leszek A. Maciaszek
QUICK ADD
Evaluation of Novel Approaches…
by Leszek A. Maciaszek, Joaquim Filipe
#599 in Series
Paperback $54.99
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, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
#9995 in Series
Paperback $54.99
Title: Model-Driven Engineering and Software Development: 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papers, Author: Slimane Hammoudi
QUICK ADD
Model-Driven Engineering and…
by Slimane Hammoudi, Luïs Ferreira Pires, Bran Selic
#1161 in Series
Paperback $54.99
Title: Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, Author: Tiago Massoni
QUICK ADD
Formal Methods: Foundations…
by Tiago Massoni, Mohammad Reza Mousavi
#11254 in Series
Paperback $64.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#11245 in Series
Paperback $54.99
Title: Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings, Author: El Hassan Abdelwahed
QUICK ADD
Model and Data Engineering:…
by El Hassan Abdelwahed, Ladjel Bellatreche, Mattïo Golfarelli, Dominique Mïry, Carlos Ordonez
#11163 in Series
Paperback $54.99
Title: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures, Author: Marco Bernardo
QUICK ADD
Formal Methods for the…
by Marco Bernardo, Rocco De Nicola, Jane Hillston
#9700 in Series
Paperback $54.99
Title: Human-Centered and Error-Resilient Systems Development: IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Develop, Author: Cristian Bogdan
QUICK ADD
Human-Centered and…
by Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler
#9856 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, Mark Lawford, Shaoying Liu
#10009 in Series
Paperback $54.99
Title: Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Pro, Author: Hanne Riis Nielson
QUICK ADD
Coordination Models and…
by Hanne Riis Nielson, Emilio Tuosto
#11533 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

Pagination Links