Results
|
|
1.
|
Artificial Intelligence: Theories, Models and Applications [electronic resource] : 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings / edited by John Darzentas, George A. Vouros, Spyros Vosinakis, Argyris Arnellos. by Series: Lecture Notes in Computer Science ; 5138
Material type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q334 D37 2008.
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
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.
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
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.
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
Languages, Methodologies and Development Tools for Multi-Agent Systems [electronic resource] : First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers / edited by Mehdi Dastani, Amal Fallah Seghrouchni, João Leite, Paolo Torroni. by Series: Lecture Notes in Computer Science ; 5118
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 D37 2008.
|
|
|
13.
|
Learning Classifier Systems [electronic resource] : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers / edited by Jaume Bacardit, Ester Bernadó-Mansilla, Martin V. Butz, Tim Kovacs, Xavier Llorà, Keiki Takadama. by Series: Lecture Notes in Computer Science ; 4998
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: Q325 B33 2008.
|
|
|
14.
|
Languages and Compilers for Parallel Computing [electronic resource] : 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers / edited by Vikram Adve, María Jesús Garzarán, Paul Petersen. by Series: Lecture Notes in Computer Science ; 5234
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 A38 2008.
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
Spatial Information Theory [electronic resource] : 8th International Conference, COSIT 2007, Melbourne, Australiia, September 19-23, 2007. Proceedings / edited by Stephan Winter, Matt Duckham, Lars Kulik, Ben Kuipers. by Series: Lecture Notes in Computer Science ; 4736
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: G70.212 W56 2007.
|
|
|
19.
|
|
|
|
20.
|
Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings / edited by Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie. by Series: Lecture Notes in Computer Science ; 4789
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 B88 2007.
|