Logics of Time and Computation (Volume 7) (Lecture Notes)
$30.00
from $11.23
Introduction to the Theory of Computation
$61.14
from $3.34
Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing
from $46.99
Turing Computability: Theory and Applications (Theory and Applications of Computability)
from $77.90
Reverse Mathematics: Proofs from the Inside Out
$18.57
from $10.86
Lessons in Enumerative Combinatorics (Graduate Texts in Mathematics, 290)
$69.99
from $65.88
Algebraic Complexity Theory (Grundlehren der mathematischen Wissenschaften, 315)
from $86.53
Reflective Programs in Tree Calculus
from $2.99
Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems
$43.05
from $141.27
Syntax-Directed Semantics: Formal Models Based on Tree Transducers (Monographs in Theoretical Computer Science. An EATCS Series)
$95.37
from $91.36
More results from Amazon »