Datalog Reloaded |
- pisbn : 978-3-642-24205-2
- isbn : 978-3-642-24206-9
- doi : 10.1007/978-3-642-24206-9
|
Fulltext
|
Implementation and Application of Functional Languages |
- isbn : 978-3-642-24276-2
- pisbn : 978-3-642-24275-5
- doi : 10.1007/978-3-642-24276-2
|
Fulltext
|
Information Hiding |
- isbn : 978-3-642-24178-9
- pisbn : 978-3-642-24177-2
- doi : 10.1007/978-3-642-24178-9
|
Fulltext
|
Provable Security |
- isbn : 978-3-642-24316-5
- pisbn : 978-3-642-24315-8
- doi : 10.1007/978-3-642-24316-5
|
Fulltext
|
Formal Modeling and Analysis of Timed Systems |
- pisbn : 978-3-642-24309-7
- isbn : 978-3-642-24310-3
- doi : 10.1007/978-3-642-24310-3
|
Fulltext
|
Rough Set and Knowledge Technology |
- isbn : 978-3-642-24425-4
- pisbn : 978-3-642-24424-7
- doi : 10.1007/978-3-642-24425-4
|
Fulltext
|
Computer Architecture |
- pisbn : 978-3-642-24321-9
- isbn : 978-3-642-24322-6
- doi : 10.1007/978-3-642-24322-6
|
Fulltext
|
Automated Technology for Verification and Analysis |
- pisbn : 978-3-642-24371-4
- isbn : 978-3-642-24372-1
- doi : 10.1007/978-3-642-24372-1
|
Fulltext
|
Implementation and Application of Functional Languages |
- isbn : 978-3-642-24452-0
- pisbn : 978-3-642-24451-3
- doi : 10.1007/978-3-642-24452-0
|
Fulltext
|
Web Information Systems Engineering - WISE 2010 Workshops |
- isbn : 978-3-642-24396-7
- pisbn : 978-3-642-24395-0
- doi : 10.1007/978-3-642-24396-7
|
Fulltext
|