Embedded Computer Systems: Architectures, Modeling, and Simulation |
- isbn : 978-3-540-73625-7
- pisbn : 978-3-540-73622-6
- doi : 10.1007/978-3-540-73625-7
|
Fulltext
|
Knowledge Discovery in Databases: PKDD 2007 |
- isbn : 978-3-540-74976-9
- pisbn : 978-3-540-74975-2
- doi : 10.1007/978-3-540-74976-9
|
Fulltext
|
Logic, Language, and Computation |
- isbn : 978-3-540-75144-1
- pisbn : 978-3-540-75143-4
- doi : 10.1007/978-3-540-75144-1
|
Fulltext
|
Model Checking Software |
- isbn : 978-3-540-73370-6
- pisbn : 978-3-540-73369-0
- doi : 10.1007/978-3-540-73370-6
|
Fulltext
|
Advances in Artificial Life |
- isbn : 978-3-540-74913-4
- pisbn : 978-3-540-74912-7
- doi : 10.1007/978-3-540-74913-4
|
Fulltext
|
Formal Methods and Hybrid Real-Time Systems |
- isbn : 978-3-540-75221-9
- pisbn : 978-3-540-75220-2
- doi : 10.1007/978-3-540-75221-9
|
Fulltext
|
Computational Methods in Systems Biology |
- isbn : 978-3-540-75140-3
- pisbn : 978-3-540-75139-7
- doi : 10.1007/978-3-540-75140-3
|
Fulltext
|
SDL 2007: Design for Dependable Systems |
- isbn : 978-3-540-74984-4
- pisbn : 978-3-540-74983-7
- doi : 10.1007/978-3-540-74984-4
|
Fulltext
|
Business Process Management |
- isbn : 978-3-540-75183-0
- pisbn : 978-3-540-75182-3
- doi : 10.1007/978-3-540-75183-0
|
Fulltext
|
RoboCup 2006: Robot Soccer World Cup X |
- isbn : 978-3-540-74024-7
- pisbn : 978-3-540-74023-0
- doi : 10.1007/978-3-540-74024-7
|
Fulltext
|