41- 60 of 257 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings, Author: Simon Collart-Dutilleul
QUICK ADD
Reliability, Safety, and…
by Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky
#11495 in Series
Paperback $64.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: Re-Engineering Legacy Software / Edition 1, Author: Chris Birchall
QUICK ADD
Re-Engineering Legacy Software…
by Chris Birchall
Paperback $64.99
Title: Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures, Author: Jonathan P. Bowen
QUICK ADD
Engineering Trustworthy…
by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
#11430 in Series
Paperback $64.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: 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: Concise Guide to Software Testing, Author: Gerard O'Regan
QUICK ADD
Concise Guide to Software…
by Gerard O'Regan
Explore Series
Paperback $54.99
Title: Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, Author: Sebastian Gabmeyer
QUICK ADD
Tests and Proofs: 11th…
by Sebastian Gabmeyer, Einar Broch Johnsen
#10375 in Series
Paperback $54.99
Title: Refinement: Semantics, Languages and Applications, Author: John Derrick
QUICK ADD
Refinement: Semantics,…
by John Derrick, Eerke Boiten
Hardcover $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: Applied Computer Sciences in Engineering: 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings, Author: Juan Carlos Figueroa-García
QUICK ADD
Applied Computer Sciences in…
by Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, José Luis Villa-Ramírez, Roberto Ferro-Escobar
#742 in Series
Paperback $54.99
Title: Risks and Security of Internet and Systems: 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings, Author: Slim Kallel
QUICK ADD
Risks and Security of Internet…
by Slim Kallel, Frédéric Cuppens, Nora Cuppens-Boulahia, Ahmed Hadj Kacem
#12026 in Series
Paperback $54.99
Title: Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proc, Author: Alberto Lluch Lafuente
QUICK ADD
Coordination Models and…
by Alberto Lluch Lafuente, José Proença
#9686 in Series
Paperback $54.99
Title: Product-Focused Software Process Improvement: 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings, Author: Marco Kuhrmann
QUICK ADD
Product-Focused Software…
by Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski
#11271 in Series
Paperback $54.99
Title: Guide to Software Systems Development: Connecting Novel Theory and Current Practice, Author: Clive Rosen
QUICK ADD
Guide to Software Systems…
by Clive Rosen
Hardcover $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: Computer Science - CACIC 2018: 24th Argentine Congress, Tandil, Argentina, October 8-12, 2018, Revised Selected Papers, Author: Patricia Pesado
QUICK ADD
Computer Science - CACIC 2018:…
by Patricia Pesado, Claudio Aciti
#995 in Series
Paperback $54.99
Title: Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, Author: Huaikou Miao
QUICK ADD
Structured Object-Oriented…
by Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan
#12028 in Series
Paperback $54.99
Title: Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers, Author: Jean-Michel Bruel
QUICK ADD
Software Engineering Aspects…
by Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer
#11350 in Series
Paperback $54.99
Title: Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, Author: Zhenhua Duan
QUICK ADD
Structured Object-Oriented…
by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
#11392 in Series
Paperback $54.99

Pagination Links