Computer Science Logic |
- pisbn : 978-3-540-66536-6
- isbn : 978-3-540-48168-3
- doi : 10.1007/3-540-48168-0
|
Fulltext
|
Modular Specification and Verification of Object-Oriented Programs |
- pisbn : 978-3-540-43167-1
- isbn : 978-3-540-45651-3
- doi : 10.1007/3-540-45651-1
|
Fulltext
|
PREMO: A Framework for Multimedia Middleware |
- pisbn : 978-3-540-66720-9
- isbn : 978-3-540-46821-9
- doi : 10.1007/3-540-46821-8
|
Fulltext
|
Algorithms and Computation |
- pisbn : 978-3-540-65385-1
- isbn : 978-3-540-49381-5
- doi : 10.1007/3-540-49381-6
|
Fulltext
|
Web Communication Technologies and Internet-Related Social Issues - HSI 2003 |
- pisbn : 978-3-540-40456-9
- isbn : 978-3-540-45036-8
- doi : 10.1007/3-540-45036-X
|
Fulltext
|
Queueing Networks with Discrete Time Scale |
- isbn : 978-3-540-44592-0
- pisbn : 978-3-540-42357-7
- doi : 10.1007/3-540-44592-7
|
Fulltext
|
Software Composition |
- pisbn : 978-3-540-77350-4
- isbn : 978-3-540-77351-1
- doi : 10.1007/978-3-540-77351-1
|
Fulltext
|
Advances in Nonlinear Speech Processing |
- isbn : 978-3-540-77347-4
- pisbn : 978-3-540-77346-7
- doi : 10.1007/978-3-540-77347-4
|
Fulltext
|
Runtime Verification |
- pisbn : 978-3-540-77394-8
- isbn : 978-3-540-77395-5
- doi : 10.1007/978-3-540-77395-5
|
Fulltext
|
Advances in Image and Video Technology |
- isbn : 978-3-540-77129-6
- pisbn : 978-3-540-77128-9
- doi : 10.1007/978-3-540-77129-6
|
Fulltext
|