STACS 97 |
- pisbn : 978-3-540-62616-9
- isbn : 978-3-540-68342-1
- doi : 10.1007/BFb0023443
|
Fulltext
|
Cryptography and Coding |
- isbn : 978-3-540-69668-1
- pisbn : 978-3-540-63927-5
- doi : 10.1007/BFb0024443
|
Fulltext
|
Coordination Technology for Collaborative Applications |
- pisbn : 978-3-540-64170-4
- isbn : 978-3-540-69699-5
- doi : 10.1007/BFb0027094
|
Fulltext
|
Category Theory and Computer Science |
- pisbn : 978-3-540-63455-3
- isbn : 978-3-540-69552-3
- doi : 10.1007/BFb0026977
|
Fulltext
|
Modular Compiler Verification |
- pisbn : 978-3-540-63406-5
- isbn : 978-3-540-69539-4
- doi : 10.1007/BFb0027453
|
Fulltext
|
Information Security and Privacy |
- isbn : 978-3-540-69237-9
- pisbn : 978-3-540-63232-0
- doi : 10.1007/BFb0027916
|
Fulltext
|
Conceptual Structures: Fulfilling Peirce's Dream |
- pisbn : 978-3-540-63308-2
- isbn : 978-3-540-69424-3
- doi : 10.1007/BFb0027865
|
Fulltext
|
Spatial Data Types for Database Systems |
- pisbn : 978-3-540-63454-6
- isbn : 978-3-540-69551-6
- doi : 10.1007/BFb0028319
|
Fulltext
|
Security Protocols |
- isbn : 978-3-540-69688-9
- pisbn : 978-3-540-64040-0
- doi : 10.1007/BFb0028154
|
Fulltext
|
Simulated Evolution and Learning |
- isbn : 978-3-540-69538-7
- pisbn : 978-3-540-63399-0
- doi : 10.1007/BFb0028514
|
Fulltext
|