Process Algebra and Probabilistic Methods: Performance Modeling and Verification |
- isbn : 978-3-540-45605-6
- pisbn : 978-3-540-43913-4
- doi : 10.1007/3-540-45605-8
|
Fulltext
|
Computational Learning Theory |
- isbn : 978-3-540-45435-9
- pisbn : 978-3-540-43836-6
- doi : 10.1007/3-540-45435-7
|
Fulltext
|
Conceptual Structures: Integration and Interfaces |
- isbn : 978-3-540-45483-0
- pisbn : 978-3-540-43901-1
- doi : 10.1007/3-540-45483-7
|
Fulltext
|
KI 2002: Advances in Artificial Intelligence |
- isbn : 978-3-540-45751-0
- pisbn : 978-3-540-44185-4
- doi : 10.1007/3-540-45751-8
|
Fulltext
|
Formal Techniques in Real-Time and Fault-Tolerant Systems |
- isbn : 978-3-540-45739-8
- pisbn : 978-3-540-44165-6
- doi : 10.1007/3-540-45739-9
|
Fulltext
|
Grammatical Inference: Algorithms and Applications |
- isbn : 978-3-540-45790-9
- pisbn : 978-3-540-44239-4
- doi : 10.1007/3-540-45790-9
|
Fulltext
|
Pervasive Computing |
- isbn : 978-3-540-45866-1
- pisbn : 978-3-540-44060-4
- doi : 10.1007/3-540-45866-2
|
Fulltext
|
Automated Reasoning with Analytic Tableaux and Related Methods |
- isbn : 978-3-540-45616-2
- pisbn : 978-3-540-43929-5
- doi : 10.1007/3-540-45616-3
|
Fulltext
|
Advances in Case-Based Reasoning |
- isbn : 978-3-540-46119-7
- pisbn : 978-3-540-44109-0
- doi : 10.1007/3-540-46119-1
|
Fulltext
|
Advanced Information Systems Engineering |
- isbn : 978-3-540-47961-1
- pisbn : 978-3-540-43738-3
- doi : 10.1007/3-540-47961-9
|
Fulltext
|