Dependable Computing |
- isbn : 978-3-540-75294-3
- pisbn : 978-3-540-75293-6
- doi : 10.1007/978-3-540-75294-3
|
Fulltext
|
Knowledge-Based Intelligent Information and Engineering Systems |
- isbn : 978-3-540-74819-9
- pisbn : 978-3-540-74817-5
- doi : 10.1007/978-3-540-74819-9
|
Fulltext
|
Ontologies-Based Databases and Information Systems |
- isbn : 978-3-540-75474-9
- pisbn : 978-3-540-75473-2
- doi : 10.1007/978-3-540-75474-9
|
Fulltext
|
Types for Proofs and Programs |
- isbn : 978-3-540-74464-1
- pisbn : 978-3-540-74463-4
- doi : 10.1007/978-3-540-74464-1
|
Fulltext
|
Engineering Societies in the Agents World VII |
- isbn : 978-3-540-75524-1
- pisbn : 978-3-540-75522-7
- doi : 10.1007/978-3-540-75524-1
|
Fulltext
|
Formal Aspects in Security and Trust |
- isbn : 978-3-540-75227-1
- pisbn : 978-3-540-75226-4
- doi : 10.1007/978-3-540-75227-1
|
Fulltext
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty |
- isbn : 978-3-540-75256-1
- pisbn : 978-3-540-75255-4
- doi : 10.1007/978-3-540-75256-1
|
Fulltext
|
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies |
- isbn : 978-3-540-74450-4
- pisbn : 978-3-540-74449-8
- doi : 10.1007/978-3-540-74450-4
|
Fulltext
|
Software Technologies for Embedded and Ubiquitous Systems |
- isbn : 978-3-540-75664-4
- pisbn : 978-3-540-75663-7
- doi : 10.1007/978-3-540-75664-4
|
Fulltext
|
Automated Reasoning with Analytic Tableaux and Related Methods |
- isbn : 978-3-540-73099-6
- pisbn : 978-3-540-73098-9
- doi : 10.1007/978-3-540-73099-6
|
Fulltext
|