Reihe Progress in Theoretical Computer Science Algol-like Languages Peter O'HearnBirkhäuser BostoneBook201396,29 € Algol-like Languages Peter O'HearnBirkhäuser BostoneBook201396,29 € Verifying Temporal Properties of Systems J.C. BradfieldBirkhäuser BostoneBook201353,49 € Nondeterminism in Algebraic Specifications and Algebraic Programs HussmannBirkhäuser BostoneBook2013 Canonical Equational Proofs BachmairBirkhäuser BostoneBook201353,49 € Algol-like Languages Peter O'HearnBirkhäuser BostonSoftcover2013106,99 € Logic of Domains G. ZhangBirkhäuser BostonSoftcover2012106,99 € Subrecursive Programming SystemsComplexity & SuccinctnessJames S. RoyerBirkhäuser BostoneBook201296,29 € Polynomial and Matrix ComputationsFundamental AlgorithmsDario BiniBirkhäuser BostoneBook2012149,79 € Finite Automata, Formal Logic, and Circuit Complexity Howard StraubingBirkhäuser BostoneBook2012106,99 €59 Treffer 1 2 3 4 ...
