181- 200 of 240 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Service-Oriented Computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings, Author: Quan Z. Sheng
QUICK ADD
Service-Oriented Computing:…
by Quan Z. Sheng, Eleni Stroulia, Samir Tata, Sami Bhiri
#9936 in Series
Paperback $109.99
Title: Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Author: Yliès Falcone
QUICK ADD
Runtime Verification: 16th…
by Yliès Falcone, César Sánchez
#10012 in Series
Paperback $54.99
Title: System Analysis and Modeling. Technology-Specific Aspects of Models: 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings, Author: Jens Grabowski
QUICK ADD
System Analysis and Modeling.…
by Jens Grabowski, Steffen Herbold
#9959 in Series
Paperback $54.99
Title: Usability- and Accessibility-Focused Requirements Engineering: First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014,, Author: Achim Ebert
QUICK ADD
Usability- and…
by Achim Ebert, Shah Rukh Humayoun, Norbert Seyff, Anna Perini, Simone D.J. Barbosa
#9312 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: Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings, Author: Marco Aiello
QUICK ADD
Service-Oriented and Cloud…
by Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski
#9846 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: Transactions on Modularity and Composition I, Author: Shigeru Chiba
QUICK ADD
Transactions on Modularity and…
by Shigeru Chiba, Mario Sïdholt, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens
#9800 in Series
Paperback $84.99
Title: Transactions on Foundations for Mastering Change I, Author: Bernhard Steffen
QUICK ADD
Transactions on Foundations…
by Bernhard Steffen
#9960 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: NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings, Author: Sanjai Rayadurgam
QUICK ADD
NASA Formal Methods: 8th…
by Sanjai Rayadurgam, Oksana Tkachuk
#9690 in Series
Paperback $69.99
Title: Modelling Foundations and Applications: 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings, Author: Andrzej Wasowski
QUICK ADD
Modelling Foundations and…
by Andrzej Wasowski, Henrik Lönn
#9764 in Series
Paperback $54.99
Title: Theory and Practice of Model Transformations: 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings, Author: Pieter Van Gorp
QUICK ADD
Theory and Practice of Model…
by Pieter Van Gorp, Gregor Engels
#9765 in Series
Paperback $54.99
Title: Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings, Author: Bernhard K. Aichernig
QUICK ADD
Tests and Proofs: 10th…
by Bernhard K. Aichernig, Carlo A. Furia
#9762 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: 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: Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proc, Author: Alberto Lluch Lafuente
QUICK ADD
Coordination Models and…
by Alberto Lluch Lafuente, José Proença
#9686 in Series
Paperback $54.99
Title: Software Reuse: Bridging with Social-Awareness: 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings, Author: Georgia M. Kapitsaki
QUICK ADD
Software Reuse: Bridging with…
by Georgia M. Kapitsaki, Eduardo Santana de Almeida
#9679 in Series
Paperback $54.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: Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II, Author: Roman Wyrzykowski
QUICK ADD
Parallel Processing and…
by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski
#9574 in Series
Paperback $54.99

Pagination Links