Results
|
|
21.
|
|
Uncertainty Reasoning for the Semantic Web I [electronic resource] : ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers / edited by Paulo Cesar G. Costa, Claudia d’Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool. by Series: Lecture Notes in Computer Science ; 5327
Material type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.88815 C67 2008.
|
|
|
22.
|
|
|
|
|
23.
|
|
|
|
|
24.
|
|
|
|
|
25.
|
|
|
|
|
26.
|
|
|
|
|
27.
|
|
|
|
|
28.
|
|
|
|
|
29.
|
|
|
|
|
30.
|
|
|
|
|
31.
|
|
Rule Representation, Interchange and Reasoning on the Web [electronic resource] : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke. by Series: Lecture Notes in Computer Science ; 5321
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.H94 B37 2008.
|
|
|
32.
|
|
|
|
|
33.
|
|
|
|
|
34.
|
|
Verified Software: Theories, Tools, Experiments [electronic resource] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings / edited by Natarajan Shankar, Jim Woodcock. by Series: Lecture Notes in Computer Science ; 5295
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
|
|
|
35.
|
|
|
|
|
36.
|
|
|
|
|
37.
|
|
|
|
|
38.
|
|
|
|
|
39.
|
|
|
|
|
40.
|
|
|