Automated Verification of Concurrent Search Structures

By Krishna Siddharth, Patel Nisarg, Shasha Dennis

Automated Verification of Concurrent Search Structures

By Krishna Siddharth, Patel Nisarg, Shasha Dennis

£49.82

Simple Type Theory (A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic))

By Farmer, William M.

Simple Type Theory (A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic))

By Farmer, William M.

£74.02

Simple Type Theory (A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic))

By Farmer, William M.

Simple Type Theory (A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic))

By Farmer, William M.

£62.72

Stepping Into Virtual Reality

By Gutiérrez A., Mario A., Thalmann, Daniel, Daniel Thalmann

Stepping Into Virtual Reality

By Gutiérrez A., Mario A., Thalmann, Daniel, Daniel Thalmann

£54.87

Innovative Technologies and Learning (7th International Conference, ICITL 2024, Tartu, Estonia, August 14–16, 2024, Proceedings, Part I (Lecture Notes in Computer Science))

By Yu-Ping Cheng, Margus Pedaste, Emanuele Bardone, Yueh-Min Huang

Innovative Technologies and Learning (7th International Conference, ICITL 2024, Tartu, Estonia, August 14–16, 2024, Proceedings, Part I (Lecture Notes in Computer Science))

By Yu-Ping Cheng, Margus Pedaste, Emanuele Bardone, Yueh-Min Huang

£55.96 Elsewhere ~~£109.99~~ Save £54.03 (49%)

Data Structures the Fun Way (An Amusing Adventure with Coffee-Filled Examples)

By Kubica, Jeremy

Data Structures the Fun Way (An Amusing Adventure with Coffee-Filled Examples)

By Kubica, Jeremy

£24.69 Elsewhere ~~£37.99~~ Save £13.30 (35%)

Research and Advanced Technology for Digital Libraries (9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005, Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Andreas Rauber, Stavros Christodoulakis, A. Min Tjoa

Research and Advanced Technology for Digital Libraries (9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005, Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Andreas Rauber, Stavros Christodoulakis, A. Min Tjoa

£89.34

Computers Helping People with Special Needs (8th International Conference, ICCHP 2002, Linz, Austria, July 15-20 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler

Computers Helping People with Special Needs (8th International Conference, ICCHP 2002, Linz, Austria, July 15-20 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler

£89.79

Algorithmics for Hard Problems (Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics (Texts in Theoretical Computer Science: An EATCS Series))

By Juraj Hromkovic

Algorithmics for Hard Problems (Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics (Texts in Theoretical Computer Science: An EATCS Series))

By Juraj Hromkovic

£76.36 Elsewhere ~~£79.99~~ Save £3.63 (5%)

Computers for Handicapped Persons (4th International Conference, ICCHP '94, Vienna, Austria, September 14-16, 1994 - Proceedings (Lecture Notes in Computer Science))

By Wolfgang L. Zagler, Geoffrey Busby, Roland Wagner

Computers for Handicapped Persons (4th International Conference, ICCHP '94, Vienna, Austria, September 14-16, 1994 - Proceedings (Lecture Notes in Computer Science))

By Wolfgang L. Zagler, Geoffrey Busby, Roland Wagner

£45.81

The Random Notes Of A Coding Geek (Notebook for Programmers and Code Professionals)

By Purtill, Sharon

The Random Notes Of A Coding Geek (Notebook for Programmers and Code Professionals)

By Purtill, Sharon

£5.87 Elsewhere ~~£6.49~~ Save £0.62 (10%)

micro: bit in Wonderland (Coding & Craft with the BBC micro: bit (microbit) First Edition)

By Gardner, Tracy, de Kock, Elbrie, Tech Age Kids

micro: bit in Wonderland (Coding & Craft with the BBC micro: bit (microbit) First Edition)

By Gardner, Tracy, de Kock, Elbrie, Tech Age Kids

£26.96

micro: bit in Wonderland (Coding & Craft with the BBC micro: bit (microbit))

By Gardner, Tracy, Kids, Tech Age

micro: bit in Wonderland (Coding & Craft with the BBC micro: bit (microbit))

By Gardner, Tracy, Kids, Tech Age

£26.96

Algorithmics for Hard Problems (Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics (Texts in Theoretical Computer Science. An EATCS Series))

By Juraj Hromkovič

Algorithmics for Hard Problems (Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics (Texts in Theoretical Computer Science. An EATCS Series))

By Juraj Hromkovič

£51.43

Computers and Creativity

By Jon McCormack, Mark d'Inverno

Computers and Creativity

By Jon McCormack, Mark d'Inverno

£98.52

Computers and Creativity

By Jon McCormack, Mark d'Inverno

Computers and Creativity

By Jon McCormack, Mark d'Inverno

£84.28

Fourier Analysis—A Signal Processing Approach

By D. Sundararajan

Fourier Analysis—A Signal Processing Approach

By D. Sundararajan

£59.95 Elsewhere ~~£64.99~~ Save £5.04 (8%)

ICT Analysis and Applications (Proceedings of ICT4SD 2024, Volume 3 (Lecture Notes in Networks and Systems))

By Simon Fong, Nilanjan Dey, Amit Joshi

ICT Analysis and Applications (Proceedings of ICT4SD 2024, Volume 3 (Lecture Notes in Networks and Systems))

By Simon Fong, Nilanjan Dey, Amit Joshi

£183 Elsewhere ~~£199.99~~ Save £16.99 (8%)

ICT Analysis and Applications (Proceedings of ICT4SD 2024, Volume 4 (Lecture Notes in Networks and Systems))

By Simon Fong, Nilanjan Dey, Amit Joshi

ICT Analysis and Applications (Proceedings of ICT4SD 2024, Volume 4 (Lecture Notes in Networks and Systems))

By Simon Fong, Nilanjan Dey, Amit Joshi

£183 Elsewhere ~~£199.99~~ Save £16.99 (8%)

Information Systems Research in Vietnam, Volume 3 (A Shared Vision and New Frontiers)

By Nguyen Hoang Thuan, Dang-Pham Duy, Hoanh-Su Le

Information Systems Research in Vietnam, Volume 3 (A Shared Vision and New Frontiers)

By Nguyen Hoang Thuan, Dang-Pham Duy, Hoanh-Su Le

£128 Elsewhere ~~£139.99~~ Save £11.99 (9%)

Artificial Intelligence in Business Management (Machine Learning (Foundations, Methodologies, and Applications))

By Goh, Yu Jin, Teoh, Teik Toe

Artificial Intelligence in Business Management (Machine Learning (Foundations, Methodologies, and Applications))

By Goh, Yu Jin, Teoh, Teik Toe

£77.37

How to Design Programs (An Introduction to Programming and Computing (The MIT Press))

By Felleisen, Matthias, Findler, Robert Bruce (Associate Professor of Computer Science, , Matthew Flatt, Shriram Krishnamurthi

How to Design Programs (An Introduction to Programming and Computing (The MIT Press))

By Felleisen, Matthias, Findler, Robert Bruce (Associate Professor of Computer Science, , Matthew Flatt, Shriram Krishnamurthi

1

Currently
Unavailable

OpenCL Programming Guide

By Aaftab Munshi, Benedict R. Gaster, Timothy G. Mattson

OpenCL Programming Guide

By Aaftab Munshi, Benedict R. Gaster, Timothy G. Mattson

Currently
Unavailable

View:
Safe Search(?):