Search
Subscription
Submission Procedure
Login
User: anonymous
Special Issues
Volume 14 (2008)
Volume 13 (2007)
Volume 12 (2006)
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 11 (2005)
Volume 10 (2004)
Volume 9 (2003)
Volume 8 (2002)
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
Aims and Scope
Submission Procedure
Subscription
Printed Publications
Collection of other papers
Volume 12
Content of Issue 10
Managing Editor's Column
H. Maurer
1411
Proving Properties for Behavioural Specifications with Term Observation
N. Berregeb
1413
Ridge Orientation Estimation and Verification Algorithm for Fingerprint Enhancement
L. Liu, T.-S. Dai
1426
Fault Tolerant Neural Predictors for Compression of Sensor Telemetry Data
R. Logeswaran
1439
Time-varying H Systems Revisited
R. Loos
1455