Showing 96 - 120 (of 411)
Refine
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
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 - eBook

Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405

Irek Ulidowski

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Supercomputing Frontiers : 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings - eBook

Supercomputing Frontiers : 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings

Dhabaleswar K. Panda

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
The Impact of Digital Technologies on Public Health in Developed and Developing Countries : 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings - eBook

The Impact of Digital Technologies on Public Health in Developed and Developing Countries : 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings

Mohamed Jmaiel

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences : A Reference Model Guided Approach for Common Challenges - eBook

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences : A Reference Model Guided Approach for Common Challenges

Zhiming Zhao

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
Semantic Systems. In the Era of Knowledge Graphs : 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7-10, 2020, Proceedings - eBook

Semantic Systems. In the Era of Knowledge Graphs : 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7-10, 2020, Proceedings

Eva Blomqvist

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 : 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
Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers - eBook

Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

Michael Cochez

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Brain-Inspired Computing : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers - eBook

Brain-Inspired Computing : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers

Katrin Amunts

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, A - eBook

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, A

Ilya Sergey

Download Now

Format: eBook (PDF)

£2.99

£2.84

Download Now

eBook (PDF)

Add to Basket
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, German - eBook

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, German

Einar Broch Johnsen

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 : 28th International Conference, TACAS 2022, 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 : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Dana Fisman

Download Now

Format: eBook (PDF)

£2.99

£2.84

Download Now

eBook (PDF)

Add to Basket
Cybersecurity of Digital Service Chains : Challenges, Methodologies, and Tools - eBook

Cybersecurity of Digital Service Chains : Challenges, Methodologies, and Tools

Joanna Kolodziej

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Smittestopp - A Case Study on Digital Contact Tracing - eBook

Smittestopp - A Case Study on Digital Contact Tracing

Ahmed Elmokashfi

Download Now

Format: eBook (PDF)

£2.99

£2.84

Download Now

eBook (PDF)

Add to Basket
Haptics: Science, Technology, Applications : 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22-25, 2022, Proceed - eBook

Haptics: Science, Technology, Applications : 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22-25, 2022, Proceed

Hasti Seifi

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries : 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, September 27, 2021, Revis - eBook

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries : 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, September 27, 2021, Revis

Alessandro Crimi

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Security in Computer and Information Sciences : Second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, Revised Selected Papers - eBook

Security in Computer and Information Sciences : Second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, Revised Selected Papers

Erol Gelenbe

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Participative Urban Health and Healthy Aging in the Age of AI : 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings - eBook

Participative Urban Health and Healthy Aging in the Age of AI : 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings

Hamdi Aloulou

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings - eBook

Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings

Dhabaleswar K. Panda

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings - eBook

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Jasmin Blanchette

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I - eBook

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

Sharon Shoham

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II - eBook

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

Sharon Shoham

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

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