Static Analysis |
- isbn : 978-3-540-37758-0
- pisbn : 978-3-540-37756-6
- doi : 10.1007/11823230
|
Fulltext
|
Intelligent Virtual Agents |
- isbn : 978-3-540-37594-4
- pisbn : 978-3-540-37593-7
- doi : 10.1007/11821830
|
Fulltext
|
CONCUR 2006 - Concurrency Theory |
- isbn : 978-3-540-37377-3
- pisbn : 978-3-540-37376-6
- doi : 10.1007/11817949
|
Fulltext
|
Theory and Applications of Satisfiability Testing - SAT 2006 |
- isbn : 978-3-540-37207-3
- pisbn : 978-3-540-37206-6
- doi : 10.1007/11814948
|
Fulltext
|
Semantic Multimedia |
- isbn : 978-3-540-49337-2
- pisbn : 978-3-540-49335-8
- doi : 10.1007/11930334
|
Fulltext
|
Cryptology and Network Security |
- isbn : 978-3-540-49463-8
- pisbn : 978-3-540-49462-1
- doi : 10.1007/11935070
|
Fulltext
|
Leveraging Applications of Formal Methods |
- isbn : 978-3-540-48929-0
- pisbn : 978-3-540-48928-3
- doi : 10.1007/11925040
|
Fulltext
|
Artificial Intelligence and Symbolic Computation |
- isbn : 978-3-540-39730-4
- pisbn : 978-3-540-39728-1
- doi : 10.1007/11856290
|
Fulltext
|
Privacy in Statistical Databases |
- isbn : 978-3-540-49332-7
- pisbn : 978-3-540-49330-3
- doi : 10.1007/11930242
|
Fulltext
|
Software Engineering Education in the Modern Age |
- isbn : 978-3-540-68204-2
- pisbn : 978-3-540-68203-5
- doi : 10.1007/11949374
|
Fulltext
|