Computational Learning Theory |
- isbn : 978-3-540-49097-5
- pisbn : 978-3-540-65701-9
- doi : 10.1007/3-540-49097-3
|
Fulltext
|
Verification of Object-Oriented Software. The KeY Approach |
- pisbn : 978-3-540-68977-5
- isbn : 978-3-540-69061-0
- doi : 10.1007/978-3-540-69061-0
|
Fulltext
|
New Trends in Constraints |
- isbn : 978-3-540-44654-5
- pisbn : 978-3-540-67885-4
- doi : 10.1007/3-540-44654-0
|
Fulltext
|
Practical Aspects of Declarative Languages |
- pisbn : 978-3-540-69608-7
- isbn : 978-3-540-69611-7
- doi : 10.1007/978-3-540-69611-7
|
Fulltext
|
Grid Computing |
- isbn : 978-3-540-69262-1
- pisbn : 978-3-540-69261-4
- doi : 10.1007/978-3-540-69262-1
|
Fulltext
|
Engineering Self-Organising Systems |
- isbn : 978-3-540-69868-5
- pisbn : 978-3-540-69867-8
- doi : 10.1007/978-3-540-69868-5
|
Fulltext
|
ECOOP 2000 - Object-Oriented Programming |
- isbn : 978-3-540-45102-0
- pisbn : 978-3-540-67660-7
- doi : 10.1007/3-540-45102-1
|
Fulltext
|
Persistent Object Systems: Design, Implementation, and Use |
- pisbn : 978-3-540-42735-3
- isbn : 978-3-540-45498-4
- doi : 10.1007/3-540-45498-5
|
Fulltext
|
Formal Methods for Real-Time and Probabilistic Systems |
- pisbn : 978-3-540-66010-1
- isbn : 978-3-540-48778-4
- doi : 10.1007/3-540-48778-6
|
Fulltext
|
Advances in Cryptology - CRYPTO '99 |
- isbn : 978-3-540-48405-9
- pisbn : 978-3-540-66347-8
- doi : 10.1007/3-540-48405-1
|
Fulltext
|