Computer Aided Verification |
- pisbn : 978-3-540-67770-3
- isbn : 978-3-540-45047-4
- doi : 10.1007/10722167
|
Fulltext
|
Modular Programming Languages |
- isbn : 978-3-540-45213-3
- pisbn : 978-3-540-40796-6
- doi : 10.1007/b12023
|
Fulltext
|
Knowledge-Based and Intelligent Information and Engineering Systems |
- isbn : 978-3-642-15384-6
- pisbn : 978-3-642-15383-9
- doi : 10.1007/978-3-642-15384-6
|
Fulltext
|
Swarm Intelligence |
- isbn : 978-3-642-15461-4
- pisbn : 978-3-642-15460-7
- doi : 10.1007/978-3-642-15461-4
|
Fulltext
|
Computer Security - ESORICS 2000 |
- pisbn : 978-3-540-41031-7
- isbn : 978-3-540-45299-7
- doi : 10.1007/10722599
|
Fulltext
|
Knowledge-Based and Intelligent Information and Engineering Systems |
- pisbn : 978-3-642-15389-1
- isbn : 978-3-642-15390-7
- doi : 10.1007/978-3-642-15390-7
|
Fulltext
|
Theory and Applications of Relational Structures as Knowledge Instruments |
- isbn : 978-3-540-24615-2
- pisbn : 978-3-540-20780-1
- doi : 10.1007/b94817
|
Fulltext
|
Knowledge-Based and Intelligent Information and Engineering Systems |
- pisbn : 978-3-642-15392-1
- isbn : 978-3-642-15393-8
- doi : 10.1007/978-3-642-15393-8
|
Fulltext
|
Verification, Model Checking, and Abstract Interpretation |
- isbn : 978-3-540-24622-0
- pisbn : 978-3-540-20803-7
- doi : 10.1007/b94790
|
Fulltext
|
Wireless On-Demand Network Systems |
- pisbn : 978-3-540-20790-0
- isbn : 978-3-540-24614-5
- doi : 10.1007/b94064
|
Fulltext
|