Compiler Construction (24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (Theoretical Computer Science and General Issues))

By Bjoern Franke

Compiler Construction (24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (Theoretical Computer Science and General Issues))

By Bjoern Franke

£41.66

Foundations of Software Science and Computation Structures (18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (Lecture ..)

By Andrew M. Pitts

Foundations of Software Science and Computation Structures (18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (Lecture ..)

By Andrew M. Pitts

£47.65

Perspectives of System Informatics (9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Andrei Voronkov, Irina Virbitskaite

Perspectives of System Informatics (9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Andrei Voronkov, Irina Virbitskaite

£47.40

Euro-Par 2015 (Parallel Processing: 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings (Theoretical Computer Science and General Issues))

By Jesper Larsson Traff, Sascha Hunold, Francesco Versaci

Euro-Par 2015 (Parallel Processing: 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings (Theoretical Computer Science and General Issues))

By Jesper Larsson Traff, Sascha Hunold, Francesco Versaci

£45.52

Static Analysis (22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science))

By Sandrine Blazy, Thomas Jensen

Static Analysis (22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science))

By Sandrine Blazy, Thomas Jensen

£44.19

Algorithms - ESA 2015 (23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Nikhil Bansal, Irene Finocchi

Algorithms - ESA 2015 (23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Nikhil Bansal, Irene Finocchi

£89.49

Logic for Programming, Artificial Intelligence, and Reasoning (20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Theoretical Computer Science and General Issues))

By Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning (20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Theoretical Computer Science and General Issues))

By Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

£48.49

Verification, Model Checking, and Abstract Interpretation (17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings: 2016 (Lecture Notes in Computer Science))

By Barbara Jobstmann, K. Rustan M. Leino

Verification, Model Checking, and Abstract Interpretation (17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings: 2016 (Lecture Notes in Computer Science))

By Barbara Jobstmann, K. Rustan M. Leino

£45.14

Foundations of Software Science and Computation Structures (19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceeding)

By Bart Jacobs, Christof Löding

Foundations of Software Science and Computation Structures (19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceeding)

By Bart Jacobs, Christof Löding

£48.04

Introduction to Modern Fortran for the Earth System Sciences

By Chirila, Dragos B., Lohmann, Gerrit

Introduction to Modern Fortran for the Earth System Sciences

By Chirila, Dragos B., Lohmann, Gerrit

£90.22

Static Analysis (23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Xavier Rival

Static Analysis (23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Xavier Rival

£45.11

Foundations of Software Science and Computation Structures (20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Lec ..)

By Javier Esparza, Andrzej S. Murawski

Foundations of Software Science and Computation Structures (20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Lec ..)

By Javier Esparza, Andrzej S. Murawski

£48.16

Logic, Language, Information, and Computation (25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez

Logic, Language, Information, and Computation (25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez

£61.78

Transactions on High-Performance Embedded Architectures and Compilers V (Lecture Notes in Computer Science)

By Per Stenström, Cristina Silvano, Koen Bertels, Michael Schulte

Transactions on High-Performance Embedded Architectures and Compilers V (Lecture Notes in Computer Science)

By Per Stenström, Cristina Silvano, Koen Bertels, Michael Schulte

£45.06

Logic, Rationality, and Interaction (7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Patrick Blackburn, Emiliano Lorini, Meiyun Guo

Logic, Rationality, and Interaction (7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Patrick Blackburn, Emiliano Lorini, Meiyun Guo

£45.07

Monotonicity in Logic and Language (Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Sci ..)

By Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl

Monotonicity in Logic and Language (Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Sci ..)

By Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl

£59.83

Semantics with Applications (An Appetizer (Undergraduate Topics in Computer Science))

By Hanne Riis Nielson, Flemming Nielson

Semantics with Applications (An Appetizer (Undergraduate Topics in Computer Science))

By Hanne Riis Nielson, Flemming Nielson

£27.21

Object-Oriented Programming Languages (Interpretation (Undergraduate Topics in Computer Science))

By Craig, Iain D.

Object-Oriented Programming Languages (Interpretation (Undergraduate Topics in Computer Science))

By Craig, Iain D.

£30.24

Principles of Programming Languages (Undergraduate Topics in Computer Science)

By Gilles Dowek

Principles of Programming Languages (Undergraduate Topics in Computer Science)

By Gilles Dowek

£25.26 Elsewhere ~~£27.99~~ Save £2.73 (10%)

Models of Computation (An Introduction to Computability Theory (Undergraduate Topics in Computer Science))

By Fernández, Maribel

Models of Computation (An Introduction to Computability Theory (Undergraduate Topics in Computer Science))

By Fernández, Maribel

£27.24

Programming Languages (Principles and Paradigms (Undergraduate Topics in Computer Science))

By Maurizio Gabbrielli, Simone Martini

Programming Languages (Principles and Paradigms (Undergraduate Topics in Computer Science))

By Maurizio Gabbrielli, Simone Martini

£25.29

Formal Languages and Compilation (Texts in Computer Science)

By Crespi Reghizzi, Stefano

Formal Languages and Compilation (Texts in Computer Science)

By Crespi Reghizzi, Stefano

£59.87

SIMD Programming Manual for Linux and Windows (Springer Professional Computing)

By Cockshott, Paul, Renfrew, Kenneth

SIMD Programming Manual for Linux and Windows (Springer Professional Computing)

By Cockshott, Paul, Renfrew, Kenneth

£117 Elsewhere ~~£127.50~~ Save £10.50 (8%)

Guide to J2EE (Enterprise Java (Springer Professional Computing))

By John Hunt, Chris Loftus

Guide to J2EE (Enterprise Java (Springer Professional Computing))

By John Hunt, Chris Loftus

£89.21

View:
Safe Search(?):