Tests and Proofs |
- pisbn : 978-3-642-13976-5
- isbn : 978-3-642-13977-2
- doi : 10.1007/978-3-642-13977-2
|
Fulltext
|
Recent Advances in Intrusion Detection |
- isbn : 978-3-540-45248-5
- pisbn : 978-3-540-40878-9
- doi : 10.1007/b13476
|
Fulltext
|
Trust and Trustworthy Computing |
- pisbn : 978-3-642-13868-3
- isbn : 978-3-642-13869-0
- doi : 10.1007/978-3-642-13869-0
|
Fulltext
|
Computers Helping People with Special Needs, Part II |
- isbn : 978-3-642-14100-3
- pisbn : 978-3-642-14099-0
- doi : 10.1007/978-3-642-14100-3
|
Fulltext
|
Software Composition |
- isbn : 978-3-642-14046-4
- pisbn : 978-3-642-14045-7
- doi : 10.1007/978-3-642-14046-4
|
Fulltext
|
Objects, Models, Components, Patterns |
- pisbn : 978-3-642-13952-9
- isbn : 978-3-642-13953-6
- doi : 10.1007/978-3-642-13953-6
|
Fulltext
|
ECOOP 2010 -- Object-Oriented Programming |
- isbn : 978-3-642-14107-2
- pisbn : 978-3-642-14106-5
- doi : 10.1007/978-3-642-14107-2
|
Fulltext
|
Theory and Practice of Model Transformations |
- pisbn : 978-3-642-13687-0
- isbn : 978-3-642-13688-7
- doi : 10.1007/978-3-642-13688-7
|
Fulltext
|
Discovery Science |
- isbn : 978-3-540-39644-4
- pisbn : 978-3-540-20293-6
- doi : 10.1007/b14292
|
Fulltext
|
Formal Methods for Components and Objects |
- pisbn : 978-3-540-20303-2
- isbn : 978-3-540-39656-7
- doi : 10.1007/b14033
|
Fulltext
|