Subject Compsci Books Categories

Subject Compsci Categories Books ListSubject Compsci Books Categories

Information Theory: From Coding to Learning (Hardcover)

Information Theory: From Coding to Learning (Hardcover)

Information Theory: From Coding to Learning (Hardcover)

By: Yury Polyanskiy

An Introduction to the Analysis of Algorithms (2nd Edition)

An Introduction to the Analysis of Algorithms (2nd Edition)

An Introduction to the Analysis of Algorithms (2nd Edition)

By: Robert Sedgewick

An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science)

An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science)

An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science)

By: Ming Li

Why Philosophers Should Care About Computational Complexity (ebook)

Why Philosophers Should Care About Computational Complexity (ebook)

Why Philosophers Should Care About Computational Complexity (ebook)

By: Scott Aaronson

Basic Category Theory for Computer Scientists (Foundations of Computing)

Basic Category Theory for Computer Scientists (Foundations of Computing)

Basic Category Theory for Computer Scientists (Foundations of Computing)

By: Benjamin C. Pierce

Computability and Logic (Paperback)

Computability and Logic (Paperback)

Computability and Logic (Paperback)

By: George S. Boolos

Computational Category Theory (Prentice-hall International Series in Computer Science)

Computational Category Theory (Prentice-hall International Series in Computer Science)

Computational Category Theory (Prentice-hall International Series in Computer Science)

By: D.E. Rydeheard

Descriptive Complexity (Texts in Computer Science)

Descriptive Complexity (Texts in Computer Science)

Descriptive Complexity (Texts in Computer Science)

By: Neil Immerman

Super-Recursive Algorithms (Monographs in Computer Science)

Super-Recursive Algorithms (Monographs in Computer Science)

Super-Recursive Algorithms (Monographs in Computer Science)

By: Mark Burgin

Introduction to Topological Quantum Matter & Quantum Computation (Hardcover)

Introduction to Topological Quantum Matter & Quantum Computation (Hardcover)

Introduction to Topological Quantum Matter & Quantum Computation (Hardcover)

By: Tudor D Stanescu

Introduction to Topological Quantum Computation (Hardcover)

Introduction to Topological Quantum Computation (Hardcover)

Introduction to Topological Quantum Computation (Hardcover)

By: Jiannis K. Pachos

Facing the Intelligence Explosion (Kindle Edition)

Facing the Intelligence Explosion (Kindle Edition)

Facing the Intelligence Explosion (Kindle Edition)

By: Luke Muehlhauser

Representations of Groups: A Computational Approach (Cambridge Studies in Advanced Mathematics, Series Number 124)

Representations of Groups: A Computational Approach (Cambridge Studies in Advanced Mathematics, Series Number 124)

Representations of Groups: A Computational Approach (Cambridge Studies in Advanced Mathematics, Series Number 124)

By: Klaus Lux

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

By: Bart Jacobs

Algebraic Theory of Automata Networks: A Introduction (Monographs on Discrete Mathematics and Applications, Series Number 11)

Algebraic Theory of Automata Networks: A Introduction (Monographs on Discrete Mathematics and Applications, Series Number 11)

Algebraic Theory of Automata Networks: A Introduction (Monographs on Discrete Mathematics and Applications, Series Number 11)

By: Pal Domosi

Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning (Hardcover)

Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning (Hardcover)

Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning (Hardcover)

By: Bob Coecke

Topological Quantum Computation (Regional Conference Series in Mathematics / Conference Board of the Mathematical Sciences, No. 112)

Topological Quantum Computation (Regional Conference Series in Mathematics / Conference Board of the Mathematical Sciences, No. 112)

Topological Quantum Computation (Regional Conference Series in Mathematics / Conference Board of the Mathematical Sciences, No. 112)

By: Zhenghan Wang

Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)

Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)

Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)

By: J. Lambek

The Nature of Computation (Hardcover)

The Nature of Computation (Hardcover)

The Nature of Computation (Hardcover)

By: Cristopher Moore

Intuitionistic Type Theory (Paperback)

Intuitionistic Type Theory (Paperback)

Intuitionistic Type Theory (Paperback)

By: Per Martin-Löf

The Hanson-Yudkowsky AI-Foom Debate (Kindle Edition)

The Hanson-Yudkowsky AI-Foom Debate (Kindle Edition)

The Hanson-Yudkowsky AI-Foom Debate (Kindle Edition)

By: Robin Hanson

Homotopy Type Theory (ebook)

Homotopy Type Theory (ebook)

Homotopy Type Theory (ebook)

By: The Univalent Foundations Program

Mathematics for Machine Learning: 1st Edition (Kindle Edition)

Mathematics for Machine Learning: 1st Edition (Kindle Edition)

Mathematics for Machine Learning: 1st Edition (Kindle Edition)

By: Marc Peter Deisenroth

Artificial Intelligence Safety and Security (Chapman & Hall/CRC Artificial Intelligence and Robotics Series)

Artificial Intelligence Safety and Security (Chapman & Hall/CRC Artificial Intelligence and Robotics Series)

Artificial Intelligence Safety and Security (Chapman & Hall/CRC Artificial Intelligence and Robotics Series)

By: Roman V. Yampolskiy

The Alignment Problem: Machine Learning and Human Values (Hardcover)

The Alignment Problem: Machine Learning and Human Values (Hardcover)

