Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers by Gale Research Inc 9783030035914
Booksplease Price: $90.83This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford,... -
Essential Computer Animation fast: How to Understand the Techniques and Potential of Computer Animation by John Vince 9781852331412
Booksplease Price: $71.06Computer Animation is now worlds away from its early beginnings when programs merely mimicked the hand drawn cartoon process. Its now regularly used for creating wonderful special effects in major... -
Domain-Specific Languages: Effective Modeling, Automation, and Reuse by Andrzej Wąsowski 9783031236686
RRP: $107.23Booksplease Price: $90.25This textbook describes the theory and the pragmatics of using and engineering high-level software languages - also known as modeling or domain-specific languages (DSLs) - for creating quality... -
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers by Jim Davies 9783642198281
Booksplease Price: $90.25This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full... -
The Ignite Project: A Journey in Scrum by Niyousha Raeesinejad 9789811948039
Booksplease Price: $80.65This guidebook highlights the process of a software internship project facilitated by the Schulich School of Engineering. The Scrum Team is comprised of student developers pursuing either a master’s... -
Visual Question Answering: From Theory to Application by Qi Wu 9789811909665
Booksplease Price: $176.59Visual Question Answering (VQA) usually combines visual inputs like image and video with a natural language question concerning the input and generates a natural language answer as the output. This... -
Computer Graphics and Imaging by Branislav Sobota 9781839622823
RRP: $232.05Booksplease Price: $207.29Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781839622823Author Branislav SobotaFormat HardbackPage Count 108Imprint -
Automating DevOps with GitLab CI/CD Pipelines: Build efficient CI/CD pipelines to verify, secure, and deploy your code using real-life examples by Christopher Cowell 9781803233000
Booksplease Price: $66.28Use GitLab CI/CD pipelines for automating and deploying different steps of your software development lifecycle using best practices and troubleshooting methods. Key Features Automate and... -
Intelligent Crowdsourced Testing by Qing Wang 9789811696428
Booksplease Price: $179.24In an article for Wired Magazine in 2006, Jeff Howe defined crowdsourcing as an idea for outsourcing a task that is traditionally performed by a single employee to a large group of people in the form... -
GKS Theory and Practice by Peter R. Bono 9783642729324
Booksplease Price: $176.59Eurographics, the European Association for Computer Graphics, has always been an important forum for discussions and presentation of results concerning the first ISO Graphical Standard, GKS (the... -
Performance Evaluation Methodologies and Tools: 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, Proceedings by Evangelia Kalyvianaki 9783031488849
Booksplease Price: $109.43This volume contains the proceedings of the 16th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2023, which took place in Heraklion, Crete during September... -
Lean Enterprise Software and Systems: 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings by Brian Fitzgerald 9783642449291
Booksplease Price: $84.49This book contains the refereed proceedings of the 4th International Conference on Lean Enterprise Software and Systems, LESS 2013, held in Galway, Ireland, in December 2013. LESS fosters... -
Software Architecture: 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14–18, 2020, Proceedings by Henry Muccini 9783030591540
Booksplease Price: $177.18This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference on Software Architecture, ECSA 2020, held in L'Aquila, Italy*, in September... -
Novel Diffusion-Based Models for Image Restoration and Interpolation by Tudor Barbu 9783030065669
Booksplease Price: $179.24This book covers two essential PDE-based image processing fields: image denoising and image inpainting. It describes the state-of-the-art PDE-based image restoration and interpolation (inpainting)... -
Create your own 3D games with Blender Game Engine: Like pros by Gregory Gossellin De Benicourt 9791093846019
Booksplease Price: $138.82Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9791093846019Author Gregory Gossellin De BenicourtFormat PaperbackPage Count -
Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings by Wei Dong 9783031212123
Booksplease Price: $109.43Sorry no description is available for this book at this time. -
The IOTA Programming System: A Modular Programming Environment by R. Nakajima 9783540126935
Booksplease Price: $90.83Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540126935Author R. NakajimaFormat PaperbackPage Count 217Imprint -
High-Integrity Software by C. T. Sennett 9781468457773
Booksplease Price: $90.834. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions 95 100 4. 8 Conclusions 5 Reliable programming... -
Intelligent Wavelet Based Techniques for Advanced Multimedia Applications by Rajiv Singh 9783030318758
RRP: $175.48Booksplease Price: $156.43This book contains high-quality research articles and reviews that promote research and reflect the most recent advances in intelligent wavelet based techniques for advanced multimedia applications... -
Selenium WebDriver Quick Start Guide: Write clear, readable, and reliable tests with Selenium WebDriver 3 by Pinakin Chaubal 9781789612486
Booksplease Price: $56.61Get writing tests and learn to design your own testing framework with Selenium WebDriver API Key Features Learn Selenium from the ground up Design your own testing framework Create reusable... -
Modern Geometric Computing for Visualization by Tosiyasu L. Kunii 9784431682097
RRP: $87.73Booksplease Price: $87.42This volume is on "modem geometric computing for visualization" which is at the forefront of multi-disciplinary advanced research areas. This area is attracting intensive research interest across... -
Test Drive Blender: A Starter Manual for New Users by John M. Blain 9781498799140
RRP: $97.48Booksplease Price: $90.66This book will introduce you to the controls and steer you towards understanding what Blender can do. With this program you can create 3D models of objects and characters. The objects and characters... -
The Design of Requirements Modelling Languages: How to Make Formalisms for Problem Solving in Requirements Engineering by Ivan Jureta 9783319188201
Booksplease Price: $90.25This book explains in detail how to define requirements modelling languages - formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages... -
End-User Development: 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings by Paloma Diaz 9783319184241
Booksplease Price: $80.65This book constitutes the refereed proceedings of the 5th International Symposium on End-User Development, IS-EUD 2015, held in Madrid, Spain, in May 2015. The 10 full papers and 13 short papers were... -
Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data: Third International Workshop, STIA 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers by Stanley Durrleman 9783319149042
Booksplease Price: $71.06This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data, STIA 2014,... -
Job Scheduling Strategies for Parallel Processing: 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers by Dalibor Klusacek 9783030631703
Booksplease Price: $90.25This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2020, held in New Orleans, LA,... -
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings by Ritchie Lee 9783030557539
Booksplease Price: $129.21This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.* The 20 full and 5 short papers presented in... -
Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers by Zhenhua Duan 9783319577074
Booksplease Price: $91.14This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The... -
Transactions on Foundations for Mastering Change I by Bernhard Steffen 9783319465074
Booksplease Price: $90.25The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today's agile system development, which is... -
Computer Vision - ECCV 2020 Workshops: Glasgow, UK, August 23-28, 2020, Proceedings, Part I by Adrien Bartoli 9783030664145
Booksplease Price: $179.24The 6-volume set, comprising the LNCS books 12535 until 12540, constitutes the refereed proceedings of 28 out of the 45 workshops held at the 16th European Conference on Computer Vision, ECCV 2020... -
Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings by Marco Aiello 9783319444819
Booksplease Price: $91.14This book constitutes the refereed proceedings of the 5th European Conference on Service-Oriented and Cloud Computing, ESOCC 2016, held in Vienna, Austria, in September 2016. The 16 full papers... -
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I by Isil Dillig 9783030255398
Booksplease Price: $90.25This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in... -
Computer Vision and Graphics: International Conference, ICCVG 2020, Warsaw, Poland, September 14–16, 2020, Proceedings by Leszek J. Chmielewski 9783030590055
Booksplease Price: $90.25This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, held in Warsaw, Poland, in September 2020. The 20 full papers were selected... -
Spatial Visualization and Professional Competence: The Development of Proficiency Among Digital Artists by Andrew Paquette 9783319912882
Booksplease Price: $90.25The computer graphics (CG) industry is an attractive field for undergraduate students, but employers often find that graduates of CG art programmes are not proficient. The result is that many... -
Models and Tools for Managing Development Processes by Bernhard Westfechtel 9783540667568
Booksplease Price: $90.83The development of products in disciplines such as mechanical, electrical, or software engineering is a challenging task. Costs have to be reduced, the ti- to-market has to be shortened, and quality... -
Image and Video Compression Standards: Algorithms and Architectures by Vasudev Bhaskaran 9781475723601
Booksplease Price: $90.25Image and Video Compression Standards: Algorithms and Architectures presents an introduction to the algorithms and architectures that underpin the image and video compression standards, including... -
Face Detection and Gesture Recognition for Human-Computer Interaction by Ming-Hsuan Yang 9781461355465
Booksplease Price: $176.59Traditionally, scientific fields have defined boundaries, and scientists work on research problems within those boundaries. However, from time to time those boundaries get shifted or blurred to... -
Distributed Infrastructure Support for Electronic Commerce Applications by Hans-Arno Jacobsen 9781461347279
Booksplease Price: $176.59Distributed Infrastructure Support For E-Commerce And Distributed Applications is organized in three parts. The first part constitutes an overview, a more detailed motivation of the problem context,... -
Computer Vision -- ECCV 2014: 13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part IV by Tomas Pajdla 9783319105925
Booksplease Price: $91.81The seven-volume set comprising LNCS volumes 8689-8695 constitutes the refereed proceedings of the 13th European Conference on Computer Vision, ECCV 2014, held in Zurich, Switzerland, in September... -
The Correctness-by-Construction Approach to Programming by Derrick G. Kourie 9783642448546
Booksplease Price: $176.59The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the...