41- 60 of 257 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, Author: Shuvendu Lahiri
QUICK ADD
Runtime Verification: 17th…
by Shuvendu Lahiri, Giles Reger
#10548 in Series
Paperback $54.99
Title: Software Challenges to Exascale Computing: Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings, Author: Amit Majumdar
QUICK ADD
Software Challenges to…
by Amit Majumdar, Ritu Arora
#964 in Series
Paperback $54.99
Title: Risk Assessment and Risk-Driven Testing: First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers, Author: Thomas Bauer
QUICK ADD
Risk Assessment and…
by Thomas Bauer, Jürgen Großmann, Fredrik Seehusen, Ketil Stølen, Marc-Florian Wendland
#8418 in Series
Paperback $44.99
Title: Refinement: Semantics, Languages and Applications, Author: John Derrick
QUICK ADD
Refinement: Semantics,…
by John Derrick, Eerke Boiten
Paperback $54.99
Title: Cloud Computing and Services Science: 6th International Conference, CLOSER 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers, Author: Markus Helfert
QUICK ADD
Cloud Computing and Services…
by Markus Helfert, Donald Ferguson, Victor Méndez Muñoz, Jorge Cardoso
#740 in Series
Paperback $54.99
Title: Software Technologies: 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers, Author: Andreas Holzinger
QUICK ADD
Software Technologies: 9th…
by Andreas Holzinger, Jorge Cardoso, José Cordeiro, Therese Libourel, Leszek A. Maciaszek
#555 in Series
Paperback $54.99
Title: Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings, Author: Radu Calinescu
QUICK ADD
Software Engineering for…
by Radu Calinescu, Felicita Di Giandomenico
#11732 in Series
Paperback $54.99
Title: Software Technologies: 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers, Author: Enrique Cabello
QUICK ADD
Software Technologies: 11th…
by Enrique Cabello, Jorge Cardoso, Andrï Ludwig, Leszek A. Maciaszek, Marten van Sinderen
#743 in Series
Paperback $54.99
Title: Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Ch�teau de Villebrumier, France, May 6-8, 2019, Revised Selected Papers, Author: Jean-Michel Bruel
QUICK ADD
Software Engineering Aspects…
by Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer
#12055 in Series
Paperback $54.99
Title: Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers, Author: Dimitra Giannakopoulou
QUICK ADD
Verified Software: Theories,…
by Dimitra Giannakopoulou, Daniel Kroening
#8471 in Series
Paperback $54.99
Title: Technologies and Innovation: Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings, Author: Rafael Valencia-García
QUICK ADD
Technologies and Innovation:…
by Rafael Valencia-García, Katty Lagos-Ortiz, Gema Alcaraz-Mármol, Javier del Cioppo, Nestor Vera-Lucio
#658 in Series
Paperback $54.99
Title: Service-Oriented Computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings, Author: Quan Z. Sheng
QUICK ADD
Service-Oriented Computing:…
by Quan Z. Sheng, Eleni Stroulia, Samir Tata, Sami Bhiri
#9936 in Series
Paperback $109.99
Title: Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, Author: Nadia Polikarpova
QUICK ADD
Integrated Formal Methods:…
by Nadia Polikarpova, Steve Schneider
#10510 in Series
Paperback $54.99
Title: Software Quality. Software and Systems Quality in Distributed and Mobile Environments: 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality. Software and…
by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann
#200 in Series
Paperback $44.99
Title: Model and Data Engineering: 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings, Author: Ladjel Bellatreche
QUICK ADD
Model and Data Engineering:…
by Ladjel Bellatreche, Yannis Manolopoulos
#9344 in Series
Paperback $54.99
Title: Conceptual Modeling: 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings, Author: Isabelle Comyn-Wattiau
QUICK ADD
Conceptual Modeling: 35th…
by Isabelle Comyn-Wattiau, Katsumi Tanaka, Il-Yeol Song, Shuichiro Yamamoto, Motoshi Saeki
#9974 in Series
Paperback $54.99
Title: Product-Focused Software Process Improvement: 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings, Author: Pekka Abrahamsson
QUICK ADD
Product-Focused Software…
by Pekka Abrahamsson, Luis Corral, Markku Oivo, Barbara Russo
#9459 in Series
Paperback $54.99
Title: Parallel Computing Technologies: 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings, Author: Victor Malyshkin
QUICK ADD
Parallel Computing…
by Victor Malyshkin
#10421 in Series
Paperback $54.99
Title: Service-Oriented and Cloud Computing: 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings, Author: Kyriakos Kritikos
QUICK ADD
Service-Oriented and Cloud…
by Kyriakos Kritikos, Pierluigi Plebani, Flavio de Paoli
#11116 in Series
Paperback $54.99
Title: Fault Prediction Modeling for the Prediction of Number of Software Faults, Author: Santosh Singh Rathore
QUICK ADD
Fault Prediction Modeling for…
by Santosh Singh Rathore, Sandeep Kumar
Explore Series
Paperback $54.99

Pagination Links