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
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
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
Advances in Proof-Theoretic Semantics - eBook

Advances in Proof-Theoretic Semantics

Thomas Piecha

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Computer and Information Sciences : 31st International Symposium, ISCIS 2016, Krakow, Poland, October 27-28, 2016, Proceedings - eBook

Computer and Information Sciences : 31st International Symposium, ISCIS 2016, Krakow, Poland, October 27-28, 2016, Proceedings

Tadeusz Czachorski

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Finite Difference Computing with PDEs : A Modern Software Approach - eBook

Finite Difference Computing with PDEs : A Modern Software Approach

Hans Petter Langtangen

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Die Keplersche Vermutung : Wie Mathematiker ein 400 Jahre altes Ratsel losten - eBook

Die Keplersche Vermutung : Wie Mathematiker ein 400 Jahre altes Ratsel losten

George G. Szpiro

Download Now

Format: eBook (PDF)

£5.83

£4.96

Download Now

eBook (PDF)

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

Armin Biere

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 : 26th International Conference, TACAS 2020, 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 : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Armin Biere

Download Now

Format: eBook (PDF)

£2.99

£2.84

Download Now

eBook (PDF)

Add to Basket
Probability in Electrical Engineering and Computer Science : An Application-Driven Course - eBook

Probability in Electrical Engineering and Computer Science : An Application-Driven Course

Jean Walrand

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I - eBook

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Shuvendu K. Lahiri

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II - eBook

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Shuvendu K. Lahiri

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Quantum Computing for the Quantum Curious - eBook

Quantum Computing for the Quantum Curious

Ciaran Hughes

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg Cit - eBook

Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg Cit

Esther Guerra

Download Now

Format: eBook (PDF)

£2.99

£2.84

Download Now

eBook (PDF)

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

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

Stefan Kiefer

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 : 27th International Conference, TACAS 2021, 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 : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Jan Friso Groote

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 : 27th International Conference, TACAS 2021, 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 : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Jan Friso Groote

Download Now

Format: eBook (PDF)

£2.99

£2.84

Download Now

eBook (PDF)

Add to Basket
Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers - eBook

Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

Michael Cochez

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
Showing 1 - 24 (of 61)
Refine