81- 100 of 257 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Evaluation of Novel Approaches to Software Engineering: 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers, Author: Leszek A. Maciaszek
QUICK ADD
Evaluation of Novel Approaches…
by Leszek A. Maciaszek, Joaquim Filipe
#703 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: 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: Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings, Author: Ivica Crnkovic
QUICK ADD
Software Engineering for…
by Ivica Crnkovic, Elena Troubitsyna
#9823 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: Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures, Author: Jonathan P. Bowen
QUICK ADD
Engineering Trustworthy…
by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
#11174 in Series
Paperback $54.99
Title: Model-Driven Engineering and Software Development: 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers, Author: Slimane Hammoudi
QUICK ADD
Model-Driven Engineering and…
by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray
#692 in Series
Paperback $54.99
Title: Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings, Author: Esther Guerra
QUICK ADD
Theory and Practice of Model…
by Esther Guerra, Mark van den Brand
#10374 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: Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, Author: Yu-Fang Chen
QUICK ADD
Automated Technology for…
by Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
#11781 in Series
Paperback $54.99
Title: Parallel Computing Technologies: 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings, Author: Victor Malyshkin
QUICK ADD
Parallel Computing…
by Victor Malyshkin
#9251 in Series
Paperback $54.99
Title: Risks and Security of Internet and Systems: 13th International Conference, CRiSIS 2018, Arcachon, France, October 16-18, 2018, Revised Selected Papers, Author: Akka Zemmari
QUICK ADD
Risks and Security of Internet…
by Akka Zemmari, Mohamed Mosbah, Nora Cuppens-Boulahia, Frïdïric Cuppens
#11391 in Series
Paperback $54.99
Title: Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings, Author: Márcio Barros
QUICK ADD
Search-Based Software…
by Márcio Barros, Yvan Labiche
#9275 in Series
Paperback $54.99
Title: Product-Focused Software Process Improvement: 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings, Author: Pekka Abrahamsson
QUICK ADD
Product-Focused Software…
by Pekka Abrahamsson, Andreas Jedlitschka, Anh Nguyen Duc, Michael Felderer, Sousuke Amasaki
#10027 in Series
Paperback $54.99
Title: Testing Software and Systems: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, Author: Franz Wotawa
QUICK ADD
Testing Software and Systems:…
by Franz Wotawa, Mihai Nica, Natalia Kushik
#9976 in Series
Paperback $54.99
Title: Conceptual Modeling: 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings, Author: Heinrich C. Mayr
QUICK ADD
Conceptual Modeling: 36th…
by Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor
#10650 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: Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, Author: Xinyu Feng
QUICK ADD
Dependable Software…
by Xinyu Feng, Markus Mïller-Olm, Zijiang Yang
#10998 in Series
Paperback $54.99
Title: Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, Author: Oleg Kiselyov
QUICK ADD
Functional and Logic…
by Oleg Kiselyov, Andy King
#9613 in Series
Paperback $54.99
Title: Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, Author: Maurice H. ter Beek
QUICK ADD
Formal Methods - The Next 30…
by Maurice H. ter Beek, Annabelle McIver, Josï N. Oliveira
#11800 in Series
Paperback $54.99

Pagination Links