Showing 96 - 120 (of 894)
Refine
Formalizing Data-Centric Web Services - eBook

Formalizing Data-Centric Web Services

Iman Saleh

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings - eBook

Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Bernd Finkbeiner

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings - eBook

Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Michael Butler

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Understanding Control Flow : Concurrent Programming Using ?C++ - eBook

Understanding Control Flow : Concurrent Programming Using ?C++

Peter A. Buhr

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings - eBook

Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

Khaled El-Fakih

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Programming Languages and Systems : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings - eBook

Programming Languages and Systems : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

Xinyu Feng

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Languages, Applications and Technologies : 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers - eBook

Languages, Applications and Technologies : 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers

Jose-Luis Sierra-Rodriguez

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays - eBook

Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Christian W. Probst

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers - eBook

Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Arie Gurfinkel

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

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

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

Zhiming Liu

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Languages and Compilers for Parallel Computing : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers - eBook

Languages and Compilers for Parallel Computing : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

Xipeng Shen

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Multi-Agent Systems : 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers - eBook

Multi-Agent Systems : 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Marija Slavkovik

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Trends in Functional Programming : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers - eBook

Trends in Functional Programming : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

David Van Horn

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
High Performance Computing for Computational Science - VECPAR 2018 : 13th International Conference, Sao Pedro, Brazil, September 17-19, 2018, Revised Selected Papers - eBook

High Performance Computing for Computational Science - VECPAR 2018 : 13th International Conference, Sao Pedro, Brazil, September 17-19, 2018, Revised Selected Papers

Hermes Senger

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Functional and Constraint Logic Programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers - eBook

Functional and Constraint Logic Programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Josep Silva

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Agreement Technologies : 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers - eBook

Agreement Technologies : 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Marin Lujak

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings - eBook

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings

Simon Collart-Dutilleul

Download Now

Format: eBook (EPUB)

£49.99

£42.49

Download Now

eBook (EPUB)

Add to Basket
Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows - eBook

Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows

Joshua D. Guttman

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday - eBook

Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Michele Boreale

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Reversible Computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings - eBook

Reversible Computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings

Michael Kirkedal Thomsen

Download Now

Format: eBook (EPUB)

£49.99

£42.49

Download Now

eBook (EPUB)

Add to Basket
Formal Techniques for Distributed Objects, Components, and Systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed C - eBook

Formal Techniques for Distributed Objects, Components, and Systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed C

Jorge A. Perez

Download Now

Format: eBook (EPUB)

£54.99

£46.74

Download Now

eBook (EPUB)

Add to Basket
Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday - eBook

Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Tiziana Margaria

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCo - eBook

Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCo

Hanne Riis Nielson

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Graph Transformation : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings - eBook

Graph Transformation : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings

Esther Guerra

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Showing 96 - 120 (of 894)
Refine