Titel | | ISBN-13 | Erschei- nungsjahr | andere Autoren |
Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings | | 978-3-540-60043-5 | 2008 | V.S. Alagar |
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings | | 978-3-540-61463-0 | 2008 | Martin Wirsing |
Algebraic Methodology and Software Technology : Proceedings of the Second International Conference on Algebraic Methodology and Software ... USA, 22-25 May 1991 | | 978-3-540-19797-3 | 1992 | Charles Rattray · Teodor Rus · Giuseppe Scollo |
Algebraic Methodology and Software Technology : Proceedings of the Third International Conference on Algebraic Methodology and Software ... 21-25 June 1993 | | 978-3-540-19852-9 | 2013 |
Algebraic Methods in Semantics | | 978-0-521-26793-9 | 1985 | John C. Reynolds |
CAAP '88: 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings | | 978-3-540-19021-9 | 2008 | Max Dauchet |
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development , ... Notes in Computer Science , Band 186) | | 978-3-540-15199-9 | 2008 | Hartmut Ehrig · James Thatcher · Christiane Floyd |
Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences ... Notes in Computer Science , Band 1378) | | 978-3-540-64300-5 | 2008 |
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ... Notes in Computer Science , Band 185) | | 978-3-540-15198-2 | 2008 | Hartmut Ehrig · James Thatcher · Christiane Floyd |
Parallel Image Analysis: Second International Conference, ICPIA '92 Ube, Japan, December 21-23, 1992 Proceedings | | 978-3-540-56346-4 | 2009 | Akira Nakamura · Katsushi Inoue · Ahmed Saoudi · Patrick S. P. Wang |