181- 200 of 240 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Job Scheduling Strategies for Parallel Processing: 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers, Author: Narayan Desai
QUICK ADD
Job Scheduling Strategies for…
by Narayan Desai, Walfredo Cirne
#10353 in Series
Paperback $54.99
Title: SDL 2017: Model-Driven Engineering for Future Internet: 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings, Author: Tibor Csöndes
QUICK ADD
SDL 2017: Model-Driven…
by Tibor Csöndes, Gábor Kovács, György Réthy
#10567 in Series
Paperback $54.99
Title: Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures, Author: Marco Bernardo
QUICK ADD
Formal Methods for Multicore…
by Marco Bernardo, Einar Broch Johnsen
#9104 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 and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, Author: Michael Butler
QUICK ADD
Formal Methods and Software…
by Michael Butler, Sylvain Conchon, Fatiha Zaïdi
#9407 in Series
Paperback $54.99
Title: Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings, Author: Klaus-Dieter Schewe
QUICK ADD
Model and Data Engineering:…
by Klaus-Dieter Schewe, Neeraj Kumar Singh
#11815 in Series
Paperback $54.99
Title: End-User Development: 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings, Author: Simone Barbosa
QUICK ADD
End-User Development: 6th…
by Simone Barbosa, Panos Markopoulos, Fabio Paternò, Simone Stumpf, Stefano Valtolina
#10303 in Series
Paperback $54.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: 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: Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, Author: Bernd Fischer
QUICK ADD
Model Checking Software: 22nd…
by Bernd Fischer, Jaco Geldenhuys
#9232 in Series
Paperback $54.99
Title: Advanced Parallel Processing Technologies: 13th International Symposium, APPT 2019, Tianjin, China, August 15-16, 2019, Proceedings, Author: Pen-Chung Yew
QUICK ADD
Advanced Parallel Processing…
by Pen-Chung Yew, Per Stenstrïm, Junjie Wu, Xiaoli Gong, Tao Li
#11719 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: 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: 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: Software Technologies: 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers, Author: Marten van Sinderen
QUICK ADD
Software Technologies: 13th…
by Marten van Sinderen, Leszek A. Maciaszek
#1077 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: Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, Author: Olga Kouchnarenko
QUICK ADD
Formal Aspects of Component…
by Olga Kouchnarenko, Ramtin Khosravi
#10231 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: 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: 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