LIBRARY Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität 1986 · GERMAN · PDF View details →
LIBRARY Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität 1985 · GERMAN · PDF View details →
LIBRARY Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität 1992 · GERMAN · PDF View details →
LIBRARY S-BPM ONE – Scientific Research: 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers 2009 · ENGLISH · PDF View details →
LIBRARY Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers 2009 · ENGLISH · PDF View details →
LIBRARY Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings 2000 · ENGLISH · PDF View details →
LIBRARY Conceptual Modeling - ER 2007: 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings 2007 · ENGLISH · PDF View details →
LIBRARY Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings 1999 · ENGLISH · PDF View details →
LIBRARY Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings 2000 · ENGLISH · PDF View details →
LIBRARY Mathematical Foundations of Computer Science 1990: Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings 1990 · ENGLISH · DJVU View details →
LIBRARY Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control 1996 · ENGLISH · DJVU View details →