Foundations of Software Science and Computational Structures |
- isbn : 978-3-540-78499-9
- pisbn : 978-3-540-78497-5
- doi : 10.1007/978-3-540-78499-9
|
Fulltext
|
Tools and Algorithms for the Construction and Analysis of Systems |
- isbn : 978-3-540-78800-3
- pisbn : 978-3-540-78799-0
- doi : 10.1007/978-3-540-78800-3
|
Fulltext
|
Programming Languages and Systems |
- isbn : 978-3-540-78739-6
- pisbn : 978-3-540-78738-9
- doi : 10.1007/978-3-540-78739-6
|
Fulltext
|
Tests and Proofs |
- isbn : 978-3-540-79124-9
- pisbn : 978-3-540-79123-2
- doi : 10.1007/978-3-540-79124-9
|
Fulltext
|
Evolutionary Computation in Combinatorial Optimization |
- isbn : 978-3-540-78604-7
- pisbn : 978-3-540-78603-0
- doi : 10.1007/978-3-540-78604-7
|
Fulltext
|
Advances in Cryptology – EUROCRYPT 2008 |
- isbn : 978-3-540-78967-3
- pisbn : 978-3-540-78966-6
- doi : 10.1007/978-3-540-78967-3
|
Fulltext
|
Discrete Geometry for Computer Imagery |
- isbn : 978-3-540-79126-3
- pisbn : 978-3-540-79125-6
- doi : 10.1007/978-3-540-79126-3
|
Fulltext
|
Relations and Kleene Algebra in Computer Science |
- isbn : 978-3-540-78913-0
- pisbn : 978-3-540-78912-3
- doi : 10.1007/978-3-540-78913-0
|
Fulltext
|
Formal Methods and Testing |
- isbn : 978-3-540-78917-8
- pisbn : 978-3-540-78916-1
- doi : 10.1007/978-3-540-78917-8
|
Fulltext
|
Modeling Communication with Robots and Virtual Humans |
- isbn : 978-3-540-79037-2
- pisbn : 978-3-540-79036-5
- doi : 10.1007/978-3-540-79037-2
|
Fulltext
|