Leveraging Applications of Formal Methods, Verification, and Validation |
- pisbn : 978-3-642-16560-3
- isbn : 978-3-642-16561-0
- doi : 10.1007/978-3-642-16561-0
|
Fulltext
|
Advances in Artificial Intelligence - IBERAMIA 2010 |
- isbn : 978-3-642-16952-6
- pisbn : 978-3-642-16951-9
- doi : 10.1007/978-3-642-16952-6
|
Fulltext
|
Computational Collective Intelligence. Technologies and Applications |
- isbn : 978-3-642-16696-9
- pisbn : 978-3-642-16695-2
- doi : 10.1007/978-3-642-16696-9
|
Fulltext
|
Artificial Intelligence and Cognitive Science |
- isbn : 978-3-642-17080-5
- pisbn : 978-3-642-17079-9
- doi : 10.1007/978-3-642-17080-5
|
Fulltext
|
Unifying Theories of Programming |
- isbn : 978-3-642-16690-7
- pisbn : 978-3-642-16689-1
- doi : 10.1007/978-3-642-16690-7
|
Fulltext
|
Computational Collective Intelligence. Technologies and Applications |
- pisbn : 978-3-642-16692-1
- isbn : 978-3-642-16693-8
- doi : 10.1007/978-3-642-16693-8
|
Fulltext
|
Transactions on Computational Collective Intelligence II |
- pisbn : 978-3-642-17154-3
- isbn : 978-3-642-17155-0
- doi : 10.1007/978-3-642-17155-0
|
Fulltext
|
Computational Collective Intelligence. Technologies and Applications |
- isbn : 978-3-642-16732-4
- pisbn : 978-3-642-16731-7
- doi : 10.1007/978-3-642-16732-4
|
Fulltext
|
Graph Transformations and Model-Driven Engineering |
- pisbn : 978-3-642-17321-9
- isbn : 978-3-642-17322-6
- doi : 10.1007/978-3-642-17322-6
|
Fulltext
|
ECOOP 2003 - Object-Oriented Programming |
- pisbn : 978-3-540-40531-3
- isbn : 978-3-540-45070-2
- doi : 10.1007/b11832
|
Fulltext
|