Computer programming & software development books

71424 books were found.

Proof Theory: Sequent Calculi and Related Formalisms

Proof Theory: Sequent Calculi and Related Formalisms...
Author: Katalin Bimbo ISBN: 9781032920771 Format: Paperback	$120.00
Read More >>

Information Services Design: A Design Science Approach for Sustainable Knowledge

Information Services Design: A Design Science Approach...
Author: Fons Wijnhoven (Twente University, the Netherlands) ISBN: 9781032925257 Format: Paperback	$83.99
Read More >>

Combinatory Logic: Pure, Applied and Typed

Combinatory Logic: Pure, Applied and Typed
Author: Katalin Bimbo ISBN: 9781032921181 Format: Paperback	$120.00
Read More >>

Undocumented Secrets of MATLAB-Java Programming

Undocumented Secrets of MATLAB-Java Programming
Author: Yair M. Altman ISBN: 9781032917740 Format: Paperback	$252.00
Read More >>

Fast Solvers for Mesh-Based Computations

Fast Solvers for Mesh-Based Computations
Author: Maciej Paszynski ISBN: 9781032921440 Format: Paperback	$158.00
Read More >>

Games User Research: A Case Study Approach

Games User Research: A Case Study Approach
Author: Miguel Angel Garcia-Ruiz (Algoma University, Sault Ste. Marie, ON, Canada) ISBN: 9781032923208 Format: Paperback	$94.99
Read More >>

Lattice Basis Reduction: An Introduction to the LLL Algorithm and Its Applications

Lattice Basis Reduction: An Introduction to the LLL...
Author: Murray R. Bremner ISBN: 9781032921822 Format: Paperback	$120.00
Read More >>

Applications of Combinatorial Matrix Theory to Laplacian Matrices of Graphs

Applications of Combinatorial Matrix Theory to Laplacian...
Author: Jason J. Molitierno ISBN: 9781032920078 Format: Paperback	$120.00
Read More >>

Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings

Model Checking Software: 30th International Symposium,...
Author: Thomas Neele , Anton Wijs ISBN: 9783031661488 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN... Read More >>

Testing the Creditcoin Blockchain: A Daily Account from a Test Engineer's Perspective

Testing the Creditcoin Blockchain: A Daily Account from...
Author: Alexander Todorov ISBN: 9798868808722 Format: Paperback	$142.29
Follow the quality engineering journey of the Creditcoin blockchain across four distinct implementation versions... Read More >>

Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning: 17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28–30, 2024, Proceedings

Informatics in Schools. Innovative Approaches to Computer...
Author: Zsuzsa Pluhár , Bence Gaál ISBN: 9783031734731 Format: Paperback	$145.17
This book constitutes the proceedings of the 17th International Conference on Informatics in Schools: Situation,... Read More >>

Society 5.0: 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26–28, 2024, Revised Selected Papers

Society 5.0: 4th International Conference, Society 5.0...
Author: Knut Hinkelmann , Hanlie Smuts ISBN: 9783031714115 Format: Paperback	$263.97
This book constitutes of the revised selected papers from the 4th International Conference on Society 5.0, Society... Read More >>

Logic Programming and Nonmonotonic Reasoning: 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings

Logic Programming and Nonmonotonic Reasoning: 17th International...
Author: Carmine Dodaro , Gopal Gupta ISBN: 9783031742088 Format: Paperback	$369.57
This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic... Read More >>

Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

Runtime Verification: 24th International Conference,...
Author: Erika Ábrahám , Houssam Abbas ISBN: 9783031742330 Format: Paperback	$158.37
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV... Read More >>

Computational Thinking: First Algorithms, Then Code

Computational Thinking: First Algorithms, Then Code...
Author: Paolo Ferragina , Fabrizio Luccio ISBN: 9783031599217 Format: Paperback	$116.41
This book offers a gentle motivation and introduction to computational thinking, in particular to algorithms and... Read More >>

Azure SQL Revealed: The Next-Generation Cloud Database with AI and Microsoft Fabric

Azure SQL Revealed: The Next-Generation Cloud Database...
Author: Bob Ward ISBN: 9798868809736 Format: Paperback	$131.97
Access detailed content and examples on Azure SQL, a set of cloud services that allows for SQL Server to be deployed... Read More >>

Conservation of Twentieth-Century Furniture

Conservation of Twentieth-Century Furniture
Author: Jake Kaner , Clive Edwards (Loughborough University, UK) ISBN: 9780750656023 Format: Hardback	$452.00
Conservation of 20th Century Furniture provides a comprehensive coverage of materials and techniques that are encountered... Read More >>

Agronomy Algorithm

Agronomy Algorithm
Author: Neetu Sharma , B.C. Sharma ISBN: 9781032388854 Format: Paperback	$96.99
Read More >>

China’s Digital Civilization: Algorithms and Society

China’s Digital Civilization: Algorithms and Society...
Author: Michael Filimowicz (Simon Fraser University, Canada) ISBN: 9781032290690 Format: Paperback	$41.99
This book focuses on the ‘algorithmic turn’ in state surveillance and the development of new platforms that allow... Read More >>

SDN-Supported Edge-Cloud Interplay for Next Generation Internet of Things

SDN-Supported Edge-Cloud Interplay for Next Generation...
Author: Kshira Sagar Sahoo , Arun Solanki (GBU) ISBN: 9781032398655 Format: Paperback	$94.99
Read More >>

Bio-Inspired Optimization in Fog and Edge Computing Environments: Principles, Algorithms, and Systems

Bio-Inspired Optimization in Fog and Edge Computing...
Author: Punit Gupta , Dinesh Kumar Saini ISBN: 9781032345895 Format: Paperback	$103.00
Read More >>

Current Applications of Deep Learning in Cancer Diagnostics

Current Applications of Deep Learning in Cancer Diagnostics...
Author: Jyotismita Chaki , Aysegul Ucar ISBN: 9781032223193 Format: Paperback	$94.99
Read More >>

Multi-Criteria Decision Models in Software Reliability: Methods and Applications

Multi-Criteria Decision Models in Software Reliability:...
Author: Ashish Mishra (Gyan Ganga Institute of Technology and Sciences, India) , Nguyen Thi Dieu Linh (Hanoi University of Industry, Vietnam) ISBN: 9781032342542 Format: Paperback	$96.99
Read More >>

Customizable and Adaptive Quantum Processors: Theory and Applications

Customizable and Adaptive Quantum Processors: Theory...
Author: Nadia Nedjah (State University of Rio de Janeiro, Brazil) , Luiza De Macedo Mourelle (State Ubi of Rio de Janeiro, Brazil) ISBN: 9781032382326 Format: Paperback	$41.99
Read More >>

An Integrated Approach to Home Security and Safety Systems

An Integrated Approach to Home Security and Safety Systems...
Author: Sonali Goyal , Neera Batra (MM University, India) ISBN: 9781032111384 Format: Paperback	$94.99
Read More >>

Page 4 of 2857 1 2 3 4 5 6 7 8 9 10 ...

Sub Categories for

Computer programming & software development

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now