Browse Books: Computers / Programming

Software Verification and Validation: An Engineering and Scientific Approach By Marcus S. Fisher Cover Image

Software Verification and Validation: An Engineering and Scientific Approach (Paperback)
By Marcus S. Fisher
$99.99
Usually arrives at our store within 4-7 days

Principles of Computer Graphics: Theory and Practice Using OpenGL and Maya(r) By Shalini Govil-Pai Cover Image

Principles of Computer Graphics: Theory and Practice Using OpenGL and Maya(r) (Paperback)
By Shalini Govil-Pai
$54.99
Usually arrives at our store within 4-7 days

Introduction to Databases: From Biological to Spatio-Temporal (Texts in Computer Science) By Peter Revesz Cover Image

Introduction to Databases: From Biological to Spatio-Temporal (Texts in Computer Science) (Paperback)
By Peter Revesz
$119.00
Usually arrives at our store within 4-7 days

Understanding Concurrent Systems (Texts in Computer Science) By A. W. Roscoe Cover Image

Understanding Concurrent Systems (Texts in Computer Science) (Paperback)
By A. W. Roscoe
$54.99
Usually arrives at our store within 4-7 days

First-Order Logic and Automated Theorem Proving (Texts in Computer Science) By Melvin Fitting Cover Image

First-Order Logic and Automated Theorem Proving (Texts in Computer Science) (Paperback)
By Melvin Fitting
$99.99
Usually arrives at our store within 4-7 days

The Simd Model of Parallel Computation By Robert Cypher, Jorge L. C. Sanz Cover Image

The Simd Model of Parallel Computation (Paperback)
By Robert Cypher, Jorge L. C. Sanz
$54.99
Usually arrives at our store within 4-7 days

Semigroups in Complete Lattices: Quantales, Modules and Related Topics (Developments in Mathematics #54) By Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle Cover Image

Semigroups in Complete Lattices: Quantales, Modules and Related Topics (Developments in Mathematics #54) (Hardcover)
By Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle
$129.99
Usually arrives at our store within 4-7 days

Computer Safety, Reliability, and Security: Safecomp 2018 Workshops, Assure, Decsos, Sassur, Strive, and Waise, Västerås, Sweden, September 18, 2018, By Barbara Gallina (Editor), Amund Skavhaug (Editor), Erwin Schoitsch (Editor) Cover Image

Computer Safety, Reliability, and Security: Safecomp 2018 Workshops, Assure, Decsos, Sassur, Strive, and Waise, Västerås, Sweden, September 18, 2018, (Paperback)
By Barbara Gallina (Editor), Amund Skavhaug (Editor), Erwin Schoitsch (Editor)
$89.99
Usually arrives at our store within 4-7 days

Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. an Eatcs) By Yves Bertot, G. Huet (Foreword by), Pierre Castéran Cover Image

Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. an Eatcs) (Hardcover)
By Yves Bertot, G. Huet (Foreword by), Pierre Castéran
$119.99
Usually arrives at our store within 4-7 days

Verification of Business Rules Programs By Bruno Berstel-Da Silva Cover Image

Verification of Business Rules Programs (Hardcover)
By Bruno Berstel-Da Silva
$54.99
Usually arrives at our store within 4-7 days

A Geographer's Guide to Computing Fundamentals: Python in ArcGIS Pro (Springer Textbooks in Earth Sciences) By Jamison Conley Cover Image

A Geographer's Guide to Computing Fundamentals: Python in ArcGIS Pro (Springer Textbooks in Earth Sciences) (Paperback)
By Jamison Conley
$54.99
Usually arrives at our store within 4-7 days

GPT-4 for Developers By Oswald Campesato Cover Image

GPT-4 for Developers (Paperback)
By Oswald Campesato
$49.99
Backordered

Pages