68 Theoretical Computer Science Books Categories

68 Theoretical Computer Science Categories Books List68 Theoretical Computer Science Books Categories

Statistics, Data Mining, and Machine Learning in Astronomy: A Practical Python Guide for the Analysis of Survey Data (Princeton Series in Modern Observational Astronomy)

Statistics, Data Mining, and Machine Learning in Astronomy: A Practical Python Guide for the Analysis of Survey Data (Princeton Series in Modern Observational Astronomy)

Statistics, Data Mining, and Machine Learning in Astronomy: A Practical Python Guide for the Analysis of Survey Data (Princeton Series in Modern Observational Astronomy)

By: Željko Ivezić

Graph Theory with Algorithms and its Applications: In Applied Science and Technology (Hardcover)

Graph Theory with Algorithms and its Applications: In Applied Science and Technology (Hardcover)

Graph Theory with Algorithms and its Applications: In Applied Science and Technology (Hardcover)

By: Santanu Saha Ray

Quantum Computation and Quantum Information (Cambridge Series on Information and the Natural Sciences)

Quantum Computation and Quantum Information (Cambridge Series on Information and the Natural Sciences)

Quantum Computation and Quantum Information (Cambridge Series on Information and the Natural Sciences)

By: Michael A. Nielsen

Automata and Computability (Undergraduate Texts in Computer Science)

Automata and Computability (Undergraduate Texts in Computer Science)

Automata and Computability (Undergraduate Texts in Computer Science)

By: Dexter C. Kozen

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

Mathematical Logic for Computer Science (Paperback)

Mathematical Logic for Computer Science (Paperback)

Mathematical Logic for Computer Science (Paperback)

By: Mordechai Ben-Ari

Generalized Riemann Problems in Computational Fluid Dynamics (Cambridge Monographs on Applied and Computational Mathematics, Series Number 11)

Generalized Riemann Problems in Computational Fluid Dynamics (Cambridge Monographs on Applied and Computational Mathematics, Series Number 11)

Generalized Riemann Problems in Computational Fluid Dynamics (Cambridge Monographs on Applied and Computational Mathematics, Series Number 11)

By: Matania Ben-Artzi

Foundations of Data Science (ebook)

Foundations of Data Science (ebook)

Foundations of Data Science (ebook)

By: Avrim Blum

Automated Theorem Proving: After 25 Years (Contemporary Mathematics)

Automated Theorem Proving: After 25 Years (Contemporary Mathematics)

Automated Theorem Proving: After 25 Years (Contemporary Mathematics)

By: W.W. Bledsoe

Dynamic Programming and Optimal Control, Vol. 2 (Hardcover)

Dynamic Programming and Optimal Control, Vol. 2 (Hardcover)

Dynamic Programming and Optimal Control, Vol. 2 (Hardcover)

By: Dimitri P. Bertsekas

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

Difference Equations by Differential Equation Methods (Cambridge Monographs on Applied and Computational Mathematics, Series Number 27)

Difference Equations by Differential Equation Methods (Cambridge Monographs on Applied and Computational Mathematics, Series Number 27)

Difference Equations by Differential Equation Methods (Cambridge Monographs on Applied and Computational Mathematics, Series Number 27)

By: Peter E. Hydon

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

By: Melvin Fitting

Information Geometry and Its Applications (Applied Mathematical Sciences, 194)

Information Geometry and Its Applications (Applied Mathematical Sciences, 194)

Information Geometry and Its Applications (Applied Mathematical Sciences, 194)

By: Shun-Ichi Amari

Think Before You Compute: A Prelude to Computational Fluid Dynamics (Cambridge Texts in Applied Mathematics, Series Number 61)

Think Before You Compute: A Prelude to Computational Fluid Dynamics (Cambridge Texts in Applied Mathematics, Series Number 61)

Think Before You Compute: A Prelude to Computational Fluid Dynamics (Cambridge Texts in Applied Mathematics, Series Number 61)

By: E.J. Hinch

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

Arithmetic, Proof Theory, and Computational Complexity (Oxford Logic Guides)

Arithmetic, Proof Theory, and Computational Complexity (Oxford Logic Guides)

Arithmetic, Proof Theory, and Computational Complexity (Oxford Logic Guides)

By: Peter Clote

A First Course in the Numerical Analysis of Differential Equations (Cambridge Texts in Applied Mathematics, Series Number 15)

