|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report 1993 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific) | Möller, Bernhard | Paperback | 3540574999 /
9783540574996 | 11/1993 | $52.24 |
|  | Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected 1994 Edition (Lecture Notes in Computer Science) | Heering, Jan | Paperback | 3540582339 /
9783540582335 | 07/1994 | $52.24 |
|  | Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings 2002 Edition (Lecture Notes in Computer Science) | Boiten, Eerke A. | Paperback | 3540438572 /
9783540438571 | 06/2002 | $52.24 |
|  | Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings 1995 Edition (Lecture Notes in Computer Science) | Möller, Bernhard | Paperback | 3540601171 /
9783540601173 | 07/1995 | $52.24 |
|  | Prospects for Hardware Foundations: Esprit Working Group 8533 NADA -- New Hardware Design Methods Survey Chapters (Prospects for Hardware Foundations) | Möller, Bernhard | Paperback | 3540654615 /
9783540654612 | 12/1998 | $52.24 |
|  | Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International 2004 Edition (Lecture Notes in Computer Science) | Berghammer, R. | Paperback | 354022145X /
9783540221456 | 06/2004 | $52.24 |
|  | Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Confe 2008 Edition (Lecture Notes in Computer Science) | Berghammer, Rudolf | Paperback | 354078912X /
9783540789123 | 03/2008 | $52.24 |
|  | Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th Inter 2009 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Berghammer, Rudolf | Paperback | 364204638X /
9783642046384 | 10/2009 | $52.24 |
|
|
|