Formal Techniques for Distributed Systems |
- isbn : 978-3-642-21461-5
- pisbn : 978-3-642-21460-8
- doi : 10.1007/978-3-642-21461-5
|
Fulltext
|
Analytical and Stochastic Modeling Techniques and Applications |
- isbn : 978-3-642-21713-5
- pisbn : 978-3-642-21712-8
- doi : 10.1007/978-3-642-21713-5
|
Fulltext
|
Typed Lambda Calculi and Applications |
- isbn : 978-3-642-21691-6
- pisbn : 978-3-642-21690-9
- doi : 10.1007/978-3-642-21691-6
|
Fulltext
|
Unconventional Computation |
- isbn : 978-3-642-21341-0
- pisbn : 978-3-642-21340-3
- doi : 10.1007/978-3-642-21341-0
|
Fulltext
|
Artificial Neural Networks and Machine Learning - ICANN 2011 |
- isbn : 978-3-642-21735-7
- pisbn : 978-3-642-21734-0
- doi : 10.1007/978-3-642-21735-7
|
Fulltext
|
Advances in Self-Organizing Maps |
- isbn : 978-3-642-21566-7
- pisbn : 978-3-642-21565-0
- doi : 10.1007/978-3-642-21566-7
|
Fulltext
|
Trust and Trustworthy Computing |
- isbn : 978-3-642-21599-5
- pisbn : 978-3-642-21598-8
- doi : 10.1007/978-3-642-21599-5
|
Fulltext
|
Automated Reasoning with Analytic Tableaux and Related Methods |
- isbn : 978-3-642-22119-4
- pisbn : 978-3-642-22118-7
- doi : 10.1007/978-3-642-22119-4
|
Fulltext
|
Computational Science and Its Applications - ICCSA 2011 |
- isbn : 978-3-642-21934-4
- pisbn : 978-3-642-21933-7
- doi : 10.1007/978-3-642-21934-4
|
Fulltext
|
Advances in Artificial Life |
- isbn : 978-3-642-21283-3
- pisbn : 978-3-642-21282-6
- doi : 10.1007/978-3-642-21283-3
|
Fulltext
|