A First Course in the Numerical Analysis of Differential Equations (Cambridge Texts in Applied Mathematics, Series Number 15)

A First Course in the Numerical Analysis of Differential Equations (Cambridge Texts in Applied Mathematics, Series Number 15)

By: Arieh Iserles

Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38) (Volume 0)

Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38) (Volume 0)

Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38) (Volume 0)

By: N. Shankar

Seven Sketches in Compositionality: An Invitation to Applied Category Theory (ebook)

Seven Sketches in Compositionality: An Invitation to Applied Category Theory (ebook)

Seven Sketches in Compositionality: An Invitation to Applied Category Theory (ebook)

By: Brendan Fong

Learning Theory: An Approximation Theory Viewpoint (Cambridge Monographs on Applied and Computational Mathematics, Series Number 24)

Learning Theory: An Approximation Theory Viewpoint (Cambridge Monographs on Applied and Computational Mathematics, Series Number 24)

Learning Theory: An Approximation Theory Viewpoint (Cambridge Monographs on Applied and Computational Mathematics, Series Number 24)

By: Felipe Cucker

Information Theory, Inference, and Learning Algorithms (Paperback)

Information Theory, Inference, and Learning Algorithms (Paperback)

Information Theory, Inference, and Learning Algorithms (Paperback)

By: David J.C. MacKay

Interactive Theorem Proving and Program Development (Hardcover)

Interactive Theorem Proving and Program Development (Hardcover)

Interactive Theorem Proving and Program Development (Hardcover)

By: Yves Bertot

Markov Decision Processes: Discrete Stochastic Dynamic Programming (Wiley Series in Probability and Statistics)

Markov Decision Processes: Discrete Stochastic Dynamic Programming (Wiley Series in Probability and Statistics)

Markov Decision Processes: Discrete Stochastic Dynamic Programming (Wiley Series in Probability and Statistics)

By: Martin L. Puterman

Adaptive Algorithms and Stochastic Approximations (Stochastic Modelling and Applied Probability)

Adaptive Algorithms and Stochastic Approximations (Stochastic Modelling and Applied Probability)

Adaptive Algorithms and Stochastic Approximations (Stochastic Modelling and Applied Probability)

By: Albert Benveniste

Orthogonal Rational Functions (Cambridge Monographs on Applied and Computational Mathematics, Series Number 5)

Orthogonal Rational Functions (Cambridge Monographs on Applied and Computational Mathematics, Series Number 5)

Orthogonal Rational Functions (Cambridge Monographs on Applied and Computational Mathematics, Series Number 5)

By: A. Bultheel

Iterative Krylov Methods for Large Linear Systems (Cambridge Monographs on Applied and Computational Mathematics, Series Number 13)

Iterative Krylov Methods for Large Linear Systems (Cambridge Monographs on Applied and Computational Mathematics, Series Number 13)

Iterative Krylov Methods for Large Linear Systems (Cambridge Monographs on Applied and Computational Mathematics, Series Number 13)

By: Henk A. van der Vorst

The Seventeen Provers of the World (Paperback)

The Seventeen Provers of the World (Paperback)

The Seventeen Provers of the World (Paperback)

By: Freek Wiedijk

Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares (Hardcover)

Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares (Hardcover)

Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares (Hardcover)

By: Stephen Boyd

Analytic Combinatorics (Hardcover)

Analytic Combinatorics (Hardcover)

Analytic Combinatorics (Hardcover)

By: Philippe Flajolet

Handbook of Mathematical Models in Computer Vision (Hardcover)

Handbook of Mathematical Models in Computer Vision (Hardcover)

Handbook of Mathematical Models in Computer Vision (Hardcover)

By: Nikos Paragios

Partial Differential Equation Methods for Image Inpainting (Cambridge Monographs on Applied and Computational Mathematics)

Partial Differential Equation Methods for Image Inpainting (Cambridge Monographs on Applied and Computational Mathematics)

Partial Differential Equation Methods for Image Inpainting (Cambridge Monographs on Applied and Computational Mathematics)

By: Carola-Bibiane Schönlieb

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

Numerical Methods in Physics with Python (Paperback)

Numerical Methods in Physics with Python (Paperback)

Numerical Methods in Physics with Python (Paperback)

By: Alex Gezerlis

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathematics)

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathematics)

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathematics)

