Progress in VLSI Design and Test |
- isbn : 978-3-642-31494-0
- pisbn : 978-3-642-31493-3
- doi : 10.1007/978-3-642-31494-0
|
Fulltext
|
Parallel Processing and Applied Mathematics |
- isbn : 978-3-642-31464-3
- pisbn : 978-3-642-31463-6
- doi : 10.1007/978-3-642-31464-3
|
Fulltext
|
Computers Helping People with Special Needs |
- isbn : 978-3-642-31522-0
- pisbn : 978-3-642-31521-3
- doi : 10.1007/978-3-642-31522-0
|
Fulltext
|
Parallel Processing and Applied Mathematics, Part II |
- isbn : 978-3-642-31500-8
- pisbn : 978-3-642-31499-5
- doi : 10.1007/978-3-642-31500-8
|
Fulltext
|
Biomimetic and Biohybrid Systems |
- isbn : 978-3-642-31525-1
- pisbn : 978-3-642-31524-4
- doi : 10.1007/978-3-642-31525-1
|
Fulltext
|
Computers Helping People with Special Needs |
- isbn : 978-3-642-31534-3
- pisbn : 978-3-642-31533-6
- doi : 10.1007/978-3-642-31534-3
|
Fulltext
|
Advances in Brain Inspired Cognitive Systems |
- isbn : 978-3-642-31561-9
- pisbn : 978-3-642-31560-2
- doi : 10.1007/978-3-642-31561-9
|
Fulltext
|
Theory and Applications of Satisfiability Testing -- SAT 2012 |
- isbn : 978-3-642-31612-8
- pisbn : 978-3-642-31611-1
- doi : 10.1007/978-3-642-31612-8
|
Fulltext
|
Descriptional Complexity of Formal Systems |
- isbn : 978-3-642-31623-4
- pisbn : 978-3-642-31622-7
- doi : 10.1007/978-3-642-31623-4
|
Fulltext
|
Formal Verification of Object-Oriented Software |
- isbn : 978-3-642-31762-0
- pisbn : 978-3-642-31761-3
- doi : 10.1007/978-3-642-31762-0
|
Fulltext
|