41- 60 of 256 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Service-Oriented and Cloud Computing: 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings, Author: Antonio Brogi
QUICK ADD
Service-Oriented and Cloud…
by Antonio Brogi, Wolf Zimmermann, Kyriakos Kritikos
#12054 in Series
Paperback $79.99
Title: Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, Author: Roderick Bloem
QUICK ADD
Hardware and Software:…
by Roderick Bloem, Eli Arbel
#10028 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: 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: 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: 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: 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: 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings, Author: Michael Maximilien
QUICK ADD
Service-Oriented Computing:…
by Michael Maximilien, Antonio Vallecillo, Jianmin Wang, Marc Oriol
#10601 in Series
Paperback $109.99
Title: Future-Proof Software-Systems: A Sustainable Evolution Strategy, Author: Frank J. Furrer
QUICK ADD
Future-Proof Software-Systems:…
by Frank J. Furrer
Hardcover $54.99
Title: Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures, Author: Jonathan P. Bowen
QUICK ADD
Engineering Trustworthy…
by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
#10215 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, Author: Kyungmin Bae
QUICK ADD
Formal Aspects of Component…
by Kyungmin Bae, Peter Csaba ïlveczky
#11222 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: Risk Assessment and Risk-Driven Testing: Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers, Author: Fredrik Seehusen
QUICK ADD
Risk Assessment and…
by Fredrik Seehusen, Michael Felderer, Jürgen Großmann, Marc-Florian Wendland
#9488 in Series
Paperback $44.99
Title: Software Engineering: Specification, Implementation, Verification, Author: Suad Alagic
QUICK ADD
Software Engineering:…
by Suad Alagic
Hardcover $79.99
Title: System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering: 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings, Author: Ferhat Khendek
QUICK ADD
System Analysis and Modeling.…
by Ferhat Khendek, Reinhard Gotzhein
#11150 in Series
Paperback $54.99
Title: Agile Methods: 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers, Author: Graziela Simone Tonin
QUICK ADD
Agile Methods: 9th Brazilian…
by Graziela Simone Tonin, Bernardo Estïcio, Alfredo Goldman, Eduardo Guerra
#981 in Series
Paperback $54.99
Title: Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, Author: Carlo A. Furia
QUICK ADD
Integrated Formal Methods:…
by Carlo A. Furia, Kirsten Winter
#11023 in Series
Paperback $54.99
Title: Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings, Author: Alessandro Fantechi
QUICK ADD
Software Engineering for…
by Alessandro Fantechi, Patrizio Pelliccione
#9274 in Series
Paperback $44.99
Title: Applied Semantic Web Technologies / Edition 1, Author: Vijayan Sugumaran
QUICK ADD
Applied Semantic Web…
by Vijayan Sugumaran, Jon Atle Gulla
Paperback $74.99
Title: Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, Author: Farhad Arbab
QUICK ADD
Formal Aspects of Component…
by Farhad Arbab, Sung-Shik Jongmans
#12018 in Series
Paperback $54.99

Pagination Links