Refine your search

Your search returned 2015 results.

Sort
Results
41.
Algebra and Coalgebra in Computer Science [electronic resource] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings / edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen. by Series: Lecture Notes in Computer Science ; 4624
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.9.M35 M67 2007.

42.
43.
Component-Based Software Development for Embedded Systems [electronic resource] : An Overview of Current Research Trends / edited by Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper. by Series: Lecture Notes in Computer Science ; 3778
Edition: 1a ed.
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.76.C66 A85 2005.

44.
Reliability-based Structural Design [electronic resource] / by Seung-Kyum Choi, Robert A. Canfield, Ramana V. Grandhi. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA658.8 C65 2007.

45.
Control of Interactive Robotic Interfaces [electronic resource] : A Port-Hamiltonian Approach / by Cristian Secchi, Cesare Fantuzzi, Stefano Stramigioli. by Series: Springer Tracts in Advanced Robotics ; 29
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: TJ211.35 S43 2007.

46.
Integrated Reaction and Separation Operations [electronic resource] : Modelling and experimental validation / by Henner Schmidt-Traub, Andrzej Górak. 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: TP155.75 S36 2006.

47.
Biology and Control Theory: Current Challenges [electronic resource] / edited by Isabelle Queinnec, Sophie Tarbouriech, Germain Garcia, Silviu-Iulian Niculescu. by Series: Lecture Notes in Control and Information Sciences ; 357
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: QH508 Q45 2007.

48.
Experimental Robotics X [electronic resource] : The 10th International Symposium on Experimental Robotics / edited by Oussama Khatib, Vijay Kumar, Daniela Rus. by Series: Springer Tracts in Advanced Robotics ; 39
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 K43 2008.

49.
Container Terminals and Automated Transport Systems [electronic resource] : Logistics Control Issues and Quantitative Decision Support / edited by Hans-Otto Günther, Kap Hwan Kim. 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: TA1215 G86 2005.

50.
Adaptive and Multilevel Metaheuristics [electronic resource] / edited by Carlos Cotta, Marc Sevaux, Kenneth Sörensen. by Series: Studies in Computational Intelligence ; 136
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: T57.84 C68 2008.

51.
52.
Complex Systems in Biomedicine [electronic resource] / edited by Alfio Quarteroni, Luca Formaggia, Alessandro Veneziani. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Milano : Springer-Verlag Italia, Milano, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: RB113 Q37 2006.

53.
Autotuning of PID Controllers [electronic resource] : A Relay Feedback Approach / by Cheng-Ching Yu. by
Edition: 2nd Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ223.P55 Y8 2006.

54.
Dynamics of the Axially Moving Orthotropic Web [electronic resource] / by Krzysztof Marynowski. by Series: Lecture Notes in Applied and Computational Mechanics ; 38
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: TS183 M37 2008.

55.
56.
Scientific Computing in Electrical Engineering [electronic resource] / edited by Angelo Marcello Anile, Giuseppe Alì, Giovanni Mascali. by Series: Mathematics in Industry ; 9
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: TK5 A55 2006.

57.
Model-Driven Testing [electronic resource] / by Paul Baker, Zhen Ru Dai, Jens Grabowski, Øystein Haugen, Ina Schieferdecker, Clay Williams. 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.76.T48 B35 2008.

58.
59.
RFID Security and Privacy [electronic resource] : Concepts, Protocols, and Architectures / by Dirk Henrici. by Series: Lecture Notes Electrical Engineering ; 17
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: TK6553 H46 2008.

60.
Middleware 2007 [electronic resource] : ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings / edited by Renato Cerqueira, Roy H. Campbell. by Series: Lecture Notes in Computer Science ; 4834
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.M54 C47 2007.

Pages

Powered by Koha