Mathematical theory of computation books

11045 books were found.

Programming Languages: Principles and Paradigms

Programming Languages: Principles and Paradigms

Author: Maurizio Gabbrielli ,  Simone Martini
ISBN: 9783031341434
Format: Paperback
$129.35

Programming Languages is a self-contained approach to the topic, and differentiates between the design, implementation...  Read More >>

Rules and Reasoning: 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings

Rules and Reasoning: 7th International Joint Conference,...

Author: Anna Fensel ,  Ana Ozaki
ISBN: 9783031450716
Format: Paperback
$142.29

This book constitutes the refereed proceedings of the 7th International Joint Conference on Rules and Reasoning,...  Read More >>

Quantum Software Engineering

Quantum Software Engineering

Author: Manuel A. Serrano ,  Ricardo Pérez-Castillo
ISBN: 9783031053269
Format: Paperback
$316.77

 Read More >>

Insights from the Algorithm: A Machine Learning Story

Insights from the Algorithm: A Machine Learning Story...

Author: Crazy Science
ISBN: 9789732347799
Format: Paperback
$158.37

""Insights from the Algorithm"" A captivating journey into machine learning's world.  Read More >>

Solvable Cellular Automata: Methods and Applications

Solvable Cellular Automata: Methods and Applications...

Author: Henryk Fukś
ISBN: 9783031386992
Format: Hardback
$362.22

The main focus of the book is solvability of cellular automata, that is, expressing the state of a given cell after...  Read More >>

Reachability Problems: 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings

Reachability Problems: 17th International Conference,...

Author: Olivier Bournez ,  Enrico Formenti
ISBN: 9783031452857
Format: Paperback
$184.77

This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP...  Read More >>

Engineering Mathematics and Computing

Engineering Mathematics and Computing

Author: Park Gyei-Kark ,  Dipak Kumar Jana
ISBN: 9789811923029
Format: Paperback
$145.17

This book contains select papers presented at the 3rd International Conference on Engineering Mathematics and Computing...  Read More >>

Introduction to Software Architecture: Innovative Design using Clean Architecture and Model-Driven Engineering

Introduction to Software Architecture: Innovative Design...

Author: Kevin Lano ,  Sobhan Yassipour Tehrani
ISBN: 9783031441424
Format: Paperback
$129.35

This unique, accessible textbook gives a comprehensive introduction to software architecture, using ‘clean architecture’...  Read More >>

Logic: Reference Book for Computer Scientists: The 2nd Revised, Modified, and Enlarged Edition of “Logics for Computer and Data Sciences, and Artificial Intelligence”

Logic: Reference Book for Computer Scientists: The 2nd...

Author: Lech T. Polkowski
ISBN: 9783031420337
Format: Hardback
$659.97

 Read More >>

Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings

Runtime Verification: 23rd International Conference,...

Author: Panagiotis Katsaros ,  Laura Nenzi
ISBN: 9783031442667
Format: Paperback
$211.17

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV...  Read More >>

Options and Derivatives Programming in C++23: Algorithms and Programming Techniques for the Financial Industry

Options and Derivatives Programming in C++23: Algorithms...

Author: Carlos Oliveira
ISBN: 9781484298268
Format: Paperback
$145.17

This book is a hands-on guide for programmers who want to learn how C++ is used to develop solutions for options...  Read More >>

Control Basics for Mechatronics

Control Basics for Mechatronics

Author: John Billingsley
ISBN: 9781032425832
Format: Paperback
$62.99

 Read More >>

Introduction to Combinatorial Optimization

Introduction to Combinatorial Optimization

Author: Ding-Zhu Du ,  Panos M. Pardalos
ISBN: 9783031116841
Format: Paperback
$116.41

 Read More >>

Entanglement in Spin Chains: From Theory to Quantum Technology Applications

Entanglement in Spin Chains: From Theory to Quantum...

Author: Abolfazl Bayat ,  Sougato Bose
ISBN: 9783031040009
Format: Paperback
$290.37

This book covers recent developments in the understanding, quantification, and exploitation of entanglement in spin...  Read More >>

Control Basics for Mechatronics

Control Basics for Mechatronics

Author: John Billingsley
ISBN: 9781032425573
Format: Hardback
$196.00

 Read More >>

Introduction to Probability for Computing

Introduction to Probability for Computing

Author: Mor Harchol-Balter (Carnegie Mellon University, Pennsylvania)
ISBN: 9781009309073
Format: Hardback
$142.29

A rigorous, yet accessible, textbook for computer science students learning probability. It covers topics of interest...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List