Automated Deduction - CADE-15 |
- isbn : 978-3-540-69110-5
- pisbn : 978-3-540-64675-4
- doi : 10.1007/BFb0054239
|
Fulltext
|
Intelligent Agents for Telecommunication Applications |
- isbn : 978-3-540-69102-0
- pisbn : 978-3-540-64720-1
- doi : 10.1007/BFb0053939
|
Fulltext
|
System Configuration Management |
- isbn : 978-3-540-69086-3
- pisbn : 978-3-540-64733-1
- doi : 10.1007/BFb0053872
|
Fulltext
|
Public Key Cryptography |
- isbn : 978-3-540-69105-1
- pisbn : 978-3-540-64693-8
- doi : 10.1007/BFb0054009
|
Fulltext
|
Information Security and Privacy |
- isbn : 978-3-540-69101-3
- pisbn : 978-3-540-64732-4
- doi : 10.1007/BFb0053715
|
Fulltext
|
Multimodal Human-Computer Communication |
- pisbn : 978-3-540-64380-7
- isbn : 978-3-540-69764-0
- doi : 10.1007/BFb0052309
|
Fulltext
|
Tools and Algorithms for the Construction and Analysis of Systems |
- isbn : 978-3-540-69753-4
- pisbn : 978-3-540-64356-2
- doi : 10.1007/BFb0054159
|
Fulltext
|
Approximation Algorithms for Combinatorial Optimization |
- pisbn : 978-3-540-64736-2
- isbn : 978-3-540-69067-2
- doi : 10.1007/BFb0053958
|
Fulltext
|
The Automation of Reasoning with Incomplete Information |
- isbn : 978-3-540-69793-0
- pisbn : 978-3-540-64515-3
- doi : 10.1007/BFb0054963
|
Fulltext
|
Formal Techniques in Real-Time and Fault-Tolerant Systems |
- isbn : 978-3-540-49792-9
- pisbn : 978-3-540-65003-4
- doi : 10.1007/BFb0055330
|
Fulltext
|