Showing 48 - 72 (of 993)
Refine
Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions - eBook

Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions

Yves Bertot

Download Now

Format: eBook (PDF)

£69.99

£59.49

Download Now

eBook (PDF)

Add to Basket
Diagnosis and Fault-Tolerant Control - eBook

Diagnosis and Fault-Tolerant Control

Mogens Blanke

Download Now

Format: eBook (PDF)

£74.50

£63.33

Download Now

eBook (PDF)

Add to Basket
Hard Real-Time Computing Systems : Predictable Scheduling Algorithms and Applications - eBook

Hard Real-Time Computing Systems : Predictable Scheduling Algorithms and Applications

Giorgio Buttazzo

Download Now

Format: eBook (EPUB)

£79.50

£67.58

Download Now

eBook (EPUB)

Add to Basket
Multimedia Data Processing and Computing - eBook

Multimedia Data Processing and Computing

Suman Swarnkar

Download Now

Format: eBook (PDF)

£91.99

£82.79

Download Now

eBook (PDF)

Add to Basket
Multimedia Data Processing and Computing - eBook

Multimedia Data Processing and Computing

Suman Swarnkar

Download Now

Format: eBook (EPUB)

£91.99

£82.79

Download Now

eBook (EPUB)

Add to Basket
Conveyors : Application, Selection, and Integration - eBook

Conveyors : Application, Selection, and Integration

Patrick M McGuire

Download Now

Format: eBook (PDF)

£76.99

£69.29

Download Now

eBook (PDF)

Add to Basket
Conveyors : Application, Selection, and Integration - eBook

Conveyors : Application, Selection, and Integration

Patrick M McGuire

Download Now

Format: eBook (EPUB)

£76.99

£69.29

Download Now

eBook (EPUB)

Add to Basket
Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings - eBook

Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Bernhard Steffen

Download Now

Format: eBook (EPUB)

£59.99

£50.99

Download Now

eBook (EPUB)

Add to Basket
Artificial Intelligence of Things : First International Conference, ICAIoT 2023, Chandigarh, India, March 30-31, 2023, Revised Selected Papers, Part II - eBook

Artificial Intelligence of Things : First International Conference, ICAIoT 2023, Chandigarh, India, March 30-31, 2023, Revised Selected Papers, Part II

Rama Krishna Challa

Download Now

Format: eBook (EPUB)

£64.99

£55.24

Download Now

eBook (EPUB)

Add to Basket
Cognitive Computing and Cyber Physical Systems : 4th EAI International Conference, IC4S 2023, Bhimavaram, Andhra Pradesh, India, August 4-6, 2023, Proceedings, Part I - eBook

Cognitive Computing and Cyber Physical Systems : 4th EAI International Conference, IC4S 2023, Bhimavaram, Andhra Pradesh, India, August 4-6, 2023, Proceedings, Part I

Prakash Pareek

Download Now

Format: eBook (EPUB)

£74.50

£63.33

Download Now

eBook (EPUB)

Add to Basket
HCI International 2023 - Late Breaking Posters : 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I - eBook

HCI International 2023 - Late Breaking Posters : 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Constantine Stephanidis

Download Now

Format: eBook (EPUB)

£79.50

£67.58

Download Now

eBook (EPUB)

Add to Basket
HCI International 2023 - Late Breaking Posters : 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II - eBook

HCI International 2023 - Late Breaking Posters : 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Constantine Stephanidis

Download Now

Format: eBook (EPUB)

£74.50

£63.33

Download Now

eBook (EPUB)

Add to Basket
Supercomputing : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I - eBook

Supercomputing : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I

Vladimir Voevodin

Download Now

Format: eBook (EPUB)

£59.99

£50.99

Download Now

eBook (EPUB)

Add to Basket
Supercomputing : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II - eBook

Supercomputing : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II

Vladimir Voevodin

Download Now

Format: eBook (EPUB)

£59.99

£50.99

Download Now

eBook (EPUB)

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

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

Bin Sheng

Download Now

Format: eBook (EPUB)

£64.99

£55.24

Download Now

eBook (EPUB)

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

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

Bin Sheng

Download Now

Format: eBook (EPUB)

£64.99

£55.24

Download Now

eBook (EPUB)

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

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

Bin Sheng

Download Now

Format: eBook (EPUB)

£64.99

£55.24

Download Now

eBook (EPUB)

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

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

Bin Sheng

Download Now

Format: eBook (EPUB)

£59.99

£50.99

Download Now

eBook (EPUB)

Add to Basket
Global Economic Revolutions: Big Data Governance and Business Analytics for Sustainability : Second International Conference, ICGER 2023, Sharjah, United Arab Emirates, February 27-28, 2023, Revised S - eBook

Global Economic Revolutions: Big Data Governance and Business Analytics for Sustainability : Second International Conference, ICGER 2023, Sharjah, United Arab Emirates, February 27-28, 2023, Revised S

Abdalmuttaleb M. A. Musleh Al-Sartawi

Download Now

Format: eBook (EPUB)

£89.50

£76.08

Download Now

eBook (EPUB)

Add to Basket
Management of Digital EcoSystems : 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers - eBook

Management of Digital EcoSystems : 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers

Richard Chbeir

Download Now

Format: eBook (EPUB)

£99.50

£84.58

Download Now

eBook (EPUB)

Add to Basket
Innovations and Interdisciplinary Solutions for Underserved Areas : 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings - eBook

Innovations and Interdisciplinary Solutions for Underserved Areas : 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings

Amar Seeam

Download Now

Format: eBook (EPUB)

£64.99

£55.24

Download Now

eBook (EPUB)

Add to Basket
Smart Cities : 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13-17, 2023, Revised Selected Papers - eBook

Smart Cities : 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13-17, 2023, Revised Selected Papers

Sergio Nesmachnow

Download Now

Format: eBook (EPUB)

£59.99

£50.99

Download Now

eBook (EPUB)

Add to Basket
Recent Trends in Image Processing and Pattern Recognition : 6th International Conference, RTIP2R 2023, Derby, UK, December 7-8, 2023, Revised Selected Papers, Part II - eBook

Recent Trends in Image Processing and Pattern Recognition : 6th International Conference, RTIP2R 2023, Derby, UK, December 7-8, 2023, Revised Selected Papers, Part II

KC Santosh

Download Now

Format: eBook (EPUB)

£74.50

£63.33

Download Now

eBook (EPUB)

Add to Basket
Machine Learning, Optimization, and Data Science : 9th International Conference, LOD 2023, Grasmere, UK, September 22-26, 2023, Revised Selected Papers, Part II - eBook

Machine Learning, Optimization, and Data Science : 9th International Conference, LOD 2023, Grasmere, UK, September 22-26, 2023, Revised Selected Papers, Part II

Giuseppe Nicosia

Download Now

Format: eBook (EPUB)

£64.99

£55.24

Download Now

eBook (EPUB)

Add to Basket
Showing 48 - 72 (of 993)
Refine