The Alignment Problem: Machine Learning and Human Values (Hardcover)

By: Brian Christian

Theoretical Computer Science for the Working Category Theorist (Elements in Applied Category Theory)

Theoretical Computer Science for the Working Category Theorist (Elements in Applied Category Theory)

Theoretical Computer Science for the Working Category Theorist (Elements in Applied Category Theory)

By: Noson S. Yanofsky

Quantum Computing Since Democritus (Paperback)

Quantum Computing Since Democritus (Paperback)

Quantum Computing Since Democritus (Paperback)

By: Scott Aaronson

Convex Optimization (Hardcover)

Convex Optimization (Hardcover)

Convex Optimization (Hardcover)

By: Stephen Boyd

Monte Carlo Simulation in Statistical Physics: An Introduction (Springer Series in Solid-State Sciences)

Monte Carlo Simulation in Statistical Physics: An Introduction (Springer Series in Solid-State Sciences)

Monte Carlo Simulation in Statistical Physics: An Introduction (Springer Series in Solid-State Sciences)

By: Kurt Binder

The Promise of Artificial Intelligence: Reckoning and Judgment (Mit Press)

The Promise of Artificial Intelligence: Reckoning and Judgment (Mit Press)

The Promise of Artificial Intelligence: Reckoning and Judgment (Mit Press)

By: Brian Cantwell Smith

Algebraic Geometry and Statistical Learning Theory (Cambridge Monographs on Applied and Computational Mathematics, Series Number 25)

Algebraic Geometry and Statistical Learning Theory (Cambridge Monographs on Applied and Computational Mathematics, Series Number 25)

Algebraic Geometry and Statistical Learning Theory (Cambridge Monographs on Applied and Computational Mathematics, Series Number 25)

By: Sumio Watanabe

Recursiveness (Hardcover)

Recursiveness (Hardcover)

Recursiveness (Hardcover)

By: Samuel; Elgot Eilenberg

Goedel's Way: Exploits into an undecidable world (Paperback)

Goedel's Way: Exploits into an undecidable world (Paperback)

Goedel's Way: Exploits into an undecidable world (Paperback)

By: Gregory Chaitin

Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy (Hardcover)

Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy (Hardcover)

Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy (Hardcover)

By: David Corfield

Computational Complexity: A Modern Approach (Hardcover)

Computational Complexity: A Modern Approach (Hardcover)

Computational Complexity: A Modern Approach (Hardcover)

By: Sanjeev Arora

Coding the Matrix: Linear Algebra through Computer Science Applications (Paperback)

Coding the Matrix: Linear Algebra through Computer Science Applications (Paperback)

Coding the Matrix: Linear Algebra through Computer Science Applications (Paperback)

By: Philip N. Klein

Vision: A Computational Investigation into the Human Representation and Processing of Visual Information (Paperback)

Vision: A Computational Investigation into the Human Representation and Processing of Visual Information (Paperback)

Vision: A Computational Investigation into the Human Representation and Processing of Visual Information (Paperback)

By: David Marr

On the Origin of Objects (Bradford Books)

On the Origin of Objects (Bradford Books)

On the Origin of Objects (Bradford Books)

By: Brian Cantwell Smith

Eigenvalues of Matrices (Classics in Applied Mathematics, Series Number 71)

Eigenvalues of Matrices (Classics in Applied Mathematics, Series Number 71)

Eigenvalues of Matrices (Classics in Applied Mathematics, Series Number 71)

By: Françoise Chaitin-Chatelin

What Computers Still Can't Do: A Critique of Artificial Reason (Paperback)

What Computers Still Can't Do: A Critique of Artificial Reason (Paperback)

What Computers Still Can't Do: A Critique of Artificial Reason (Paperback)

By: Hubert L. Dreyfus

Limits on Efficient Computation in the Physical World (ebook)

Limits on Efficient Computation in the Physical World (ebook)

Limits on Efficient Computation in the Physical World (ebook)

By: Scott Aaronson

Deep Learning (ebook)

Deep Learning (ebook)

Deep Learning (ebook)

By: Ian Goodfellow

As We May Think (Unknown Binding)

As We May Think (Unknown Binding)

As We May Think (Unknown Binding)

By: Vannevar Bush

Feynman Lectures On Computation (Frontiers in Physics)

Feynman Lectures On Computation (Frontiers in Physics)

Feynman Lectures On Computation (Frontiers in Physics)

By: Richard P. Feynman

Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations (Hardcover)

Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations (Hardcover)

Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations (Hardcover)

By: Yoav Shoham

Energy Limits in Computation: A Review of Landauer's Principle, Theory and Experiments (Hardcover)

Energy Limits in Computation: A Review of Landauer's Principle, Theory and Experiments (Hardcover)

Energy Limits in Computation: A Review of Landauer's Principle, Theory and Experiments (Hardcover)

By: Craig S. Lent

Elliptic Curves: Number Theory and Cryptography (Hardcover)

Elliptic Curves: Number Theory and Cryptography (Hardcover)

Elliptic Curves: Number Theory and Cryptography (Hardcover)

By: Lawrence C. Washington

The Algorithmic Beauty of Plants (The Virtual Laboratory)

The Algorithmic Beauty of Plants (The Virtual Laboratory)

The Algorithmic Beauty of Plants (The Virtual Laboratory)

By: Przem Prusinkiewicz