Showing 24 - 48 (of 192)
Refine
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

£33.84

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

£33.84

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

£33.84

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

£33.84

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

£33.84

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

£33.84

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

£33.84

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

£33.84

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

£33.84

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

£33.84

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

£33.84

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

£33.84

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

£33.84

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

£33.84

Book (Paperback / softback)

Add to Basket
Guide to Assembly Language : A Concise Introduction - Book

Guide to Assembly Language : A Concise Introduction

James T. Streib

Format: Book (Paperback / softback)

£44.99

£34.05

Book (Paperback / softback)

Add to Basket
Cyber Physical Systems. Model-Based Design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers - Book

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Artificial Intelligence in Music, Sound, Art and Design : 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings - Book

Artificial Intelligence in Music, Sound, Art and Design : 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings

Juan Romero

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Streamlining : Using New Technologies and the Internet to Transform Performance - Book

Streamlining : Using New Technologies and the Internet to Transform Performance

Kenneth A. Loparo

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Building Xamarin.Forms Mobile Apps Using XAML : Mobile Cross-Platform XAML and Xamarin.Forms Fundamentals - Book

Building Xamarin.Forms Mobile Apps Using XAML : Mobile Cross-Platform XAML and Xamarin.Forms Fundamentals

Dan Hermes

Format: Book (Paperback / softback)

£39.99

£30.12

Book (Paperback / softback)

Add to Basket
Pro .NET Framework with the Base Class Library : Understanding the Virtual Execution System and the Common Type System - Book

Pro .NET Framework with the Base Class Library : Understanding the Virtual Execution System and the Common Type System

Roger Villela

Format: Book (Paperback / softback)

£29.99

£23.57

Book (Paperback / softback)

Add to Basket
Rethinking Productivity in Software Engineering - Book

Rethinking Productivity in Software Engineering

Caitlin Sadowski

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Pro TBB : C++ Parallel Programming with Threading Building Blocks - Book

Pro TBB : C++ Parallel Programming with Threading Building Blocks

Michael Voss

Format: Book (Paperback / softback)

£39.99

£30.12

Book (Paperback / softback)

Add to Basket
R3 Corda for Architects and Developers : With Case Studies in Finance, Insurance, Healthcare, Travel, Telecom, and Agriculture - Book

R3 Corda for Architects and Developers : With Case Studies in Finance, Insurance, Healthcare, Travel, Telecom, and Agriculture

Debajani Mohanty

Format: Book (Paperback / softback)

£29.99

£23.57

Book (Paperback / softback)

Add to Basket
Practical Domain-Driven Design in Enterprise Java : Using Jakarta EE, Eclipse MicroProfile, Spring Boot, and the Axon Framework - Book

Practical Domain-Driven Design in Enterprise Java : Using Jakarta EE, Eclipse MicroProfile, Spring Boot, and the Axon Framework

Vijay Nair

Format: Book (Paperback / softback)

£39.99

£30.12

Book (Paperback / softback)

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