| Focused Retrieval of Content and Structure |
- isbn : 978-3-642-35734-3
- pisbn : 978-3-642-35733-6
|
Fulltext
|
| Formal Aspects of Component Software |
- isbn : 978-3-642-35743-5
- pisbn : 978-3-642-35742-8
|
Fulltext
|
| Tools for Practical Software Verification |
- isbn : 978-3-642-35746-6
- pisbn : 978-3-642-35745-9
|
Fulltext
|
| Software Engineering for Self-Adaptive Systems |
- isbn : 978-3-642-35813-5
- pisbn : 978-3-642-35812-8
|
Fulltext
|
| Conceptual Structures for Discovering Knowledge |
- isbn : 978-3-642-35786-2
- pisbn : 978-3-642-35785-5
|
Fulltext
|
| SOFSEM 2013: Theory and Practice of Computer Science |
- isbn : 978-3-642-35843-2
- pisbn : 978-3-642-35842-5
|
Fulltext
|
| Transactions on Computational Science XVII |
- isbn : 978-3-642-35840-1
- pisbn : 978-3-642-35839-5
|
Fulltext
|
| Verification, Model Checking, and Abstract Interpretation |
- isbn : 978-3-642-35873-9
- pisbn : 978-3-642-35872-2
|
Fulltext
|
| Evaluation of Natural Language and Speech Tool for Italian |
- isbn : 978-3-642-35828-9
- pisbn : 978-3-642-35827-2
|
Fulltext
|
| Job Scheduling Strategies for Parallel Processing |
- isbn : 978-3-642-35867-8
- pisbn : 978-3-642-35866-1
|
Fulltext
|