| FM 2012: Formal Methods |
- isbn : 978-3-642-32759-9
- pisbn : 978-3-642-32758-2
|
Fulltext
|
| Text, Speech and Dialogue |
- isbn : 978-3-642-32790-2
- pisbn : 978-3-642-32789-6
|
Fulltext
|
| Coalgebraic Methods in Computer Science |
- isbn : 978-3-642-32784-1
- pisbn : 978-3-642-32783-4
|
Fulltext
|
| Information and Communication Technologies |
- isbn : 978-3-642-32808-4
- pisbn : 978-3-642-32807-7
|
Fulltext
|
| Haptic and Audio Interaction Design |
- isbn : 978-3-642-32796-4
- pisbn : 978-3-642-32795-7
|
Fulltext
|
| Euro-Par 2012 Parallel Processing |
- isbn : 978-3-642-32820-6
- pisbn : 978-3-642-32819-0
|
Fulltext
|
| Secure Data Management |
- isbn : 978-3-642-32873-2
- pisbn : 978-3-642-32872-5
|
Fulltext
|
| Unconventional Computation and Natural Computation |
- isbn : 978-3-642-32894-7
- pisbn : 978-3-642-32893-0
|
Fulltext
|
| Communications and Multimedia Security |
- isbn : 978-3-642-32805-3
- pisbn : 978-3-642-32804-6
|
Fulltext
|
| CONCUR 2012- Concurrency Theory |
- isbn : 978-3-642-32940-1
- pisbn : 978-3-642-32939-5
|
Fulltext
|