Showing 24 - 48 (of 61)
Refine
Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg Cit - eBook

Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg Cit

Esther Guerra

Download Now

Format: eBook (PDF)

£2.99

£2.84

Download Now

eBook (PDF)

Add to Basket
Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, - eBook

Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,

Stefan Kiefer

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 : 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
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
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings - eBook

Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Andre Platzer

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II - eBook

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

Alexandra Silva

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, - eBook

Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,

Patricia Bouyer

Download Now

Format: eBook (PDF)

£2.99

£2.84

Download Now

eBook (PDF)

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
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
Multi-Winner Voting with Approval Preferences - eBook

Multi-Winner Voting with Approval Preferences

Martin Lackner

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
Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python 3.6 - eBook

Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python 3.6

Svein Linge

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, - eBook

Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,

Mikolaj Bojanczyk

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

Tomas Vojnar

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 : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III - eBook

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Dirk Beyer

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Computer and Information Sciences : 31st International Symposium, ISCIS 2016, Krakow, Poland, October 27-28, 2016, Proceedings - eBook

Computer and Information Sciences : 31st International Symposium, ISCIS 2016, Krakow, Poland, October 27-28, 2016, Proceedings

Tadeusz Czachorski

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Finite Difference Computing with PDEs : A Modern Software Approach - eBook

Finite Difference Computing with PDEs : A Modern Software Approach

Hans Petter Langtangen

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Web and Internet Economics : 13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017, Proceedings - eBook

Web and Internet Economics : 13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017, Proceedings

Nikhil R. Devanur

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, - eBook

Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki,

Alessandra Russo

Download Now

Format: eBook (EPUB)

£2.99

£2.84

Download Now

eBook (EPUB)

Add to Basket
Showing 24 - 48 (of 61)
Refine