MPG.eBooks - Search Results - "machines"

Search alternatives:
"machines" » "machine"

Cover Image

1

Relations and Kleene Algebra in Computer Science : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Klee...

Published 2008

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Cover Image

2

Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Published 1996

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Cover Image

3

Mathematics of Program Construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

Published 2002

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Cover Image

4

Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

Published 1994

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Cover Image

5

Relations and Kleene Algebra in Computer Science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applic...

Published 2009

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Cover Image

6

Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of...

Published 2004

Springer Berlin Heidelberg

Subjects: “...Machine theory...”