221- 240 of 240 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers, Author: Paolo Milazzo
QUICK ADD
Software Technologies:…
by Paolo Milazzo, Dániel Varró, Manuel Wimmer
#9946 in Series
Paperback $54.99
Title: Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings, Author: Shiva Nejati
QUICK ADD
Search-Based Software…
by Shiva Nejati, Gregory Gay
#11664 in Series
Paperback $54.99
Title: SDL 2015: Model-Driven Engineering for Smart Cities: 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings, Author: Joachim Fischer
QUICK ADD
SDL 2015: Model-Driven…
by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed
#9369 in Series
Paperback $54.99
Title: Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings, Author: Zhenhua Duan
QUICK ADD
Formal Methods and Software…
by Zhenhua Duan, Luke Ong
#10610 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
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 Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud: 11th International Conference, SWQD 2019, Vienna, Austria, January 15-18, 2019, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality: The…
by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann
#338 in Series
Paperback $54.99
Title: Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, Author: Nan Guan
QUICK ADD
Dependable Software…
by Nan Guan, Joost-Pieter Katoen, Jun Sun
#11951 in Series
Paperback $54.99
Title: Software Quality: Methods and Tools for Better Software and Systems: 10th International Conference, SWQD 2018, Vienna, Austria, January 16-19, 2018, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality: Methods and…
by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann
#302 in Series
Paperback $54.99
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: Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, Author: Dragan Bosnacki
QUICK ADD
Model Checking Software: 23rd…
by Dragan Bosnacki, Anton Wijs
#9641 in Series
Paperback $54.99
Title: Evaluation of Novel Approaches to Software Engineering: 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, Revised Selected Papers, Author: Ernesto Damiani
QUICK ADD
Evaluation of Novel Approaches…
by Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek
#1172 in Series
Paperback $54.99
Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings, Author: Thierry Lecomte
QUICK ADD
Reliability, Safety, and…
by Thierry Lecomte, Ralf Pinger, Alexander Romanovsky
#9707 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: 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: Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, Author: Leila Ribeiro
QUICK ADD
Formal Methods: Foundations…
by Leila Ribeiro, Thierry Lecomte
#10090 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, Author: Ivan Lanese
QUICK ADD
Formal Aspects of Component…
by Ivan Lanese, Eric Madelaine
#8997 in Series
Paperback $54.99
Title: Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, Author: Einar Broch Johnsen
QUICK ADD
Software Engineering and…
by Einar Broch Johnsen, Ina Schaefer
#10886 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: Advanced Parallel Processing Technologies: 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings, Author: Yong Dou
QUICK ADD
Advanced Parallel Processing…
by Yong Dou, Haixiang Lin, Guangyu Sun, Junjie Wu, Dora Heras
#10561 in Series
Paperback $54.99

Pagination Links