Showing 168 - 192 (of 3006)
Refine
Formal Methods: Foundations and Applications : 26th Brazilian Symposium, SBMF 2023,  Manaus, Brazil, December 4–8, 2023,  Proceedings - Book

Formal Methods: Foundations and Applications : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings

Haniel Barbosa

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Combinatorial Optimization and Applications : 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15–17, 2023, Proceedings, Part I - Book

£69.99

£50.26

Book (Paperback / softback)

Add to Basket
Operations Research and Enterprise Systems : 11th International Conference, ICORES 2022, Virtual Event, February 3–5, 2022, and 12th International Conference, ICORES 2023, Lisbon, Portugal, February 1 - Book

£59.99

£43.77

Book (Paperback / softback)

Add to Basket
Approximation and Online Algorithms : 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7–8, 2023, Proceedings - Book

Approximation and Online Algorithms : 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7–8, 2023, Proceedings

Jaroslaw Byrka

Format: Book (Paperback / softback)

£49.99

£37.28

Book (Paperback / softback)

Add to Basket
Advances in Computer Graphics : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 – September 1, 2023, Proceedings, Part I - Book

£64.99

£47.01

Book (Paperback / softback)

Add to Basket
Advances in Computer Graphics : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28–September 1, 2023, Proceedings, Part II - Book

£64.99

£47.01

Book (Paperback / softback)

Add to Basket
Advances in Computer Graphics : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 – September 1, 2023, Proceedings, Part III - Book

£64.99

£47.01

Book (Paperback / softback)

Add to Basket
Advances in Computer Graphics : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 – September 1, 2023, Proceedings, Part IV - Book

£59.99

£43.77

Book (Paperback / softback)

Add to Basket
Artificial Intelligence. ECAI 2023 International Workshops : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Krakow, Poland, September 30 – October 4, 2023, Proceedings, Part I - Book

£99.99

£69.78

Book (Paperback / softback)

Add to Basket
Artificial Intelligence. ECAI 2023 International Workshops : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Krakow, Poland, September 30 – October 4, 2023, Proceedings, Part II - Book

£99.99

£69.78

Book (Paperback / softback)

Add to Basket
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II - Book

£59.99

£43.77

Book (Paperback / softback)

Add to Basket
Dynamic Logic. New Trends and Applications : 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers - Book

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Practical Aspects of Declarative Languages : 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings - Book

Practical Aspects of Declarative Languages : 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings

Martin Gebser

Format: Book (Paperback / softback)

£49.99

£37.28

Book (Paperback / softback)

Add to Basket
Formal Aspects of Component Software : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers - Book

Formal Aspects of Component Software : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Javier Camara

Format: Book (Paperback / softback)

£49.99

£37.28

Book (Paperback / softback)

Add to Basket
Mathematical Modeling and Supercomputer Technologies : 23rd International Conference, MMST 2023, Nizhny Novgorod, Russia, November 13–16, 2023, Revised Selected Papers - Book

£64.99

£47.01

Book (Paperback / softback)

Add to Basket
Modern Fortran Explained : Incorporating Fortran 2023 - Book

Modern Fortran Explained : Incorporating Fortran 2023

Mr Michael (Formerly of CERN, Geneva, Switzerland) Metcalf

Format: Book (Hardback)

£120.00

£96.92

Book (Hardback)

Add to Basket
Optimization with LINGO-18 : Problems and Applications - Book

Optimization with LINGO-18 : Problems and Applications

Neha (Amity University, Uttar Pradesh, India) Gupta

Format: Book (Paperback / softback)

£44.99

£39.34

Book (Paperback / softback)

Add to Basket
Ontogenesis Beyond Complexity - Book

Ontogenesis Beyond Complexity

Cary Wolfe

Format: Book (Paperback / softback)

£39.99

£35.16

Book (Paperback / softback)

Add to Basket
Proven Impossible : Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Godel, Turing and More - Book

£27.99

£23.52

Book (Paperback / softback)

Add to Basket
Proven Impossible : Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Godel, Turing and More - Book

£59.99

£50.85

Book (Hardback)

Add to Basket
The Numerical Method of Lines and Duality Principles Applied to Models in Physics and Engineering - Book

£140.00

£113.00

Book (Hardback)

Add to Basket
Methods and Applications of Autonomous Experimentation - Book

Methods and Applications of Autonomous Experimentation

Marcus Noack

Format: Book (Hardback)

£69.99

£58.56

Book (Hardback)

Add to Basket
Absolute Essentials of Ethereum - Book

Absolute Essentials of Ethereum

Paul Dylan-Ennis

Format: Book (Hardback)

£48.99

£41.62

Book (Hardback)

Add to Basket
R-Calculus, III: Post Three-Valued Logic - Book

R-Calculus, III: Post Three-Valued Logic

Wei Li

Format: Book (Paperback / softback)

£149.99

£102.22

Book (Paperback / softback)

Add to Basket
Showing 168 - 192 (of 3006)
Refine