Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics)

By Morten Heine Sorensen, Pawel Urzyczyn

Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics)

By Morten Heine Sorensen, Pawel Urzyczyn

£104 Elsewhere ~~£125.00~~ Save £21.00 (17%)

Triangulations and Applications (Mathematics and Visualization)

By Dæhlen, Morten, Hjelle, Øyvind

Triangulations and Applications (Mathematics and Visualization)

By Dæhlen, Morten, Hjelle, Øyvind

£59.85

Immunological Bioinformatics (Computational Molecular Biology S.)

By Ole Lund, Morten Nielsen, Claus Lundegaard, Can Kesmir

Immunological Bioinformatics (Computational Molecular Biology S.)

By Ole Lund, Morten Nielsen, Claus Lundegaard, Can Kesmir

£49.44

Immunological Bioinformatics (Computational Molecular Biology)

By Ole, Morten, Claus Lundegaard, Can Kesmir

Immunological Bioinformatics (Computational Molecular Biology)

By Ole, Morten, Claus Lundegaard, Can Kesmir

£66.02

Ubiquitous Computing, Complexity and Culture

By Ulrik Ekman, Jay David Bolter, Lily Diaz, Morten Sondergaard

Ubiquitous Computing, Complexity and Culture

By Ulrik Ekman, Jay David Bolter, Lily Diaz, Morten Sondergaard

£189 Elsewhere ~~£230.00~~ Save £41.00 (18%)

Ubiquitous Computing, Complexity, and Culture

By Ulrik Ekman, Jay David Bolter, Lily Diaz, Morten Sondergaard

Ubiquitous Computing, Complexity, and Culture

By Ulrik Ekman, Jay David Bolter, Lily Diaz, Morten Sondergaard

£49.97 Elsewhere ~~£54.99~~ Save £5.02 (9%)

2

ECSCW '99: Proceedings of the Sixth European Conference on Computer Supported Cooperative Work, 12-16 September 1999, Copenhagen, Denmark (6th European Conference, 12-16 September 1999, Copenhagen, Denmark: 6th European Conference, 12-16 September 1999, C)

By Susanne Bødker, Morten Kyng, K. Schmidt

ECSCW '99: Proceedings of the Sixth European Conference on Computer Supported Cooperative Work, 12-16 September 1999, Copenhagen, Denmark (6th European Conference, 12-16 September 1999, Copenhagen, Denmark: 6th European Conference, 12-16 September 1999, C)

By Susanne Bødker, Morten Kyng, K. Schmidt

£177

Towards Integrated Web, Mobile, and IoT Technology (Selected and Revised Papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018 (Lecture Notes in ..)

By Tim A. Majchrzak, Cristian Mateos, Francesco Poggi, Tor-Morten Grønli

Towards Integrated Web, Mobile, and IoT Technology (Selected and Revised Papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018 (Lecture Notes in ..)

By Tim A. Majchrzak, Cristian Mateos, Francesco Poggi, Tor-Morten Grønli

£44.96

Advances in Quantitative Ethnography (First International Conference, ICQE 2019, Madison, WI, USA, October 20-22, 2019, Proceedings (Communications in Computer and Information Science))

By Brendan Eagan, Morten Misfeldt, Amanda Siebert-Evenstone

Advances in Quantitative Ethnography (First International Conference, ICQE 2019, Madison, WI, USA, October 20-22, 2019, Proceedings (Communications in Computer and Information Science))

By Brendan Eagan, Morten Misfeldt, Amanda Siebert-Evenstone

£45.03

Mathematical Methods for Curves and Surfaces (7th International Conference, MMCS 2008, Tonsberg, Norway, June 26-July 1, 2008, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Morten Dahlen, Michael S. Floater, Tom Lyche, Jean-Louis Merrien

Mathematical Methods for Curves and Surfaces (7th International Conference, MMCS 2008, Tonsberg, Norway, June 26-July 1, 2008, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Morten Dahlen, Michael S. Floater, Tom Lyche, Jean-Louis Merrien

£52.88

PowerShell Advanced Cookbook (Enhance your scripting skills and master PowerShell with 90+ advanced recipes (English Edition))

By Morten Elmstrøm Hansen

PowerShell Advanced Cookbook (Enhance your scripting skills and master PowerShell with 90+ advanced recipes (English Edition))

By Morten Elmstrøm Hansen

£28.97 Elsewhere ~~£31.99~~ Save £3.02 (9%)

ECSCW ’99 (Proceedings of the Sixth European Conference on Computer Supported Cooperative Work 12–16 September 1999, Copenhagen, Denmark)

By Susanne Bødker, Morten Kyng, K. Schmidt

ECSCW ’99 (Proceedings of the Sixth European Conference on Computer Supported Cooperative Work 12–16 September 1999, Copenhagen, Denmark)

By Susanne Bødker, Morten Kyng, K. Schmidt

£165 Elsewhere ~~£179.99~~ Save £14.99 (8%)

Bioinformatics for Glycobiology and Glycomics - An Introduction

By Claus-Wilhelm von der Lieth, Thomas Luetteke, Martin Frank

Bioinformatics for Glycobiology and Glycomics - An Introduction

By Claus-Wilhelm von der Lieth, Thomas Luetteke, Martin Frank

£135

Internal Communication in the Age of Artificial Intelligence

By Monique Zytnik

Internal Communication in the Age of Artificial Intelligence

By Monique Zytnik

£24.44 Elsewhere ~~£27.99~~ Save £3.55 (13%)

Algebraic Structures in Natural Language

By Shalom Lappin, Jean-Philippe Bernardy

Algebraic Structures in Natural Language

By Shalom Lappin, Jean-Philippe Bernardy

£62.58 Elsewhere ~~£69.99~~ Save £7.41 (11%)

Algebraic Structures in Natural Language

By Shalom Lappin, Jean-Philippe Bernardy

Algebraic Structures in Natural Language

By Shalom Lappin, Jean-Philippe Bernardy

£45.51

IT Support of the Judiciary (Australia, Singapore, Venezuela, Norway, The Netherlands and Italy (Information Technology and Law Series))

By Anja Oskamp, Arno R. Lodder, Martin Apistola

IT Support of the Judiciary (Australia, Singapore, Venezuela, Norway, The Netherlands and Italy (Information Technology and Law Series))

By Anja Oskamp, Arno R. Lodder, Martin Apistola

£42.81

Digital Literacies (Concepts, Policies and Practices (New Literacies and Digital Epistemologies))

By Colin Lankshear, Michele Knobel

Digital Literacies (Concepts, Policies and Practices (New Literacies and Digital Epistemologies))

By Colin Lankshear, Michele Knobel

£89.97 Elsewhere ~~£95.25~~ Save £5.28 (6%)

19

Programs as Data Objects (Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Olivier Danvy, Andrzej Filinski

Programs as Data Objects (Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Olivier Danvy, Andrzej Filinski

£44.92

Algorithm Theory - Swat 2002 (8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martti Penttonen, Erik Meineche Schmidt

Algorithm Theory - Swat 2002 (8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martti Penttonen, Erik Meineche Schmidt

£45.03

System Reduction for Nanoscale IC Design (2017 (Mathematics in Industry))

By Peter Benner

System Reduction for Nanoscale IC Design (2017 (Mathematics in Industry))

By Peter Benner

£53.89

View:
Safe Search(?):