Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Filiale in Ihrer Nähe.
-
Computer Aided Verification
Band 2102
Computer Aided VerificationeBook (PDF) + weitere
Fr. 125.90
-
Constraints in Computational Logics: Theory and Applications
Band 2002
Constraints in Computational Logics: Theory and ApplicationseBook (PDF) + weitere
Fr. 62.90
-
Rewriting Techniques and Applications
Band 1232Hubert Comon
Rewriting Techniques and ApplicationsBuch (Taschenbuch)
Fr. 72.90
-
Term Rewriting
Band 909Hubert Comon + weitere
Term RewritingBuch (Taschenbuch)
Fr. 72.90
-
Rewriting, Computation and Proof
Hubert Comon-Lundh, Claude Kirchner + weitere
Rewriting, Computation and ProofBuch (Taschenbuch)
Fr. 73.90
von 5 Treffern werden angezeigt