Formal Modeling and Analysis of Timed Systems |
- isbn : 978-3-540-45031-3
- pisbn : 978-3-540-45026-9
- doi : 10.1007/11867340
|
Fulltext
|
Image Analysis and Recognition |
- isbn : 978-3-540-44896-9
- pisbn : 978-3-540-44894-5
- doi : 10.1007/11867661
|
Fulltext
|
Symbol Grounding and Beyond |
- isbn : 978-3-540-45771-8
- pisbn : 978-3-540-45769-5
- doi : 10.1007/11880172
|
Fulltext
|
Informatics Education - The Bridge between Using and Understanding Computers |
- isbn : 978-3-540-48227-7
- pisbn : 978-3-540-48218-5
- doi : 10.1007/11915355
|
Fulltext
|
Combinatorial and Algorithmic Aspects of Networking |
- isbn : 978-3-540-48824-8
- pisbn : 978-3-540-48822-4
- doi : 10.1007/11922377
|
Fulltext
|
Computer Vision Approaches to Medical Image Analysis |
- isbn : 978-3-540-46258-3
- pisbn : 978-3-540-46257-6
- doi : 10.1007/11889762
|
Fulltext
|
Intelligent Data Engineering and Automated Learning - IDEAL 2006 |
- isbn : 978-3-540-45487-8
- pisbn : 978-3-540-45485-4
- doi : 10.1007/11875581
|
Fulltext
|
Advances in Information Systems |
- isbn : 978-3-540-46292-7
- pisbn : 978-3-540-46291-0
- doi : 10.1007/11890393
|
Fulltext
|
Managing Knowledge in a World of Networks |
- isbn : 978-3-540-46365-8
- pisbn : 978-3-540-46363-4
- doi : 10.1007/11891451
|
Fulltext
|
Formal Methods and Software Engineering |
- isbn : 978-3-540-47462-3
- pisbn : 978-3-540-47460-9
- doi : 10.1007/11901433
|
Fulltext
|