Showing 96 - 120 (of 997)
Refine
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Procee - eBook

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Procee

Tiziana Margaria

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Euro-Par 2015: Parallel Processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings - eBook

Euro-Par 2015: Parallel Processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

Jesper Larsson Traff

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Programming Languages and Systems : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Net - eBook

Programming Languages and Systems : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Net

Peter Thiemann

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, - eBook

Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016,

Bart Jacobs

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Fundamental Approaches to Software Engineering : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The - eBook

Fundamental Approaches to Software Engineering : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The

Perdita Stevens

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
C++ mit Visual Studio 2017 und Windows Forms-Anwendungen : Ein Fach- und Lehrbuch fur Standard C++ und Windows Forms-Anwendungen - eBook

C++ mit Visual Studio 2017 und Windows Forms-Anwendungen : Ein Fach- und Lehrbuch fur Standard C++ und Windows Forms-Anwendungen

Richard Kaiser

Download Now

Format: eBook (PDF)

£43.99

£37.39

Download Now

eBook (PDF)

Add to Basket
C++ mit Visual Studio 2017 : Ein Fach- und Lehrbuch fur Standard-C++ - eBook

C++ mit Visual Studio 2017 : Ein Fach- und Lehrbuch fur Standard-C++

Richard Kaiser

Download Now

Format: eBook (PDF)

£43.99

£37.39

Download Now

eBook (PDF)

Add to Basket
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity - eBook

Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity

Thomas Zeume

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, - eBook

Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017,

Javier Esparza

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS - eBook

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Axel Legay

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS - eBook

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Axel Legay

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
C++ mit Visual Studio 2019 und Windows Forms-Anwendungen : C++17 fur Studierende und erfahrene Programmierer - Windows Programme mit C++ entwickeln - eBook

C++ mit Visual Studio 2019 und Windows Forms-Anwendungen : C++17 fur Studierende und erfahrene Programmierer - Windows Programme mit C++ entwickeln

Richard Kaiser

Download Now

Format: eBook (PDF)

£47.99

£40.79

Download Now

eBook (PDF)

Add to Basket
Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings - eBook

Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings

Patrick Blackburn

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
C++ mit Visual Studio 2022 und Windows Forms-Anwendungen : C++17 fur Studierende und erfahrene Programmierer - Windows-Programme mit C++ entwickeln - eBook

C++ mit Visual Studio 2022 und Windows Forms-Anwendungen : C++17 fur Studierende und erfahrene Programmierer - Windows-Programme mit C++ entwickeln

Richard Kaiser

Download Now

Format: eBook (PDF)

£55.99

£47.59

Download Now

eBook (PDF)

Add to Basket
Organization of Programming Languages - eBook

Organization of Programming Languages

Bernd Teufel

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
C2 Compiler Concepts - eBook

C2 Compiler Concepts

Bernd Teufel

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Search-Based Software Engineering : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings - eBook

Search-Based Software Engineering : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

Marcio Barros

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Model Checking Software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings - eBook

Model Checking Software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Bernd Fischer

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings - eBook

Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Ezio Bartocci

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
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
Showing 96 - 120 (of 997)
Refine