Filepdf

Comp 3 Books Categories

Comp 3 Categories Books ListComp 3 Books Categories

Mathematical Logic for Computer Science (Paperback)

Mathematical Logic for Computer Science (Paperback)

Mathematical Logic for Computer Science (Paperback)

By: Mordechai Ben-Ari

Randomized Algorithms (Hardcover)

Randomized Algorithms (Hardcover)

Randomized Algorithms (Hardcover)

By: Rajeev Motwani

Approximation Theory and Approximation Practice (Applied Mathematics)

Approximation Theory and Approximation Practice (Applied Mathematics)

Approximation Theory and Approximation Practice (Applied Mathematics)

By: Lloyd N. Trefethen

Mathematical Foundations of Information Theory (Dover Books on Mathematics)

Mathematical Foundations of Information Theory (Dover Books on Mathematics)

Mathematical Foundations of Information Theory (Dover Books on Mathematics)

By: Aleksandr Yakovlevich Khinchin

GQL Scope and Features (Unknown Binding)

GQL Scope and Features (Unknown Binding)

GQL Scope and Features (Unknown Binding)

By: Neo4j Query Languages Standards and Research Team

Modern Coding Theory (Hardcover)

Modern Coding Theory (Hardcover)

Modern Coding Theory (Hardcover)

By: Tom Richardson

Coding and Information Theory (Graduate Texts in Mathematics, 134)

Coding and Information Theory (Graduate Texts in Mathematics, 134)

Coding and Information Theory (Graduate Texts in Mathematics, 134)

By: Steven Roman

An Introduction to Functional Programming Through Lambda Calculus (Paperback)

An Introduction to Functional Programming Through Lambda Calculus (Paperback)

An Introduction to Functional Programming Through Lambda Calculus (Paperback)

By: Greg Michaelson

Convex Optimization (Hardcover)

Convex Optimization (Hardcover)

Convex Optimization (Hardcover)

By: Stephen Boyd

Introduction to Automata Theory, Languages, and Computation (Hardcover)

Introduction to Automata Theory, Languages, and Computation (Hardcover)

Introduction to Automata Theory, Languages, and Computation (Hardcover)

By: John E. Hopcroft

Computational Geometry: Algorithms and Applications (Hardcover)

Computational Geometry: Algorithms and Applications (Hardcover)

Computational Geometry: Algorithms and Applications (Hardcover)

By: Mark de Berg

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)

By: Adam Chlipala

Convex Optimization Algorithms (Hardcover)

Convex Optimization Algorithms (Hardcover)

Convex Optimization Algorithms (Hardcover)

By: Dmitri P. Bertsekas

Numerical Optimization (Springer Series in Operations Research and Financial Engineering)

Numerical Optimization (Springer Series in Operations Research and Financial Engineering)

Numerical Optimization (Springer Series in Operations Research and Financial Engineering)

By: Jorge Nocedal

The Little Typer (Mit Press)

The Little Typer (Mit Press)

The Little Typer (Mit Press)

By: Daniel P. Friedman

Computational Geometry: An Introduction (Texts and Monographs in Computer Science)

Computational Geometry: An Introduction (Texts and Monographs in Computer Science)

Computational Geometry: An Introduction (Texts and Monographs in Computer Science)

By: Franco P. Preparata

Numerical Methods in Matrix Computations (Texts in Applied Mathematics)

Numerical Methods in Matrix Computations (Texts in Applied Mathematics)

Numerical Methods in Matrix Computations (Texts in Applied Mathematics)

By: Åke Björck

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

By: Daniel Kroening

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition

By: Henk Barendregt

Fundamentals of Matrix Computations (Hardcover)

Fundamentals of Matrix Computations (Hardcover)

Fundamentals of Matrix Computations (Hardcover)

By: David S. Watkins

Concrete Semantics (ebook)

Concrete Semantics (ebook)

Concrete Semantics (ebook)

By: Tobias Nipkow

Theorem Proving in Lean (ebook)

Theorem Proving in Lean (ebook)

Theorem Proving in Lean (ebook)

By: Jeremy Avigad

The Reasoned Schemer (Paperback)

The Reasoned Schemer (Paperback)

The Reasoned Schemer (Paperback)

By: Daniel P. Friedman

Readings in Database Systems, Third Edition (The Morgan Kaufmann Series in Data Management Systems)

Readings in Database Systems, Third Edition (The Morgan Kaufmann Series in Data Management Systems)

Readings in Database Systems, Third Edition (The Morgan Kaufmann Series in Data Management Systems)

By: Joseph M. Hellerstein

Probability and Computing: Randomized Algorithms and Probabilistic Analysis (Hardcover)

Probability and Computing: Randomized Algorithms and Probabilistic Analysis (Hardcover)

Probability and Computing: Randomized Algorithms and Probabilistic Analysis (Hardcover)

