Showing 168 - 192 (of 321)
Refine
Search-Based Software Engineering : 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings - Book

Search-Based Software Engineering : 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Shiva Nejati

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Introduction to R for Terrestrial Ecology : Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R - Book

Introduction to R for Terrestrial Ecology : Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R

Milena Lakicevic

Format: Book (Paperback / softback)

£52.99

£39.22

Book (Paperback / softback)

Add to Basket
OpenMP: Conquering the Full Hardware Spectrum : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings - Book

OpenMP: Conquering the Full Hardware Spectrum : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Xing Fan

Format: Book (Paperback / softback)

£59.99

£43.77

Book (Paperback / softback)

Add to Basket
Quality of Information and Communications Technology : 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings - Book

Quality of Information and Communications Technology : 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings

Mario Piattini

Format: Book (Paperback / softback)

£64.99

£47.01

Book (Paperback / softback)

Add to Basket
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings - Book

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
PRICAI 2019: Trends in Artificial Intelligence : 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I - Book

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Geographical Information Systems Theory, Applications and Management : 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17-19, 2018, Revised Selected Papers - Book

Geographical Information Systems Theory, Applications and Management : 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17-19, 2018, Revised Selected Papers

Lemonia Ragia

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings - Book

Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Peter Csaba Olveczky

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings - Book

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

Pau Fonseca i Casas

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Formal Methods – The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings - Book

Formal Methods – The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Maurice H. ter Beek

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday - Book

From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Maurice H. ter Beek

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Unifying Theories of Programming : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings - Book

Unifying Theories of Programming : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Pedro Ribeiro

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Tests and Proofs : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings - Book

Tests and Proofs : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Dirk, Ph. D. Beyer

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Fundamentals of Software Engineering : 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers - Book

Fundamentals of Software Engineering : 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Hossein Hojjat

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings - Book

Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Yu-Fang Chen

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings - Book

Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Bernd Finkbeiner

Format: Book (Paperback / softback)

£54.99

£40.53

Book (Paperback / softback)

Add to Basket
Static Analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings - Book

Static Analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Bor-Yuh Evan Chang

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings - Book

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
On the Move to Meaningful Internet Systems: OTM 2019 Conferences : Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings - Book

On the Move to Meaningful Internet Systems: OTM 2019 Conferences : Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

Herve Panetto

Format: Book (Paperback / softback)

£79.99

£56.80

Book (Paperback / softback)

Add to Basket
Programming Languages and Systems : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings - Book

Programming Languages and Systems : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Anthony Widjaja Lin

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Languages and Compilers for Parallel Computing : 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers - Book

Languages and Compilers for Parallel Computing : 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers

Mary Hall

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings - Book

Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Wolfgang Ahrendt

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Languages and Compilers for Parallel Computing : 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers - Book

Languages and Compilers for Parallel Computing : 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

Lawrence Rauchwerger

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Product-Focused Software Process Improvement : 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings - Book

Product-Focused Software Process Improvement : 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Xavier Franch

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

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