Cellular Automata |
- isbn : 978-3-642-15979-4
- pisbn : 978-3-642-15978-7
- doi : 10.1007/978-3-642-15979-4
|
Fulltext
|
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2010 |
- isbn : 978-3-642-15745-5
- pisbn : 978-3-642-15744-8
- doi : 10.1007/978-3-642-15745-5
|
Fulltext
|
Computer Performance Engineering |
- isbn : 978-3-642-15784-4
- pisbn : 978-3-642-15783-7
- doi : 10.1007/978-3-642-15784-4
|
Fulltext
|
Objects and Databases |
- isbn : 978-3-642-16092-9
- pisbn : 978-3-642-16091-2
- doi : 10.1007/978-3-642-16092-9
|
Fulltext
|
Model Checking Software |
- isbn : 978-3-642-16164-3
- pisbn : 978-3-642-16163-6
- doi : 10.1007/978-3-642-16164-3
|
Fulltext
|
Automated Technology for Verification and Analysis |
- isbn : 978-3-642-15643-4
- pisbn : 978-3-642-15642-7
- doi : 10.1007/978-3-642-15643-4
|
Fulltext
|
Transactions on Computational Science IX |
- isbn : 978-3-642-16007-3
- pisbn : 978-3-642-16006-6
- doi : 10.1007/978-3-642-16007-3
|
Fulltext
|
Programming Multi-Agent Systems |
- isbn : 978-3-642-14843-9
- pisbn : 978-3-642-14842-2
- doi : 10.1007/978-3-642-14843-9
|
Fulltext
|
Integrated Formal Methods |
- isbn : 978-3-642-16265-7
- pisbn : 978-3-642-16264-0
- doi : 10.1007/978-3-642-16265-7
|
Fulltext
|
Hybrid Metaheuristics |
- isbn : 978-3-642-16054-7
- pisbn : 978-3-642-16053-0
- doi : 10.1007/978-3-642-16054-7
|
Fulltext
|