Showing 1 - 24 (of 62)
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
Finding Moonshine : A Mathematician's Journey Through Symmetry (Text Only) - eBook

Finding Moonshine : A Mathematician's Journey Through Symmetry (Text Only)

Marcus du Sautoy

Download Now

Format: eBook (EPUB)

£4.99

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
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
Architecture of Advanced Numerical Analysis Systems : Designing a Scientific Computing System using OCaml - eBook

Architecture of Advanced Numerical Analysis Systems : Designing a Scientific Computing System using OCaml

Liang Wang

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
Katherine Johnson - eBook

Katherine Johnson

Leila Rasheed

Download Now

Format: eBook (EPUB)

£5.99

£4.19

Download Now

eBook (EPUB)

Add to Basket
Alan Turing - eBook

Alan Turing

Joanna Nadin

Download Now

Format: eBook (EPUB)

£5.99

£4.19

Download Now

eBook (EPUB)

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
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I - eBook

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Isil Dillig

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II - eBook

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Isil Dillig

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
The Amazing Journey of Reason : from DNA to Artificial Intelligence - eBook

The Amazing Journey of Reason : from DNA to Artificial Intelligence

Mario Alemi

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