|
|
61.
|
|
|
|
62.
|
Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings / edited by Véronica Dahl, Ilkka Niemelä. by Dahl, Véronica | Niemelä, Ilkka | SpringerLink (Online service). Edition: 1a. ed.Source: Springer eBooksMaterial type:  Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 D34 2007 (1).
|
|
|
63.
|
Pattern Recognition and Machine Intelligence [electronic resource] : First International Conference, PReMI 2005, Kolkata, India, December 20-22, 2005. Proceedings / edited by Sankar K. Pal, Sanghamitra Bandyopadhyay, Sambhunath Biswas. by Pal, Sankar K | Bandyopadhyay, Sanghamitra | Biswas, Sambhunath | SpringerLink (Online service). Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: Q327 P35 2005 (1).
|
|
|
64.
|
Advances in Visual Computing [electronic resource] : Third International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part II / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Nikos Paragios, Syeda-Mahmood Tanveer, Tao Ju, Zicheng Liu, Sabine Coquillart, Carolina Cruz-Neira, Torsten Müller, Tom Malzbender. by Bebis, George | Boyle, Richard | Parvin, Bahram | Koracin, Darko | Paragios, Nikos | Tanveer, Syeda-Mahmood | Ju, Tao | Liu, Zicheng | Coquillart, Sabine | Cruz-Neira, Carolina | Müller, Torsten | Malzbender, Tom | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.65 B43 2007 (1).
|
|
|
65.
|
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part III / edited by Ignac Lovrek, Robert J. Howlett, Lakhmi C. Jain. by Lovrek, Ignac | Howlett, Robert J | Jain, Lakhmi C | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK7801 L68 2008 (1).
|
|
|
66.
|
|
|
|
67.
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 [electronic resource] : 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part II / edited by James S. Duncan, Guido Gerig. by Duncan, James S | Gerig, Guido | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: R857.O6 D96 2005 (1).
|
|
|
68.
|
Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek. by Armando, Alessandro | Baumgartner, Peter | Dowek, Gilles | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A96 A76 2008 (1).
|
|
|
69.
|
|
|
|
70.
|
Smart Graphics [electronic resource] : 5th International Symposium, SG 2005, Frauenwörth Cloister, Germany, August 22-24, 2005. Proceedings / edited by Andreas Butz, Brian Fisher, Antonio Krüger, Patrick Olivier. by Butz, Andreas | Fisher, Brian | Krüger, Antonio | Olivier, Patrick | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: T385 B88 2005 (1).
|
|
|
71.
|
|
|
|
72.
|
Agent Communication [electronic resource] : International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers / edited by Rogier M. Eijk, Marc-Philippe Huget, Frank Dignum. by Eijk, Rogier M | Huget, Marc-Philippe | Dignum, Frank | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.I58 E35 2005 (1).
|
|
|
73.
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007 [electronic resource] : 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part II / edited by Nicholas Ayache, Sébastien Ourselin, Anthony Maeder. by Ayache, Nicholas | Ourselin, Sébastien | Maeder, Anthony | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: R857.O6 A93 2007 (1).
|
|
|
74.
|
Coordination, Organizations, Institutions, and Norms in Agent Systems III [electronic resource] : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers / edited by Jaime Simão Sichman, Julian Padget, Sascha Ossowski, Pablo Noriega. by Sichman, Jaime Simão | Padget, Julian | Ossowski, Sascha | Noriega, Pablo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.I58 S53 2008 (1).
|
|
|
75.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / edited by Miki Hermann, Andrei Voronkov. by Hermann, Miki | Voronkov, Andrei | SpringerLink (Online service). Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 H47 2006 (1).
|
|
|
76.
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings / edited by Pascal Hentenryck, Laurence Wolsey. by Hentenryck, Pascal | Wolsey, Laurence | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: Q340 H46 2007 (1).
|
|
|
77.
|
Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques [electronic resource] : Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings / edited by De-Shuang Huang, Laurent Heutte, Marco Loog. by Huang, De-Shuang | Heutte, Laurent | Loog, Marco | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: Q342 H83 2007 (1).
|
|
|
78.
|
|
|
|
79.
|
Advances in Multilingual and Multimodal Information Retrieval [electronic resource] : 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papers / edited by Carol Peters, Valentin Jijkoun, Thomas Mandl, Henning Müller, Douglas W. Oard, Anselmo Peñas, Vivien Petras, Diana Santos. by Peters, Carol | Jijkoun, Valentin | Mandl, Thomas | Müller, Henning | Oard, Douglas W | Peñas, Anselmo | Petras, Vivien | Santos, Diana | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: Z667.5 P48 2008 (1).
|
|
|
80.
|
Agents and Peer-to-Peer Computing [electronic resource] : 4th International Workshop, AP2PC 2005, Utrecht, The Netherlands, July 25, 2005. Revised Papers / edited by Zoran Despotovic, Sam Joseph, Claudio Sartori. by Despotovic, Zoran | Joseph, Sam | Sartori, Claudio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK5105.525 D47 2006 (1).
|
