Showing 144 - 168 (of 192)
Refine
Functional and Constraint Logic Programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers - Book

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

Josep Silva

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

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

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

Marin Lujak

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings - Book

£44.99

£33.84

Book (Paperback / softback)

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 - Book

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

Michele Boreale

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Pap - Book

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings - Book

Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Rocco De Nicola

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Euro-Par 2016: Parallel Processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings - Book

Euro-Par 2016: Parallel Processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

Pierre-Francois Dutot

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Rewriting Logic and Its Applications : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers - Book

Rewriting Logic and Its Applications : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Dorel Lucanu

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
PRIMA 2016: Principles and Practice of Multi-Agent Systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings - Book

PRIMA 2016: Principles and Practice of Multi-Agent Systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

Matteo Baldoni

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
Scala: From a Functional Programming Perspective : An Introduction to the Programming Language - Book

Scala: From a Functional Programming Perspective : An Introduction to the Programming Language

Vicenc Torra

Format: Book (Paperback / softback)

£44.99

£33.54

Book (Paperback / softback)

Add to Basket
System Analysis and Modeling. Technology-Specific Aspects of Models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings - Book

System Analysis and Modeling. Technology-Specific Aspects of Models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

Jens Grabowski

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Theoretical Aspects of Computing – ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings - Book

Theoretical Aspects of Computing – ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

Augusto Sampaio

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings - Book

Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

Ylies Falcone

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Search Based Software Engineering : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings - Book

Search Based Software Engineering : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

Federica Sarro

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers - Book

Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

Sandrine Blazy

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Software Architecture : 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings - Book

Software Architecture : 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings

Bedir Tekinerdogan

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings - Book

Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Roderick Bloem

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments : Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers - Book

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday - Book

Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Thomas Gibson-Robinson

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings - Book

Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Yuliya Lierler

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Languages and Compilers for Parallel Computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers - Book

Languages and Compilers for Parallel Computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Chen Ding

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Agents and Artificial Intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers - Book

Agents and Artificial Intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Jaap van den Herik

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures - Book

Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Jonathan P. Bowen

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Showing 144 - 168 (of 192)
Refine