Static Analysis |
- isbn : 978-3-540-49727-1
- pisbn : 978-3-540-65014-0
- doi : 10.1007/3-540-49727-7
|
Fulltext
|
Computer Safety, Reliability and Security |
- isbn : 978-3-540-49646-5
- pisbn : 978-3-540-65110-9
- doi : 10.1007/3-540-49646-7
|
Fulltext
|
Abstract Compositional Analysis of Iterated Relations |
- isbn : 978-3-540-49211-5
- pisbn : 978-3-540-65506-0
- doi : 10.1007/3-540-49211-9
|
Fulltext
|
Mobile Agents and Security |
- isbn : 978-3-540-68671-2
- pisbn : 978-3-540-64792-8
- doi : 10.1007/3-540-68671-1
|
Fulltext
|
Cooperative Buildings |
- isbn : 978-3-540-69706-0
- pisbn : 978-3-540-64237-4
- doi : 10.1007/3-540-69706-3
|
Fulltext
|
Parallel Computer Routing and Communication |
- isbn : 978-3-540-69352-9
- pisbn : 978-3-540-64571-9
- doi : 10.1007/3-540-69352-1
|
Fulltext
|
Automated Reasoning with Analytic Tableaux and Related Methods |
- isbn : 978-3-540-69778-7
- pisbn : 978-3-540-64406-4
- doi : 10.1007/3-540-69778-0
|
Fulltext
|
Optimal Interprocedural Program Optimization |
- isbn : 978-3-540-49639-7
- pisbn : 978-3-540-65123-9
- doi : 10.1007/3-540-49639-4
|
Fulltext
|
Progress in Artificial Intelligence — IBERAMIA 98 |
- isbn : 978-3-540-49795-0
- pisbn : 978-3-540-64992-2
- doi : 10.1007/3-540-49795-1
|
Fulltext
|
Application and Theory of Petri Nets 1998 |
- isbn : 978-3-540-69108-2
- pisbn : 978-3-540-64677-8
- doi : 10.1007/3-540-69108-1
|
Fulltext
|