Your search returned 1189 results.

61.
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 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).

62.
String Processing and Information Retrieval [electronic resource] : 14th International Symposium, SPIRE 2007 Santiago, Chile, October 29-31, 2007 Proceedings / edited by Nivio Ziviani, Ricardo Baeza-Yates.

by Ziviani, Nivio | Baeza-Yates, Ricardo | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file 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.9.T48 Z58 2007 (1).

63.
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 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).

64.
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 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).

65.
Model-Based Reasoning in Science, Technology, and Medicine [electronic resource] / edited by Janusz Kacprzyk, Lorenzo Magnani, Ping Li.

by Kacprzyk, Janusz | Magnani, Lorenzo | Li, Ping | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file 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: Q339.19 K33 2007 (1).

66.
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 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).

67.
Fuzzy-Neuro Approach to Agent Applications [electronic resource] : From the AI Perspective to Modern Ontology / by Raymond S. T. Lee.

by Lee, Raymond S. T | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file 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.76.I58 L44 2006 (1).

68.
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 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).

69.
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 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).

70.
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 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).

71.
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 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).

72.
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 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).

73.
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 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).

74.
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 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).

75.
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 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).

76.
Compiler Construction [electronic resource] : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings / edited by Laurie Hendren.

by Hendren, Laurie | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file 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.C65 H46 2008 (1).

77.
Transactions on Edutainment I [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Abdennour Rhalibi.

by Pan, Zhigeng | Cheok, Adrian David | Müller, Wolfgang | Rhalibi, Abdennour | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file 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: LB1028.5 P36 2008 (1).

78.
Mobile Robots: The Evolutionary Approach [electronic resource] / edited by Nadia Nedjah, Leandro dos Santos Coelho, Luiza de Macedo Mourelle.

by Nedjah, Nadia | Coelho, Leandro dos Santos | Mourelle, Luiza de Macedo | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file 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: TJ211 N43 2007 (1).

79.
Learning Theory [electronic resource] : 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedings / edited by Nader H. Bshouty, Claudio Gentile.

by Bshouty, Nader H | Gentile, Claudio | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file 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: Q325.5 B74 2007 (1).

80.
New Advances in Virtual Humans [electronic resource] : Artificial Intelligence Environment / edited by Nadia Magnenat-Thalmann, Lakhmi C. Jain, Nikhil Ichalkaranje.

by Magnenat-Thalmann, Nadia | Jain, Lakhmi C | Ichalkaranje, Nikhil | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file 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.H85 M34 2008 (1).

Powered by Koha