121- 140 of 256 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies: 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality. Complexity…
by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann
#269 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#11246 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: Software Engineering in Health Care: 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers, Author: Michaela Huhn
QUICK ADD
Software Engineering in Health…
by Michaela Huhn, Laurie Williams
#9062 in Series
Paperback $54.99
Title: Product-Focused Software Process Improvement: 20th International Conference, PROFES 2019, Barcelona, Spain, November 27-29, 2019, Proceedings, Author: Xavier Franch
QUICK ADD
Product-Focused Software…
by Xavier Franch, Tomi Mïnnistï, Silverio Martïnez-Fernïndez
#11915 in Series
Paperback $54.99
Title: Job Scheduling Strategies for Parallel Processing: 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers, Author: Dalibor Klusïcek
QUICK ADD
Job Scheduling Strategies for…
by Dalibor Klusïcek, Walfredo Cirne, Narayan Desai
#11332 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: Job Scheduling Strategies for Parallel Processing: 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers, Author: Narayan Desai
QUICK ADD
Job Scheduling Strategies for…
by Narayan Desai, Walfredo Cirne
#8429 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: 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: 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: Advances in Conceptual Modeling: ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings, Author: Sergio de Cesare
QUICK ADD
Advances in Conceptual…
by Sergio de Cesare, Ulrich Frank
#10651 in Series
Paperback $54.99
Title: Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Author: Marieke Huisman
QUICK ADD
Fundamental Approaches to…
by Marieke Huisman, Julia Rubin
#10202 in Series
Paperback $54.99
Title: Advances in Conceptual Modeling: ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi'an, China, October 22-25, 2018, Proceedings, Author: Carson Woo
QUICK ADD
Advances in Conceptual…
by Carson Woo, Jiaheng Lu, Zhanhuai Li, Tok Wang Ling, Guoliang Li
#11158 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: Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, Author: Arie Gurfinkel
QUICK ADD
Verified Software: Theories,…
by Arie Gurfinkel, Sanjit A. Seshia
#9593 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: Analytical and Stochastic Modelling Techniques and Applications: 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings, Author: Sabine Wittevrongel
QUICK ADD
Analytical and Stochastic…
by Sabine Wittevrongel, Tuan Phung-Duc
#9845 in Series
Paperback $54.99
Title: Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, Author: Deepak D'Souza
QUICK ADD
Automated Technology for…
by Deepak D'Souza, K. Narayan Kumar
#10482 in Series
Paperback $54.99
Title: Advances in Conceptual Modeling: ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings, Author: Giancarlo Guizzardi
QUICK ADD
Advances in Conceptual…
by Giancarlo Guizzardi, Frederik Gailly, Rita Suzana Pitangueira Maciel
#11787 in Series
Paperback $54.99

Pagination Links