CASL User Manual |
- isbn : 978-3-540-44397-1
- pisbn : 978-3-540-20766-5
- doi : 10.1007/b11968
|
Fulltext
|
Database and Expert Systems Applications |
- isbn : 978-3-540-30075-5
- pisbn : 978-3-540-22936-0
- doi : 10.1007/b99664
|
Fulltext
|
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems |
- isbn : 978-3-540-30206-3
- pisbn : 978-3-540-23167-7
- doi : 10.1007/b100824
|
Fulltext
|
Inconsistency Tolerance |
- isbn : 978-3-540-30597-2
- pisbn : 978-3-540-24260-4
- doi : 10.1007/b104925
|
Fulltext
|
Global Computing |
- isbn : 978-3-540-31794-4
- pisbn : 978-3-540-24101-0
- doi : 10.1007/b103251
|
Fulltext
|
Computational Logic in Multi-Agent Systems |
- isbn : 978-3-540-30200-1
- pisbn : 978-3-540-24010-5
- doi : 10.1007/b104175
|
Fulltext
|
Conditionals, Information, and Inference |
- isbn : 978-3-540-32235-1
- pisbn : 978-3-540-25332-7
- doi : 10.1007/b107184
|
Fulltext
|
High Performance Computing - HiPC 2004 |
- isbn : 978-3-540-30474-6
- pisbn : 978-3-540-24129-4
- doi : 10.1007/b104576
|
Fulltext
|
Semantic Web Services and Web Process Composition |
- isbn : 978-3-540-30581-1
- pisbn : 978-3-540-24328-1
- doi : 10.1007/b105145
|
Fulltext
|
Object-Oriented Technology. ECOOP 2004 Workshop Reader |
- isbn : 978-3-540-30554-5
- pisbn : 978-3-540-23988-8
- doi : 10.1007/b104146
|
Fulltext
|