By: Michael Mitzenmacher

Entropy and Information Theory (Hardcover)

Entropy and Information Theory (Hardcover)

Entropy and Information Theory (Hardcover)

By: Robert M. Gray

Matrix Computations (Johns Hopkins Studies in Mathematical Sciences)(3rd Edition)

Matrix Computations (Johns Hopkins Studies in Mathematical Sciences)(3rd Edition)

Matrix Computations (Johns Hopkins Studies in Mathematical Sciences)(3rd Edition)

By: Gene H. Golub

Coding and Information Theory (Hardcover)

Coding and Information Theory (Hardcover)

Coding and Information Theory (Hardcover)

By: Richard Hamming

An Introduction to the Analysis of Algorithms (Hardcover)

An Introduction to the Analysis of Algorithms (Hardcover)

An Introduction to the Analysis of Algorithms (Hardcover)

By: Robert Sedgewick

The Design and Analysis of Algorithms (Monographs in Computer Science)

The Design and Analysis of Algorithms (Monographs in Computer Science)

The Design and Analysis of Algorithms (Monographs in Computer Science)

By: Dexter C. Kozen

Lambda Calculus with Types (Perspectives in Logic)

Lambda Calculus with Types (Perspectives in Logic)

Lambda Calculus with Types (Perspectives in Logic)

By: Henk Barendregt

Functional Programming in Scala (Paperback)

Functional Programming in Scala (Paperback)

Functional Programming in Scala (Paperback)

By: Rúnar Bjarnason

Computer Systems: A Programmer's Perspective (Hardcover)

Computer Systems: A Programmer's Perspective (Hardcover)

Computer Systems: A Programmer's Perspective (Hardcover)

By: Randal E. Bryant

Seven Databases in Seven Weeks: A Guide to Modern Databases and the NoSQL Movement (Paperback)

Seven Databases in Seven Weeks: A Guide to Modern Databases and the NoSQL Movement (Paperback)

Seven Databases in Seven Weeks: A Guide to Modern Databases and the NoSQL Movement (Paperback)

By: Eric Redmond

Lambda-Calculus and Combinators: An Introduction (Hardcover)

Lambda-Calculus and Combinators: An Introduction (Hardcover)

Lambda-Calculus and Combinators: An Introduction (Hardcover)

By: J. Roger Hindley

Introduction to Coding Theory (Graduate Texts in Mathematics, 86)

Introduction to Coding Theory (Graduate Texts in Mathematics, 86)

Introduction to Coding Theory (Graduate Texts in Mathematics, 86)

By: J.H. Van Lint

Numerical Recipes: The Art of Scientific Computing (Hardcover)

Numerical Recipes: The Art of Scientific Computing (Hardcover)

Numerical Recipes: The Art of Scientific Computing (Hardcover)

By: William H. Press

Analytic Combinatorics (Hardcover)

Analytic Combinatorics (Hardcover)

Analytic Combinatorics (Hardcover)

By: Philippe Flajolet

Compilers: Principles, Techniques, and Tools (Hardcover)

Compilers: Principles, Techniques, and Tools (Hardcover)

Compilers: Principles, Techniques, and Tools (Hardcover)

By: Alfred V. Aho

Logic in Computer Science: Modelling and Reasoning About Systems (Paperback)

Logic in Computer Science: Modelling and Reasoning About Systems (Paperback)

Logic in Computer Science: Modelling and Reasoning About Systems (Paperback)

By: Michael Huth

Principles of Model Checking (Mit Press)

Principles of Model Checking (Mit Press)

Principles of Model Checking (Mit Press)

By: Christel Baier

Introduction to the Theory of Computation (Hardcover)

Introduction to the Theory of Computation (Hardcover)

Introduction to the Theory of Computation (Hardcover)

By: Michael Sipser

The Little Schemer (Paperback)

The Little Schemer (Paperback)

The Little Schemer (Paperback)

By: Daniel P. Friedman

The Little Prover (Paperback)

The Little Prover (Paperback)

The Little Prover (Paperback)

By: Daniel P. Friedman

Learn You a Haskell for Great Good! (ebook)

Learn You a Haskell for Great Good! (ebook)

Learn You a Haskell for Great Good! (ebook)

By: Miran Lipovača

Distributed Systems: Principles and Paradigms (Paperback)

Distributed Systems: Principles and Paradigms (Paperback)

Distributed Systems: Principles and Paradigms (Paperback)

By: Andrew S. Tanenbaum

Modern Operating Systems (Hardcover)

Modern Operating Systems (Hardcover)

Modern Operating Systems (Hardcover)

By: Andrew S. Tanenbaum

Computer Graphics: Principles and Practice (Hardcover)

Computer Graphics: Principles and Practice (Hardcover)

Computer Graphics: Principles and Practice (Hardcover)

By: Andries van Dam