| Logic, Rationality, and Interaction |
- isbn : 978-3-642-24130-7
- pisbn : 978-3-642-24129-1
|
Fulltext
|
| Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation |
- isbn : 978-3-642-24154-3
- pisbn : 978-3-642-24153-6
|
Fulltext
|
| Advanced Parallel Processing Technologies |
- isbn : 978-3-642-24151-2
- pisbn : 978-3-642-24150-5
|
Fulltext
|
| Software Engineering for Resilient Systems |
- isbn : 978-3-642-24124-6
- pisbn : 978-3-642-24123-9
|
Fulltext
|
| Information Hiding |
- isbn : 978-3-642-24178-9
- pisbn : 978-3-642-24177-2
|
Fulltext
|
| Datalog Reloaded |
- isbn : 978-3-642-24206-9
- pisbn : 978-3-642-24205-2
|
Fulltext
|
| Computer Safety, Reliability, and Security |
- isbn : 978-3-642-24270-0
- pisbn : 978-3-642-24269-4
|
Fulltext
|
| Information Security and Cryptology - ICISC 2010 |
- isbn : 978-3-642-24209-0
- pisbn : 978-3-642-24208-3
|
Fulltext
|
| Reachability Problems |
- isbn : 978-3-642-24288-5
- pisbn : 978-3-642-24287-8
|
Fulltext
|
| Computational Logistics |
- isbn : 978-3-642-24264-9
- pisbn : 978-3-642-24263-2
|
Fulltext
|