Showing 96 - 120 (of 3895)
Refine
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings - eBook

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

Virgile Prevosto

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

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

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

Benedek Nagy

Download Now

Format: eBook (EPUB)

£49.99

£42.49

Download Now

eBook (EPUB)

Add to Basket
Computational Methods with MATLAB(R) - eBook

Computational Methods with MATLAB(R)

Erik Cuevas

Download Now

Format: eBook (EPUB)

£49.99

£42.49

Download Now

eBook (EPUB)

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

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

Andreas Holzinger

Download Now

Format: eBook (EPUB)

£49.99

£42.49

Download Now

eBook (EPUB)

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

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

Andreas Herzig

Download Now

Format: eBook (EPUB)

£49.99

£42.49

Download Now

eBook (EPUB)

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

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

Davide Calvaresi

Download Now

Format: eBook (EPUB)

£49.99

£42.49

Download Now

eBook (EPUB)

Add to Basket
Graph-Based Representation and Reasoning : 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings - eBook

Graph-Based Representation and Reasoning : 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings

Manuel Ojeda-Aciego

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Cellular Automata and Discrete Complex Systems : 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings - eBook

Cellular Automata and Discrete Complex Systems : 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings

Luca Manzoni

Download Now

Format: eBook (EPUB)

£49.99

£42.49

Download Now

eBook (EPUB)

Add to Basket
Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers - eBook

Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

Hossein Hojjat

Download Now

Format: eBook (EPUB)

£49.99

£42.49

Download Now

eBook (EPUB)

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

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

Dietmar Seipel

Download Now

Format: eBook (EPUB)

£49.99

£42.49

Download Now

eBook (EPUB)

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

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

Laure Petrucci

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Graph-Based Representations in Pattern Recognition : 13th IAPR-TC-15 International Workshop, GbRPR 2023, Vietri sul Mare, Italy, September 6-8, 2023, Proceedings - eBook

Graph-Based Representations in Pattern Recognition : 13th IAPR-TC-15 International Workshop, GbRPR 2023, Vietri sul Mare, Italy, September 6-8, 2023, Proceedings

Mario Vento

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Testing Software and Systems : 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings - eBook

Testing Software and Systems : 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

Silvia Bonfanti

Download Now

Format: eBook (EPUB)

£54.99

£46.74

Download Now

eBook (EPUB)

Add to Basket
Recent Trends in Algebraic Development Techniques : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers - eBook

Recent Trends in Algebraic Development Techniques : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

Alexandre Madeira

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures - eBook

Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

Antonio Cerone

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings - eBook

Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Alessandro Cimatti

Download Now

Format: eBook (EPUB)

£49.99

£42.49

Download Now

eBook (EPUB)

Add to Basket
Programming-Based Formal Languages and Automata Theory : Design, Implement, Validate, and Prove - eBook

Programming-Based Formal Languages and Automata Theory : Design, Implement, Validate, and Prove

Marco T. Morazan

Download Now

Format: eBook (PDF)

£54.99

£46.74

Download Now

eBook (PDF)

Add to Basket
Logic and Engineering of Natural Language Semantics : 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers - eBook

Logic and Engineering of Natural Language Semantics : 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers

Daisuke Bekki

Download Now

Format: eBook (EPUB)

£49.99

£42.49

Download Now

eBook (EPUB)

Add to Basket
Introduction to Software Architecture : Innovative Design using Clean Architecture and Model-Driven Engineering - eBook

Introduction to Software Architecture : Innovative Design using Clean Architecture and Model-Driven Engineering

Kevin Lano

Download Now

Format: eBook (PDF)

£49.99

£42.49

Download Now

eBook (PDF)

Add to Basket
Complex Computational Ecosystems : First International Conference, CCE 2023, Baku, Azerbaijan, April 25-27, 2023, Proceedings - eBook

Complex Computational Ecosystems : First International Conference, CCE 2023, Baku, Azerbaijan, April 25-27, 2023, Proceedings

Pierre Collet

Download Now

Format: eBook (EPUB)

£49.99

£42.49

Download Now

eBook (EPUB)

Add to Basket
Rules and Reasoning : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings - eBook

Rules and Reasoning : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings

Anna Fensel

Download Now

Format: eBook (EPUB)

£49.99

£42.49

Download Now

eBook (EPUB)

Add to Basket
Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings - eBook

Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings

Olivier Bournez

Download Now

Format: eBook (EPUB)

£49.99

£42.49

Download Now

eBook (EPUB)

Add to Basket
Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings - eBook

Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Robert Gluck

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Code-Based Cryptography : 11th International Workshop, CBCrypto 2023, Lyon, France, April 22-23, 2023, Revised Selected Papers - eBook

Code-Based Cryptography : 11th International Workshop, CBCrypto 2023, Lyon, France, April 22-23, 2023, Revised Selected Papers

Andre Esser

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

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