Tools and Algorithms for the Construction and Analysis of Systems |
- isbn : 978-3-540-31980-1
- pisbn : 978-3-540-25333-4
- doi : 10.1007/b107194
|
Fulltext
|
Software Engineering and Middleware |
- isbn : 978-3-540-31975-7
- pisbn : 978-3-540-25328-0
- doi : 10.1007/b107130
|
Fulltext
|
Compiler Construction |
- isbn : 978-3-540-31985-6
- pisbn : 978-3-540-25411-9
- doi : 10.1007/b107108
|
Fulltext
|
Graph-Based Representations in Pattern Recognition |
- isbn : 978-3-540-31988-7
- pisbn : 978-3-540-25270-2
- doi : 10.1007/b107037
|
Fulltext
|
Applications of Evolutionary Computing |
- isbn : 978-3-540-32003-6
- pisbn : 978-3-540-25396-9
- doi : 10.1007/b106856
|
Fulltext
|
ZB 2005: Formal Specification and Development in Z and B |
- isbn : 978-3-540-32007-4
- pisbn : 978-3-540-25559-8
- doi : 10.1007/b135596
|
Fulltext
|
Security in Pervasive Computing |
- isbn : 978-3-540-32004-3
- pisbn : 978-3-540-25521-5
- doi : 10.1007/b135497
|
Fulltext
|
Genetic Programming |
- isbn : 978-3-540-31989-4
- pisbn : 978-3-540-25436-2
- doi : 10.1007/b107383
|
Fulltext
|
Coordination Models and Languages |
- isbn : 978-3-540-32006-7
- pisbn : 978-3-540-25630-4
- doi : 10.1007/b135676
|
Fulltext
|
Intelligent Media Technology for Communicative Intelligence |
- isbn : 978-3-540-31738-8
- pisbn : 978-3-540-29035-3
- doi : 10.1007/11558637
|
Fulltext
|