Search
Subscription
Submission Procedure
Login
User: anonymous
Special Issues
Volume 14 (2008)
Volume 13 (2007)
Volume 12 (2006)
Volume 11 (2005)
Volume 10 (2004)
Volume 9 (2003)
Volume 8 (2002)
Issue 1
Issue 2
Issue 3
Issue 4
Issue 5
Issue 6
Issue 7
Issue 8
Issue 9
Issue 10
Issue 11
Issue 12
Volume 7 (2001)
Volume 6 (2000)
Volume 5 (1999)
Volume 4 (1998)
Volume 3 (1997)
Volume 2 (1996)
Volume 1 (1995)
Volume 0 (1994)
Articles by Topics
Articles by Author
Board of Editors
List of Topics
What's New
Geographical Mashup
Aims and Scope
Submission Procedure
Subscription
Printed Publications
Collection of other papers
Volume 8
Content of Issue 1
Managing Editor's Column
H. Maurer
1
The Origins and the Development of the ASM Method for High Level System Design and Analysis
E. Börger
2
An Implicit Recursive Language for the Polynomial Time-space Complexity Classes
E. Covino, G. Pani
75
On a New Powerful Model for Knowledge Management and its Applications
H. Maurer
,
K. Tochtermann
85
On Second Generation Distributed Component Systems
K. Schmaranz
97