Showing 1 - 24 (of 61)
Refine
Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python - eBook

Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python

Svein Linge

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Programming for Computations - MATLAB/Octave : A Gentle Introduction to Numerical Simulations with MATLAB/Octave - eBook

Programming for Computations - MATLAB/Octave : A Gentle Introduction to Numerical Simulations with MATLAB/Octave

Svein Linge

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Introduction to Scientific Programming with Python - eBook

Introduction to Scientific Programming with Python

Joakim Sundnes

Download Now

Format: eBook (PDF)

£2.99

£2.84

Download Now

eBook (PDF)

Add to Basket
Natural Computing and Beyond : Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings - eBook

Natural Computing and Beyond : Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings

Yasuhiro Suzuki

Download Now

Format: eBook (PDF)

£2.99

£2.84

Download Now

eBook (PDF)

Add to Basket
Web and Internet Economics : 13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017, Proceedings - eBook

Web and Internet Economics : 13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017, Proceedings

Nikhil R. Devanur

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, - eBook

Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki,

Alessandra Russo

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

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

Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,

Christel Baier

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Principles of Security and Trust : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 1 - eBook

Principles of Security and Trust : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 1

Lujo Bauer

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Gree - eBook

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Gree

Amal Ahmed

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, 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 : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Dirk Beyer

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, 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 : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Dirk Beyer

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Entity-Oriented Search - eBook

Entity-Oriented Search

Krisztian Balog

Download Now

Format: eBook (PDF)

£2.99

£2.84

Download Now

eBook (PDF)

Add to Basket
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II - eBook

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Hana Chockler

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I - eBook

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Hana Chockler

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings - eBook

Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Andre Platzer

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II - eBook

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

Alexandra Silva

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

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

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

Patricia Bouyer

Download Now

Format: eBook (PDF)

£2.99

£2.84

Download Now

eBook (PDF)

Add to Basket
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, A - eBook

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, A

Ilya Sergey

Download Now

Format: eBook (PDF)

£2.99

£2.84

Download Now

eBook (PDF)

Add to Basket
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, German - eBook

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, German

Einar Broch Johnsen

Download Now

Format: eBook (PDF)

£2.99

£2.84

Download Now

eBook (PDF)

Add to Basket
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, 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 : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Dana Fisman

Download Now

Format: eBook (PDF)

£2.99

£2.84

Download Now

eBook (PDF)

Add to Basket
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, 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 : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Dana Fisman

Download Now

Format: eBook (PDF)

£2.99

£2.84

Download Now

eBook (PDF)

Add to Basket
Encyclopedia of Algorithms - eBook

Encyclopedia of Algorithms

Ming-Yang Kao

Download Now

Format: eBook (PDF)

£2.99

£2.54

Download Now

eBook (PDF)

Add to Basket
Bayesian Methods in the Search for MH370 - eBook

Bayesian Methods in the Search for MH370

Neil Gordon

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
X-Machines for Agent-Based Modeling : FLAME Perspectives - eBook

X-Machines for Agent-Based Modeling : FLAME Perspectives

Mariam Kiran

Download Now

Format: eBook (EPUB)

£2.99

Download Now

eBook (EPUB)

Add to Basket
Showing 1 - 24 (of 61)
Refine