Practical Aspects of Declarative Languages |
- isbn : 978-3-642-27694-1
- pisbn : 978-3-642-27693-4
- doi : 10.1007/978-3-642-27694-1
|
Fulltext
|
Verified Software: Theories, Tools, Experiments |
- isbn : 978-3-642-27705-4
- pisbn : 978-3-642-27704-7
- doi : 10.1007/978-3-642-27705-4
|
Fulltext
|
Grid and Pervasive Computing Workshops |
- isbn : 978-3-642-27916-4
- pisbn : 978-3-642-27915-7
- doi : 10.1007/978-3-642-27916-4
|
Fulltext
|
Advances in Software Engineering Techniques |
- isbn : 978-3-642-28038-2
- pisbn : 978-3-642-28037-5
- doi : 10.1007/978-3-642-28038-2
|
Fulltext
|
Parameterized and Exact Computation |
- isbn : 978-3-642-28050-4
- pisbn : 978-3-642-28049-8
- doi : 10.1007/978-3-642-28050-4
|
Fulltext
|
WALCOM: Algorithm and Computation |
- pisbn : 978-3-642-28075-7
- isbn : 978-3-642-28076-4
- doi : 10.1007/978-3-642-28076-4
|
Fulltext
|
Membrane Computing |
- isbn : 978-3-642-28024-5
- pisbn : 978-3-642-28023-8
- doi : 10.1007/978-3-642-28024-5
|
Fulltext
|
Bioinformatics in Personalized Medicine |
- isbn : 978-3-642-28062-7
- pisbn : 978-3-642-28061-0
- doi : 10.1007/978-3-642-28062-7
|
Fulltext
|
Algorithms for Sensor Systems |
- pisbn : 978-3-642-28208-9
- isbn : 978-3-642-28209-6
- doi : 10.1007/978-3-642-28209-6
|
Fulltext
|
Building a National Distributed e-Infrastructure -- PL-Grid |
- isbn : 978-3-642-28267-6
- pisbn : 978-3-642-28266-9
- doi : 10.1007/978-3-642-28267-6
|
Fulltext
|