Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Showing 144 - 168 (of 315)
Refine
Coordination Models and Languages : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCo - Book

£44.99

£37.09

Book (Paperback / softback)

Add to Basket
Artificial Intelligence in Medicine : 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings - Book

Artificial Intelligence in Medicine : 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

Annette ten Teije

Format: Book (Paperback / softback)

£54.99

£49.15

Book (Paperback / softback)

Add to Basket
Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings - Book

Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

Juan de Lara

Format: Book (Paperback / softback)

£44.99

£37.09

Book (Paperback / softback)

Add to Basket
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings - Book

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Herman Geuvers

Format: Book (Paperback / softback)

£44.99

£37.09

Book (Paperback / softback)

Add to Basket
Computational Science and Its Applications – ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V - Book

Computational Science and Its Applications – ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V

Osvaldo Gervasi

Format: Book (Paperback / softback)

£44.99

£37.09

Book (Paperback / softback)

Add to Basket
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday - Book

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Luca Aceto

Format: Book (Paperback / softback)

£44.99

£37.09

Book (Paperback / softback)

Add to Basket
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers - Book

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Manuel V Hermenegildo

Format: Book (Paperback / softback)

£44.99

£37.09

Book (Paperback / softback)

Add to Basket
Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings - Book

Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Tim Menzies

Format: Book (Paperback / softback)

£44.99

£37.09

Book (Paperback / softback)

Add to Basket
Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings - Book

Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Nadia Polikarpova

Format: Book (Paperback / softback)

£44.99

£37.09

Book (Paperback / softback)

Add to Basket
Model and Data Engineering : 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings - Book

£44.99

Book (Paperback / softback)

Add to Basket
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verificat - Book

£44.99

£37.09

Book (Paperback / softback)

Add to Basket
High Performance Computing : ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-2 - Book

£44.99

£37.09

Book (Paperback / softback)

Add to Basket
Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings - Book

Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Dang Van Hung

Format: Book (Paperback / softback)

£44.99

£37.09

Book (Paperback / softback)

Add to Basket
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings - Book

Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Jose Proenca

Format: Book (Paperback / softback)

£44.99

£37.09

Book (Paperback / softback)

Add to Basket
Service-Oriented Computing – ICSOC 2016 Workshops : ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers - Book

Service-Oriented Computing – ICSOC 2016 Workshops : ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers

Khalil Drira

Format: Book (Paperback / softback)

£44.99

£37.09

Book (Paperback / softback)

Add to Basket
Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings - Book

Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Zhenhua Duan

Format: Book (Paperback / softback)

£44.99

£37.09

Book (Paperback / softback)

Add to Basket
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings - Book

Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Mohammad Mousavi

Format: Book (Paperback / softback)

£44.99

£37.09

Book (Paperback / softback)

Add to Basket
Conceptual Modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings - Book

Conceptual Modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

Heinrich C. Mayr

Format: Book (Paperback / softback)

£44.99

£37.09

Book (Paperback / softback)

Add to Basket
Future Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings - Book

Future Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings

Tran Khanh Dang

Format: Book (Paperback / softback)

£44.99

£37.09

Book (Paperback / softback)

Add to Basket
Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig - Book

Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig

Reiko Heckel

Format: Book (Paperback / softback)

£44.99

£37.09

Book (Paperback / softback)

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