Your search returned 1291 results.

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

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

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

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

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

86.
Bioinformatics Research and Development [electronic resource] : First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007. Proceedings / edited by Sepp Hochreiter, Roland Wagner.

by Hochreiter, Sepp | Wagner, Roland | 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: QH324.2 H63 2007 (1).

87.
Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings / edited by Michael Johnson, Varmo Vene.

by Johnson, Michael | Vene, Varmo | 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.758 J64 2006 (1).

88.
Declarative Agent Languages and Technologies II [electronic resource] : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / edited by João Leite, Andrea Omicini, Paolo Torroni, pInar Yolum.

by Leite, João | Omicini, Andrea | Torroni, Paolo | Yolum, pInar | 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.7 L45 2005 (1).

89.
Declarative Agent Languages and Technologies III [electronic resource] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni.

by Baldoni, Matteo | Endriss, Ulle | Omicini, Andrea | Torroni, Paolo | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.7 B35 2006 (1).

90.
Advances in Information Retrieval [electronic resource] : 28th European Conference on IR Research, ECIR 2006, London, UK, April 10-12, 2006. Proceedings / edited by Mounia Lalmas, Andy MacFarlane, Stefan Rüger, Anastasios Tombros, Theodora Tsikrika, Alexei Yavlinsky.

by Lalmas, Mounia | MacFarlane, Andy | Rüger, Stefan | Tombros, Anastasios | Tsikrika, Theodora | Yavlinsky, Alexei | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.D3 L35 2006 (1).

91.
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 [electronic resource] : 9th International Conference, Copenhagen, Denmark, October 1-6, 2006. Proceedings, Part II / edited by Rasmus Larsen, Mads Nielsen, Jon Sporring.

by Larsen, Rasmus | Nielsen, Mads | Sporring, Jon | 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: R857.O6 L37 2006 (1).

92.
Computational Intelligence in Reliability Engineering [electronic resource] : Evolutionary Techniques in Reliability Analysis and Optimization / edited by Gregory Levitin.

by Levitin, Gregory | 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: TA169 L48 2007 (1).

93.
Artificial Neural Networks – ICANN 2007 [electronic resource] : 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part I / edited by Joaquim Marques Sá, Luís A. Alexandre, Włodzisław Duch, Danilo Mandic.

by Sá, Joaquim Marques | Alexandre, Luís A | Duch, Włodzisław | Mandic, Danilo | 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.87 S2 2007 (1).

94.
Multi-Sensor Data Fusion [electronic resource] : An Introduction / by H.B. Mitchell.

by Mitchell, H.B | 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: TK7872.D48 M58 2007 (1).

95.
Soft Computing in Web Information Retrieval [electronic resource] : Models and Applications / edited by Enrique Herrera-Viedma, Gabriella Pasi, Fabio Crestani.

by Herrera-Viedma, Enrique | Pasi, Gabriella | Crestani, Fabio | 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.9.S63 H47 2006 (1).

96.
From Specification to Embedded Systems Application [electronic resource] / edited by Achim Rettberg, Mauro C. Zanella, Franz J. Rammig.

by Rettberg, Achim | Zanella, Mauro C | Rammig, Franz J | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : International Federation for Information Processing, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.A65 R48 2005 (1).

97.
3D-Position Tracking and Control for All-Terrain Robots [electronic resource] / by Pierre Lamon.

by Lamon, Pierre | 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: TJ211.415 L36 2008 (1).

98.
Evolutionary Intelligence [electronic resource] : An Introduction to Theory and Applications with Matlab / by S. Sumathi, T. Hamsapriya, P. Surekha.

by Sumathi, S | Surekha, P | Hamsapriya, T | SpringerLink (Online service).

Edition: 1a ed.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: QA297 S86 2008 (1).

99.
Image Analysis and Recognition [electronic resource] : Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part II / edited by Aurélio Campilho, Mohamed Kamel.

by Campilho, Aurélio | Kamel, Mohamed | 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: TA1637 C36 2006 (1).

100.
KI 2008: Advances in Artificial Intelligence [electronic resource] : 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings / edited by Andreas R. Dengel, Karsten Berns, Thomas M. Breuel, Frank Bomarius, Thomas R. Roth-Berghofer.

by Dengel, Andreas R | Berns, Karsten | Breuel, Thomas M | Bomarius, Frank | Roth-Berghofer, Thomas R | 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: Q334 D46 2008 (1).

Powered by Koha