Transactions on Aspect-Oriented Software Development IX |
- isbn : 978-3-642-35551-6
- pisbn : 978-3-642-35550-9
- doi : 10.1007/978-3-642-35551-6
|
Fulltext
|
Quantum Interaction |
- isbn : 978-3-642-35659-9
- pisbn : 978-3-642-35658-2
- doi : 10.1007/978-3-642-35659-9
|
Fulltext
|
Focused Retrieval of Content and Structure |
- isbn : 978-3-642-35734-3
- pisbn : 978-3-642-35733-6
- doi : 10.1007/978-3-642-35734-3
|
Fulltext
|
Computational Intelligence Methods for Bioinformatics and Biostatistics |
- isbn : 978-3-642-35686-5
- pisbn : 978-3-642-35685-8
- doi : 10.1007/978-3-642-35686-5
|
Fulltext
|
Tools for Practical Software Verification |
- isbn : 978-3-642-35746-6
- pisbn : 978-3-642-35745-9
- doi : 10.1007/978-3-642-35746-6
|
Fulltext
|
Social Informatics |
- isbn : 978-3-642-35386-4
- pisbn : 978-3-642-35385-7
- doi : 10.1007/978-3-642-35386-4
|
Fulltext
|
Software Engineering for Self-Adaptive Systems |
- isbn : 978-3-642-35813-5
- pisbn : 978-3-642-35812-8
- doi : 10.1007/978-3-642-35813-5
|
Fulltext
|
Evaluation of Natural Language and Speech Tool for Italian |
- isbn : 978-3-642-35828-9
- pisbn : 978-3-642-35827-2
- doi : 10.1007/978-3-642-35828-9
|
Fulltext
|
Verification, Model Checking, and Abstract Interpretation |
- isbn : 978-3-642-35873-9
- pisbn : 978-3-642-35872-2
- doi : 10.1007/978-3-642-35873-9
|
Fulltext
|
Formal Methods for Components and Objects |
- isbn : 978-3-642-35887-6
- pisbn : 978-3-642-35886-9
- doi : 10.1007/978-3-642-35887-6
|
Fulltext
|