By: Martin D. Davis

Extremal Combinatorics: With Applications in Computer Science (Texts in Theoretical Computer Science. An EATCS Series)

Extremal Combinatorics: With Applications in Computer Science (Texts in Theoretical Computer Science. An EATCS Series)

Extremal Combinatorics: With Applications in Computer Science (Texts in Theoretical Computer Science. An EATCS Series)

By: Stasys Jukna

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

High-Order Methods for Incompressible Fluid Flow (Cambridge Monographs on Applied and Computational Mathematics, Series Number 9)

High-Order Methods for Incompressible Fluid Flow (Cambridge Monographs on Applied and Computational Mathematics, Series Number 9)

High-Order Methods for Incompressible Fluid Flow (Cambridge Monographs on Applied and Computational Mathematics, Series Number 9)

By: Michel O. Deville

Operator-Adapted Wavelets, Fast Solvers, and Numerical Homogenization: From a Game Theoretic Approach to Numerical Approximation and Algorithm Design ... Computational Mathematics, Series Number 35) (Hardcover)

Operator-Adapted Wavelets, Fast Solvers, and Numerical Homogenization: From a Game Theoretic Approach to Numerical Approximation and Algorithm Design ... Computational Mathematics, Series Number 35) (Hardcover)

Operator-Adapted Wavelets, Fast Solvers, and Numerical Homogenization: From a Game Theoretic Approach to Numerical Approximation and Algorithm Design ... Computational Mathematics, Series Number 35) (Hardcover)

By: Houman Owhadi

Schwarz-Christoffel Mapping (Cambridge Monographs on Applied and Computational Mathematics, Series Number 8)

Schwarz-Christoffel Mapping (Cambridge Monographs on Applied and Computational Mathematics, Series Number 8)

Schwarz-Christoffel Mapping (Cambridge Monographs on Applied and Computational Mathematics, Series Number 8)

By: Tobin A. Driscoll

Curve and Surface Reconstruction: Algorithms with Mathematical Analysis (Cambridge Monographs on Applied and Computational Mathematics, Series Number 23)

Curve and Surface Reconstruction: Algorithms with Mathematical Analysis (Cambridge Monographs on Applied and Computational Mathematics, Series Number 23)

Curve and Surface Reconstruction: Algorithms with Mathematical Analysis (Cambridge Monographs on Applied and Computational Mathematics, Series Number 23)

By: Tamal K. Dey

Convex Optimization (Hardcover)

Convex Optimization (Hardcover)

Convex Optimization (Hardcover)

By: Stephen Boyd

Computability and Logic (Paperback)

Computability and Logic (Paperback)

Computability and Logic (Paperback)

By: George S. Boolos

The Uncertain Reasoner's Companion: A Mathematical Perspective (Cambridge Tracts in Theoretical Computer Science, Series Number 39)

The Uncertain Reasoner's Companion: A Mathematical Perspective (Cambridge Tracts in Theoretical Computer Science, Series Number 39)

The Uncertain Reasoner's Companion: A Mathematical Perspective (Cambridge Tracts in Theoretical Computer Science, Series Number 39)

By: J.B. Paris

Quantum Information Theory (Hardcover)

Quantum Information Theory (Hardcover)

Quantum Information Theory (Hardcover)

By: Mark Wilde

Scattered Data Approximation (Cambridge Monographs on Applied and Computational Mathematics, Series Number 17)

Scattered Data Approximation (Cambridge Monographs on Applied and Computational Mathematics, Series Number 17)

Scattered Data Approximation (Cambridge Monographs on Applied and Computational Mathematics, Series Number 17)

By: Holger Wendland

Mathematical Statistics: A Decision Theoretic Approach (Hardcover)

Mathematical Statistics: A Decision Theoretic Approach (Hardcover)

Mathematical Statistics: A Decision Theoretic Approach (Hardcover)

By: Thomas S. Ferguson

The Numerical Solution of Integral Equations of the Second Kind (Cambridge Monographs on Applied and Computational Mathematics, Series Number 4)

The Numerical Solution of Integral Equations of the Second Kind (Cambridge Monographs on Applied and Computational Mathematics, Series Number 4)

The Numerical Solution of Integral Equations of the Second Kind (Cambridge Monographs on Applied and Computational Mathematics, Series Number 4)

By: Kendall E. Atkinson