Your search returned 2848 results.

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

142.
System Signatures and their Applications in Engineering Reliability [electronic resource] / by Francisco J. Samaniego.

by Samaniego, Francisco J | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TA169 S26 2007 (1).

143.
Model-Driven Architecture in Practice [electronic resource] : A Software Production Environment Based on Conceptual Modeling / by Oscar Pastor, Juan Carlos Molina.

by Pastor, Oscar | Molina, Juan Carlos | 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.76.D47 P37 2007 (1).

144.
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings / edited by Kamal Lodaya, Meena Mahajan.

by Lodaya, Kamal | Mahajan, Meena | 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.751 L63 2005 (1).

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

146.
Wireless Sensor Networks [electronic resource] : 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings / edited by Koen Langendoen, Thiemo Voigt.

by Langendoen, Koen | Voigt, Thiemo | 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 L36 2007 (1).

147.
Discrete Geometry, Combinatorics and Graph Theory [electronic resource] : 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, Xi’an, China, November 22-24, 2005, Revised Selected Papers / edited by Jin Akiyama, William Y. C. Chen, Mikio Kano, Xueliang Li, Qinglin Yu.

by Akiyama, Jin | Chen, William Y. C | Kano, Mikio | Li, Xueliang | Yu, Qinglin | 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: QA167 A35 2007 (1).

148.
Logic for Computer Scientists [electronic resource] / by Uwe Schöning.

by Schöning, Uwe | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Birkhäuser Boston, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA9 S36 2008 (1).

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

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

151.
Service Availability [electronic resource] : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings / edited by Takashi Nanya, Fumihiro Maruyama, András Pataricza, Miroslaw Malek.

by Nanya, Takashi | Maruyama, Fumihiro | Pataricza, András | Malek, Miroslaw | 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: TK5105.5 N36 2008 (1).

152.
Testing Commercial-off-the-Shelf Components and Systems [electronic resource] / edited by Sami Beydeda, Volker Gruhn.

by Beydeda, Sami | Gruhn, Volker | SpringerLink (Online service).

Edition: 1a ed.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.T48 B49 2005 (1).

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

154.
Instability in Models Connected with Fluid Flows I [electronic resource] / edited by Claude Bardos, Andrei Fursikov.

by Bardos, Claude | Fursikov, Andrei | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: New York, NY : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA911 B37 2008 (1).

155.
Computational Engineering — Introduction to Numerical Methods [electronic resource] / by Michael Schäfer.

by Schäfer, Michael | 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: TA330 S33 2006 (1).

156.
Implementation and Application of Functional Languages [electronic resource] : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers / edited by Olaf Chitil, Zoltán Horváth, Viktória Zsók.

by Chitil, Olaf | Horváth, Zoltán | Zsók, Viktória | 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.62 C58 2008 (1).

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

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

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

160.
Information Systems Security [electronic resource] : 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings / edited by R. Sekar, Arun K. Pujari.

by Sekar, R | Pujari, Arun K | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A25 S45 2008 (1).

Powered by Koha