Your search returned 223 results.

Sort
Results
21.
Mechanics of Composite Materials with MATLAB [electronic resource] / by George Z. Voyiadjis, Peter I. Kattan. 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: TA418.9.C6 V69 2005.

22.
23.
Proceedings of the 15th International Meshing Roundtable [electronic resource] / edited by Philippe P. Pébay. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA377 P43 2006.

24.
Hybrid Systems: Computation and Control [electronic resource] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings / edited by Manfred Morari, Lothar Thiele. by Series: Lecture Notes in Computer Science ; 3414
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.38 M67 2005.

25.
Neural Preprocessing and Control of Reactive Walking Machines [electronic resource] : Towards Versatile Artificial Perception-Action Systems / by Poramate Manoonpong. by Series: Cognitive Technologies
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: QA76.87 M36 2007 .

26.
27.
28.
Proceedings of the 14th International Meshing Roundtable [electronic resource] / edited by Byron W. Hanks. 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: QA377 H36 2005.

29.
30.
Hybrid Systems: Computation and Control [electronic resource] : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / edited by Magnus Egerstedt, Bud Mishra. by Series: Lecture Notes in Computer Science ; 4981
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.38 E34 2008.

31.
Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers / edited by Thomas Kühne. by Series: Lecture Notes in Computer Science ; 4364
Edition: 1a ed.
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: QA76.76.D47 K84 2007.

32.
Discrete Geometry for Computer Imagery [electronic resource] : 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005. Proceedings / edited by Eric Andres, Guillaume Damiand, Pascal Lienhardt. by Series: Lecture Notes in Computer Science ; 3429
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: T385 A53 2005.

33.
Transactions on Aspect-Oriented Software Development I [electronic resource] / edited by Awais Rashid, Mehmet Aksit. by Series: Lecture Notes in Computer Science ; 3880
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 R37 2006.

34.
Algorithms and Architectures for Parallel Processing [electronic resource] : 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings / edited by Hai Jin, Omer F. Rana, Yi Pan, Viktor K. Prasanna. by Series: Lecture Notes in Computer Science ; 4494
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: QA76.58 J56 2007.

35.
36.
37.
New Methods of Concurrent Checking [electronic resource] / by Michael Göessel, Vitaly Ocheretny, Egor Sogomonyan, Daniel Marienfeld. by Series: Frontiers In Electronic Testing ; 42
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874 G64 2008.

38.
ANEMONA [electronic resource] : A Mulit-agent Methodology for Holonic Manufacturing Systems / by Vicente Botti, Adriana Giret. by Series: Springer Series in Advanced Manufacturing
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: London : Springer-Verlag, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TS155.63 B68 2008.

39.
40.
Pages

Powered by Koha