| Select number of records to
display per page:
|
Sort by
|
|
1.
|
|
|
Relational Methods in Computer Science(Paperback)
Springer Verlag GmbH
Published:
23/04/1997
The calculus of relations turned into an important conceptual and methodological tool in computer science. This book presents methods that include questions of relational databases, applications to ...
|
|
|
2.
|
|
|
Advances in Computer Vision(Paperback)
1997
Springer Verlag GmbH
Published:
31/10/1997
These papers were selected from a conference held in Dagstuhl in 1996, which gathered scientists from the West and the former Eastern block countries to address advances in computer vision. The book...
|
|
|
3.
|
|
|
Systems(Paperback)
Theory and Practice
Springer Verlag GmbH
Published:
17/08/1998
The notion of system is common to a number of scientific fields. This book provides insight into theoretical approaches to systems and demonstrates relationships between concepts and methods develop...
|
|
|
4.
|
|
|
Tool Support for System Specification, Development and Verif...(Paperback)
Springer Verlag GmbH
Published:
25/03/1999
This text presents tools that aim at the formal and computer aided development of software. It discusses the theories and methods underlying the tools, applications and limits, and describes many ca...
|
|
|
Select All |
|
|
|