Trusted Systems |
- pisbn : 978-3-642-14596-4
- isbn : 978-3-642-14597-1
- doi : 10.1007/978-3-642-14597-1
|
Fulltext
|
Algorithmic Number Theory |
- isbn : 978-3-642-14518-6
- pisbn : 978-3-642-14517-9
- doi : 10.1007/978-3-642-14518-6
|
Fulltext
|
Passive and Active Network Measurement |
- pisbn : 978-3-540-25520-8
- isbn : 978-3-540-31966-5
- doi : 10.1007/b135479
|
Fulltext
|
Databases in Networked Information Systems |
- isbn : 978-3-540-31970-2
- pisbn : 978-3-540-25361-7
- doi : 10.1007/b106805
|
Fulltext
|
Active Mining |
- isbn : 978-3-540-31933-7
- pisbn : 978-3-540-26157-5
- doi : 10.1007/b136140
|
Fulltext
|
Engineering Human Computer Interaction and Interactive Systems |
- pisbn : 978-3-540-26097-4
- isbn : 978-3-540-31961-0
- doi : 10.1007/b136790
|
Fulltext
|
Computational Logic in Multi-Agent Systems |
- pisbn : 978-3-540-28060-6
- isbn : 978-3-540-31857-6
- doi : 10.1007/11533092
|
Fulltext
|
Agent-Oriented Information Systems II |
- isbn : 978-3-540-31946-7
- pisbn : 978-3-540-25911-4
- doi : 10.1007/b136434
|
Fulltext
|
Automated Reasoning |
- isbn : 978-3-642-14203-1
- pisbn : 978-3-642-14202-4
- doi : 10.1007/978-3-642-14203-1
|
Fulltext
|
Interactive Theorem Proving |
- isbn : 978-3-642-14052-5
- pisbn : 978-3-642-14051-8
- doi : 10.1007/978-3-642-14052-5
|
Fulltext
|