961- 980 of 3984 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions / Edition 1, Author: Yves Bertot
QUICK ADD
Interactive Theorem Proving…
by Yves Bertot, G. Huet, Pierre Castéran, C. Paulin-Mohring
Explore Series
Paperback $89.99
Title: Image Analysis: 20th Scandinavian Conference, SCIA 2017, Tromsø, Norway, June 12-14, 2017, Proceedings, Part I, Author: Puneet Sharma
QUICK ADD
Image Analysis: 20th…
by Puneet Sharma, Filippo Maria Bianchi
#10269 in Series
Paperback $89.99
Title: Theoretical Aspects of Computing - ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, Author: Bernd Fischer
QUICK ADD
Theoretical Aspects of…
by Bernd Fischer, Tarmo Uustalu
#11187 in Series
Paperback $89.99
Title: Practical Software Testing: A Process-Oriented Approach / Edition 1, Author: Ilene Burnstein
QUICK ADD
Practical Software Testing: A…
by Ilene Burnstein
Explore Series
Paperback $89.99
Title: HCI International 2018 - Posters' Extended Abstracts: 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I, Author: Constantine Stephanidis
QUICK ADD
HCI International 2018 -…
by Constantine Stephanidis
#850 in Series
Paperback $89.99
Title: The Game Production Toolbox / Edition 1, Author: Heather Chandler
QUICK ADD
The Game Production Toolbox /…
by Heather Chandler
Paperback $89.99
Title: Advanced Concepts for Intelligent Vision Systems: 20th International Conference, ACIVS 2020, Auckland, New Zealand, February 10-14, 2020, Proceedings, Author: Jacques Blanc-Talon
QUICK ADD
Advanced Concepts for…
by Jacques Blanc-Talon, Patrice Delmas, Wilfried Philips, Dan Popescu, Paul Scheunders
#12002 in Series
Paperback $89.99
Title: Human-Computer Interaction. Design Practice in Contemporary Societies: Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part III, Author: Masaaki Kurosu
QUICK ADD
Human-Computer Interaction.…
by Masaaki Kurosu
#11568 in Series
Paperback $89.99
Title: Beginning 3D Game Development with Unity 4: All-in-one, multi-platform game development / Edition 2, Author: Sue Blackman
QUICK ADD
Beginning 3D Game Development…
by Sue Blackman
Explore Series
Paperback $89.99
Title: Parallel Processing and Applied Mathematics: 13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part I, Author: Roman Wyrzykowski
QUICK ADD
Parallel Processing and…
by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski
#12043 in Series
Paperback $89.99
Title: Machine Learning Projects for .NET Developers / Edition 1, Author: Mathias Brandewinder
QUICK ADD
Machine Learning Projects for …
by Mathias Brandewinder
Paperback $89.99
Title: Intelligence Science and Big Data Engineering. Visual Data Engineering: 9th International Conference, IScIDE 2019, Nanjing, China, October 17-20, 2019, Proceedings, Part I, Author: Zhen Cui
QUICK ADD
Intelligence Science and Big…
by Zhen Cui, Jinshan Pan, Shanshan Zhang, Liang Xiao, Jian Yang
#11935 in Series
Paperback $89.99
Title: Virtual, Augmented and Mixed Reality. Applications and Case Studies: 11th International Conference, VAMR 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II, Author: Jessie Y.C. Chen
QUICK ADD
Virtual, Augmented and Mixed…
by Jessie Y.C. Chen, Gino Fragomeni
#11575 in Series
Paperback $89.99
Title: Image Analysis and Processing - ICIAP 2019: 20th International Conference, Trento, Italy, September 9-13, 2019, Proceedings, Part I, Author: Elisa Ricci
QUICK ADD
Image Analysis and Processing …
by Elisa Ricci, Samuel Rota Bulï, Cees Snoek, Oswald Lanz, Stefano Messelodi
#11751 in Series
Paperback $89.99
Title: Human-Computer Interaction. Perspectives on Design: Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I, Author: Masaaki Kurosu
QUICK ADD
Human-Computer Interaction.…
by Masaaki Kurosu
#11566 in Series
Paperback $89.99
Title: Continuous System Simulation / Edition 1, Author: Franïois E. Cellier
QUICK ADD
Continuous System Simulation /…
by Franïois E. Cellier, Ernesto Kofman
Paperback $89.99
Title: Graphics and Multimedia for the Web with Adobe Creative Cloud: Navigating the Adobe Software Landscape, Author: Jennifer Harder
QUICK ADD
Graphics and Multimedia for…
by Jennifer Harder
Paperback $89.99
Title: Statistical Methods for Environmental Epidemiology with R: A Case Study in Air Pollution and Health / Edition 1, Author: Roger D. Peng
QUICK ADD
Statistical Methods for…
by Roger D. Peng, Francesca Dominici
Explore Series
Paperback $89.99
Title: The Design and Analysis of Algorithms / Edition 1, Author: Dexter C. Kozen
QUICK ADD
The Design and Analysis of…
by Dexter C. Kozen
Explore Series
Paperback $89.99
Title: ASP.NET Core Recipes: A Problem-Solution Approach / Edition 2, Author: John Ciliberti
QUICK ADD
ASP.NET Core Recipes: A…
by John Ciliberti
Paperback $89.99

Pagination Links