Results
|
|
61.
|
|
|
|
62.
|
|
|
|
63.
|
|
|
|
64.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 5330
Edition: 1a ed.
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.63 C47 2008.
|
|
|
65.
|
|
|
|
66.
|
|
|
|
67.
|
|
|
|
68.
|
|
|
|
69.
|
|
|
|
70.
|
|
|
|
71.
|
Engineering Societies in the Agents World VI [electronic resource] : 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers / edited by Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci. by Series: Lecture Notes in Computer Science ; 3963
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 D55 2006.
|
|
|
72.
|
|
|
|
73.
|
|
|
|
74.
|
|
|
|
75.
|
|
|
|
76.
|
|
|
|
77.
|
|
|
|
78.
|
|
|
|
79.
|
|
|
|
80.
|
Human-Computer Interaction – INTERACT 2007 [electronic resource] : 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I / edited by Cécilia Baranauskas, Philippe Palanque, Julio Abascal, Simone Diniz Junqueira Barbosa. by Series: Lecture Notes in Computer Science ; 4662
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.H85 B37 2007.
|