| MICAI 2009: Advances in Artificial Intelligence |
- pisbn : 978-3-642-05257-6
- isbn : 978-3-642-05258-3
|
Fulltext
|
| Flexible Query Answering Systems |
- pisbn : 978-3-642-04956-9
- isbn : 978-3-642-04957-6
|
Fulltext
|
|
|
Fulltext
|
| Testing of Software and Communication Systems |
- pisbn : 978-3-642-05030-5
- isbn : 978-3-642-05031-2
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
| Selected Areas in Cryptography |
- isbn : 978-3-642-05445-7
- pisbn : 978-3-642-05443-3
|
Fulltext
|
| Formal Methods for Industrial Critical Systems |
- isbn : 978-3-642-04570-7
- pisbn : 978-3-642-04569-1
|
Fulltext
|
|
|
Fulltext
|
| FM 2009: Formal Methods |
- pisbn : 978-3-642-05088-6
- isbn : 978-3-642-05089-3
|
Fulltext
|