| Formal Techniques for Distributed Systems |
- isbn : 978-3-642-38592-6
- pisbn : 978-3-642-38591-9
|
Fulltext
|
| Business Process Models |
- isbn : 978-3-642-38604-6
- pisbn : 978-3-642-38603-9
|
Fulltext
|
| Reliable Software Technologies -- Ada-Europe 2013 |
- isbn : 978-3-642-38601-5
- pisbn : 978-3-642-38600-8
|
Fulltext
|
| Recent Trends in Applied Artificial Intelligence |
- isbn : 978-3-642-38577-3
- pisbn : 978-3-642-38576-6
|
Fulltext
|
| Pattern Recognition and Image Analysis |
- isbn : 978-3-642-38628-2
- pisbn : 978-3-642-38627-5
|
Fulltext
|
| Artificial Intelligence and Soft Computing |
- isbn : 978-3-642-38610-7
- pisbn : 978-3-642-38609-1
|
Fulltext
|
| Integrated Formal Methods |
- isbn : 978-3-642-38613-8
- pisbn : 978-3-642-38612-1
|
Fulltext
|
| Network and System Security |
- isbn : 978-3-642-38631-2
- pisbn : 978-3-642-38630-5
|
Fulltext
|
| Post-Quantum Cryptography |
- isbn : 978-3-642-38616-9
- pisbn : 978-3-642-38615-2
|
Fulltext
|
| Natural and Artificial Computation in Engineering and Medical Applications |
- isbn : 978-3-642-38622-0
- pisbn : 978-3-642-38621-3
|
Fulltext
|