Showing 96 - 120 (of 1598)
Refine
Algorithms and Architectures for Parallel Processing : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20–22, 2023, Proceedings, Part VII - Book

£59.99

£43.86

Book (Paperback / softback)

Add to Basket
Uncertainty Analyses in Environmental Sciences and Hydrogeology : Methods and Applications to Subsurface Contamination - Book

Uncertainty Analyses in Environmental Sciences and Hydrogeology : Methods and Applications to Subsurface Contamination

Rachid Ababou

Format: Book (Paperback / softback)

£34.99

£26.88

Book (Paperback / softback)

Add to Basket
Digital Signal Processing : Illustration Using Python - Book

Digital Signal Processing : Illustration Using Python

S Esakkirajan

Format: Book (Paperback / softback)

£54.99

£40.62

Book (Paperback / softback)

Add to Basket
FPGA EDA : Design Principles and Implementation - Book

FPGA EDA : Design Principles and Implementation

Kaihui Tu

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Fuzzy Machine Learning Algorithms for Remote Sensing Image Classification - Book

Fuzzy Machine Learning Algorithms for Remote Sensing Image Classification

Anil Kumar

Format: Book (Paperback / softback)

£49.99

£42.98

Book (Paperback / softback)

Add to Basket
The Power of Geometric Algebra Computing : For Engineering and Quantum Computing - Book

The Power of Geometric Algebra Computing : For Engineering and Quantum Computing

Dietmar Hildenbrand

Format: Book (Paperback / softback)

£44.99

£38.85

Book (Paperback / softback)

Add to Basket
Introduction to Lattice Algebra : With Applications in AI, Pattern Recognition, Image Analysis, and Biomimetic Neural Networks - Book

Introduction to Lattice Algebra : With Applications in AI, Pattern Recognition, Image Analysis, and Biomimetic Neural Networks

Gerhard X. Ritter

Format: Book (Paperback / softback)

£45.99

£39.91

Book (Paperback / softback)

Add to Basket
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I - Book

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Constantin Enea

Format: Book (Paperback / softback)

£34.99

£26.88

Book (Paperback / softback)

Add to Basket
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III - Book

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Constantin Enea

Format: Book (Paperback / softback)

£34.99

£26.88

Book (Paperback / softback)

Add to Basket
Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings - Book

Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Brigitte Pientka

Format: Book (Paperback / softback)

£34.99

£26.88

Book (Paperback / softback)

Add to Basket
Cosmic Rays : Multimessenger Astrophysics and Revolutionary Astronomy - Book

Cosmic Rays : Multimessenger Astrophysics and Revolutionary Astronomy

Alessandro De Angelis

Format: Book (Paperback / softback)

£27.99

£21.98

Book (Paperback / softback)

Add to Basket
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings - Book

Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Virgile Prevosto

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Frontiers of Algorithmics : 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings - Book

Frontiers of Algorithmics : 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings

Minming Li

Format: Book (Paperback / softback)

£59.99

£43.86

Book (Paperback / softback)

Add to Basket
Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday - Book

Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Anne E. Haxthausen

Format: Book (Paperback / softback)

£59.99

£43.86

Book (Paperback / softback)

Add to Basket
Implementation and Application of Automata : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings - Book

£49.99

£37.08

Book (Paperback / softback)

Add to Basket
Knowledge Science, Engineering and Management : 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part II - Book

Knowledge Science, Engineering and Management : 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part II

Zhi Jin

Format: Book (Paperback / softback)

£64.99

£47.40

Book (Paperback / softback)

Add to Basket
Machine Learning and Knowledge Extraction : 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedi - Book

£49.99

£37.08

Book (Paperback / softback)

Add to Basket
Logic and Argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings - Book

Logic and Argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

Andreas Herzig

Format: Book (Paperback / softback)

£49.99

£37.08

Book (Paperback / softback)

Add to Basket
Explainable and Transparent AI and Multi-Agent Systems : 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers - Book

£49.99

£37.08

Book (Paperback / softback)

Add to Basket
Tropical Circuit Complexity : Limits of Pure Dynamic Programming - Book

Tropical Circuit Complexity : Limits of Pure Dynamic Programming

Stasys Jukna

Format: Book (Paperback / softback)

£39.99

£30.12

Book (Paperback / softback)

Add to Basket
KI 2023: Advances in Artificial Intelligence : 46th German Conference on AI, Berlin, Germany, September 26-29, 2023, Proceedings - Book

KI 2023: Advances in Artificial Intelligence : 46th German Conference on AI, Berlin, Germany, September 26-29, 2023, Proceedings

Dietmar Seipel

Format: Book (Paperback / softback)

£49.99

£37.08

Book (Paperback / softback)

Add to Basket
Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings - Book

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings - Book

Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings

Catherine Dubois

Format: Book (Paperback / softback)

£59.99

£43.86

Book (Paperback / softback)

Add to Basket
Composability, Comprehensibility and Correctness of Working Software : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers - Book

£59.99

£43.86

Book (Paperback / softback)

Add to Basket
Showing 96 - 120 (of 1598)
Refine