Showing 24 - 48 (of 161)
Refine
Cloud Computing and Big Data : Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers - Book

Cloud Computing and Big Data : Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers

Weizhong Qiang

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niteroi,  Brazil, October 14-16, 2015, Revised Selected Papers - Book

Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised Selected Papers

Christiano Braga

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings - Book

Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Marcio Cornelio

Format: Book (Paperback / softback)

£34.99

£26.88

Book (Paperback / softback)

Add to Basket
Engineering Trustworthy Software Systems : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures - Book

Engineering Trustworthy Software Systems : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Zhiming Liu

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Munster, Germany, April 4-6, 2016, Proceedings - Book

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madri - Book

£37.99

£28.82

Book (Paperback / softback)

Add to Basket
Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings - Book

Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Erika Abraham

Format: Book (Paperback / softback)

£69.99

£50.65

Book (Paperback / softback)

Add to Basket
Software Reuse: Bridging with Social-Awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings - Book

Software Reuse: Bridging with Social-Awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Georgia M. Kapitsaki

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
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, DisCo - Book

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Intelligent Tutoring Systems : 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings - Book

Intelligent Tutoring Systems : 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings

Alessandro Micarelli

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings - Book

Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Simon Devitt

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings - Book

NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Sanjai Rayadurgam

Format: Book (Paperback / softback)

£54.99

£40.62

Book (Paperback / softback)

Add to Basket
Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings - Book

Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Bernhard K. Aichernig

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Rule Technologies. Research, Tools, and Applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings - Book

Rule Technologies. Research, Tools, and Applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Jose Julio Alferes

Format: Book (Paperback / softback)

£89.99

£63.97

Book (Paperback / softback)

Add to Basket
Theory and Practice of Model Transformations : 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings - Book

Theory and Practice of Model Transformations : 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings

Pieter Van Gorp

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Analytical and Stochastic Modelling Techniques and Applications : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings - Book

Analytical and Stochastic Modelling Techniques and Applications : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Sabine Wittevrongel

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Service-Oriented and Cloud Computing : 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings - Book

Service-Oriented and Cloud Computing : 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings

Marco Aiello

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
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 Internation - Book

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Principles and Practice of Constraint Programming : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings - Book

Principles and Practice of Constraint Programming : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

Michel Rueher

Format: Book (Paperback / softback)

£89.99

£63.97

Book (Paperback / softback)

Add to Basket
Computer Safety, Reliability, and Security : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings - Book

Computer Safety, Reliability, and Security : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Amund Skavhaug

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Computer Safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings - Book

Computer Safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

Amund Skavhaug

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
OpenMP: Memory, Devices, and Tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings - Book

OpenMP: Memory, Devices, and Tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

Naoya Maruyama

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Software Engineering for Resilient Systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings - Book

Software Engineering for Resilient Systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Ivica Crnkovic

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
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 - Book

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Showing 24 - 48 (of 161)
Refine