Your search returned 1086 results.

Sort
Results
301.
Generative and Transformational Techniques in Software Engineering [electronic resource] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by Series: Lecture Notes in Computer Science ; 4143
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 L36 2006.

302.
Learning Design [electronic resource] : A Handbook on Modelling and Delivering Networked Education and Training / edited by Rob Koper, Colin Tattersall. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: LB1044.87 K67 2005.

303.
Euro-Par 2006 Parallel Processing [electronic resource] : 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings / edited by Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner. by Series: Lecture Notes in Computer Science ; 4128
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 N34 2006.

304.
Advances in Multiresolution for Geometric Modelling [electronic resource] / edited by Neil A. Dodgson, Michael S. Floater, Malcolm A. Sabin. by Series: Mathematics and Visualization
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA608 D64 2005.

305.
306.
Autonomy Oriented Computing [electronic resource] : From Problem Solving to Complex Systems Modeling / by Jiming Liu, Xiaolong Jin, Kwok Ching Tsui. by Series: Multiagent Systems, Artificial Societies, and Simulated Organizations, International Book Series ; 12
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Kluwer Academic Publishers, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 L58 2005.

307.
High Performance Computing on Vector Systems 2007 [electronic resource] / edited by Michael Resch, Sabine Roller, Peter Lammers, Toshiyuki Furui, Martin Galle, Wolfgang Bez. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.88 R47 2008.

308.
RoboCup 2007: Robot Soccer World Cup XI [electronic resource] / edited by Ubbo Visser, Fernando Ribeiro, Takeshi Ohashi, Frank Dellaert. by Series: Lecture Notes in Computer Science ; 5001
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ210.3 V57 2008.

309.
310.
311.
Architecting Dependable Systems III [electronic resource] / edited by Rogério Lemos, Cristina Gacek, Alexander Romanovsky. by Series: Lecture Notes in Computer Science ; 3549
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A73 L46 2005.

312.
Advances in Sensing with Security Applications [electronic resource] / edited by Jim Byrnes, Gerald Ostheimer. by Series: NATO Security Through Science Series ; 2
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7872.D48 B97 2006.

313.
Domain Decomposition Methods in Science and Engineering XVI [electronic resource] / edited by Olof B. Widlund, David E. Keyes. by Series: Lecture Notes in Computational Science and Engineering ; 55
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA402.2 W53 2007.

314.
Complex Effects in Large Eddy Simulations [electronic resource] / edited by Stavros C. Kassinos, Carlos A. Langer, Gianluca Iaccarino, Parviz Moin. by Series: Lecture Notes in Computational Science and Engineering ; 56
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA357.5.T87 K37 2007.

315.
Effective IT Service Management [electronic resource] : To ITIL and Beyond! / by Rob Addy. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T58.64 A33 2007.

316.
317.
Model Checking Software [electronic resource] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / edited by Klaus Havelund, Rupak Majumdar, Jens Palsberg. by Series: Lecture Notes in Computer Science ; 5156
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 H38 2008.

318.
319.
Effective Computational Geometry for Curves and Surfaces [electronic resource] / edited by Jean-Daniel Boissonnat, Monique Teillaud. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA643 B65 2006.

320.
Geostatistics Banff 2004 [electronic resource] / edited by Oy Leuangthong, Clayton V. Deutsch. by Series: Quantitative Geology and Geostatistics ; 14
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QE33.2.S82 L48 2005 .

Pages

Powered by Koha