41- 60 of 257 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015, Revised Selected Papers, Author: Jan Kofron
QUICK ADD
Mathematical and Engineering…
by Jan Kofron, Tomás Vojnar
#9548 in Series
Paperback $109.99
Title: Cloud Computing and Services Science: 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers, Author: Markus Helfert
QUICK ADD
Cloud Computing and Services…
by Markus Helfert, Víctor Méndez Muñoz, Donald Ferguson
#581 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: Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers, Author: Pascal Lorenz
QUICK ADD
Software Technologies: 10th…
by Pascal Lorenz, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen
#586 in Series
Paperback $54.99
Title: Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures, Author: Zhiming Liu
QUICK ADD
Engineering Trustworthy…
by Zhiming Liu, Zili Zhang
#9506 in Series
Paperback $54.99
Title: Requirements Engineering: Foundation for Software Quality: 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings, Author: Maya Daneva
QUICK ADD
Requirements Engineering:…
by Maya Daneva, Oscar Pastor
#9619 in Series
Paperback $54.99
Title: Re-Engineering Legacy Software / Edition 1, Author: Chris Birchall
QUICK ADD
Re-Engineering Legacy Software…
by Chris Birchall
Paperback $64.99
Title: Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I, Author: Roman Wyrzykowski
QUICK ADD
Parallel Processing and…
by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski
#9573 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
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: 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: 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: 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: 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: 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: 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: 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: 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: 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: Transactions on Foundations for Mastering Change I, Author: Bernhard Steffen
QUICK ADD
Transactions on Foundations…
by Bernhard Steffen
#9960 in Series
Paperback $54.99

Pagination Links