| Computer Aided Verification |
- isbn : 978-3-642-22110-1
- pisbn : 978-3-642-22109-5
|
Fulltext
|
| Argumentation in Multi-Agent Systems |
- isbn : 978-3-642-21940-5
- pisbn : 978-3-642-21939-9
|
Fulltext
|
| Artificial Intelligence in Medicine |
- isbn : 978-3-642-22218-4
- pisbn : 978-3-642-22217-7
|
Fulltext
|
| Implementation and Application of Automata |
- isbn : 978-3-642-22256-6
- pisbn : 978-3-642-22255-9
|
Fulltext
|
| Model Checking Software |
- isbn : 978-3-642-22306-8
- pisbn : 978-3-642-22305-1
|
Fulltext
|
| Logic, Language, and Computation |
- isbn : 978-3-642-22303-7
- pisbn : 978-3-642-22302-0
|
Fulltext
|
| Privacy Enhancing Technologies |
- isbn : 978-3-642-22263-4
- pisbn : 978-3-642-22262-7
|
Fulltext
|
| Algorithms and Data Structures |
- isbn : 978-3-642-22300-6
- pisbn : 978-3-642-22299-3
|
Fulltext
|
| Transactions on Computational Science XII |
- isbn : 978-3-642-22336-5
- pisbn : 978-3-642-22335-8
|
Fulltext
|
| Development in Language Theory |
- isbn : 978-3-642-22321-1
- pisbn : 978-3-642-22320-4
|
Fulltext
|