Formal Techniques for Networked and Distributed Systems - FORTE 2006 |
- isbn : 978-3-540-46220-0
- pisbn : 978-3-540-46219-4
- doi : 10.1007/11888116
|
Fulltext
|
Intelligence and Security Informatics |
- isbn : 978-3-540-34479-7
- pisbn : 978-3-540-34478-0
- doi : 10.1007/11760146
|
Fulltext
|
Computational Science - ICCS 2006 |
- isbn : 978-3-540-34386-8
- pisbn : 978-3-540-34385-1
- doi : 10.1007/11758549
|
Fulltext
|
Computational Science - ICCS 2006 |
- isbn : 978-3-540-34380-6
- pisbn : 978-3-540-34379-0
- doi : 10.1007/11758501
|
Fulltext
|
Argumentation in Multi-Agent Systems |
- pisbn : 978-3-642-12804-2
- isbn : 978-3-642-12805-9
- doi : 10.1007/978-3-642-12805-9
|
Fulltext
|
Auditory Display |
- isbn : 978-3-642-12439-6
- pisbn : 978-3-642-12438-9
- doi : 10.1007/978-3-642-12439-6
|
Fulltext
|
Advances in Grid and Pervasive Computing |
- pisbn : 978-3-642-13066-3
- isbn : 978-3-642-13067-0
- doi : 10.1007/978-3-642-13067-0
|
Fulltext
|
Language and Automata Theory and Applications |
- isbn : 978-3-642-13089-2
- pisbn : 978-3-642-13088-5
- doi : 10.1007/978-3-642-13089-2
|
Fulltext
|
Large-Scale Scientific Computing |
- pisbn : 978-3-642-12534-8
- isbn : 978-3-642-12535-5
- doi : 10.1007/978-3-642-12535-5
|
Fulltext
|
Bioinformatics Research and Applications |
- isbn : 978-3-642-13078-6
- pisbn : 978-3-642-13077-9
- doi : 10.1007/978-3-642-13078-6
|
Fulltext
|