Your search returned 11 results.

Results
	1.	Power-Aware Computer Systems [electronic resource] : 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers / edited by Babak Falsafi, T. N. VijayKumar. by Falsafi, Babak VijayKumar, T. N SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3471 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.P68 F35 2005. Place hold Add to cart (remove)
	2.	AmIware Hardware Technology Drivers of Ambient Intelligence [electronic resource] / edited by Satyen Mukherjee, Ronald M. Aarts, Raf Roovers, Frans Widdershoven, Martin Ouwerkerk. by Mukherjee, Satyen Aarts, Ronald M Roovers, Raf Widdershoven, Frans Ouwerkerk, Martin SpringerLink (Online service) Series: Philips Research ; 5 Material type: Computer file; Format: electronic Publication details: Dordrecht : Springer Science+Business Media B.V., 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A48 M85 2006. Place hold Add to cart (remove)
	3.	Springer Handbook of Robotics [electronic resource] / edited by Bruno Siciliano, Oussama Khatib. by Siciliano, Bruno Khatib, Oussama SpringerLink (Online service) Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ211 S53 2008. Place hold Add to cart (remove)
	4.	SAT-Based Scalable Formal Verification Solutions [electronic resource] / by Malay K. Ganai, Aarti Gupta. by Ganai, Malay K Gupta, Aarti SpringerLink (Online service) Series: Series on Integrated Circuits and Systems Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer-Verlag US, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 G36 2007. Place hold Add to cart (remove)
	5.	Ordinal Optimization [electronic resource] : Soft Optimization for Hard Problems / by Yu-Chi Ho, Qian-Chuan Zhao, Qing-Shan Jia. by Ho, Yu-Chi Zhao, Qian-Chuan Jia, Qing-Shan SpringerLink (Online service) Material type: Computer file; Format: electronic Publication details: Boston, MA : Springer-Verlag US, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA402.5 H6 2007. Place hold Add to cart (remove)
	6.	Designing Embedded Processors [electronic resource] : A Low Power Perspective / edited by Jörg Henkel, Sri Parameswaran. by Henkel, Jörg Parameswaran, Sri SpringerLink (Online service) Material type: Computer file; Format: electronic Publication details: Dordrecht : Springer Science+Business Media B.V., 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 H46 2007. Place hold Add to cart (remove)
	7.	Power-Aware Computer Systems [electronic resource] : Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers / edited by Babak Falsafi, T. N. VijayKumar. by Falsafi, Babak VijayKumar, T. N SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3164 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.P68 F35 2005. Place hold Add to cart (remove)
	8.	Embedded Systems – Modeling, Technology, and Applications [electronic resource] / edited by Günter Hommel, Sheng Huanye. by Hommel, Günter Huanye, Sheng SpringerLink (Online service) Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Dordrecht : Springer Netherlands, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 H66 2006. Place hold Add to cart (remove)
	9.	Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings / edited by Vassilis Paliouras, Johan Vounckx, Diederik Verkest. by Paliouras, Vassilis Vounckx, Johan Verkest, Diederik SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3728 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.75 P35 2005. Place hold Add to cart (remove)
	10.	Advances in Automatic Differentiation [electronic resource] / edited by Christian H. Bischof, H. Martin Bücker, Paul Hovland, Uwe Naumann, Jean Utke. by Bischof, Christian H Bücker, H. Martin Hovland, Paul Naumann, Uwe Utke, Jean SpringerLink (Online service) Series: Lecture Notes in Computational Science and Engineering ; 64 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA304 B57 2008. Place hold Add to cart (remove)
	11.	Model Order Reduction: Theory, Research Aspects and Applications [electronic resource] / edited by Wilhelmus H. A. Schilders, Henk A. Vorst, Joost Rommes. by Schilders, Wilhelmus H. A Vorst, Henk A Rommes, Joost SpringerLink (Online service) Series: Mathematics in Industry, The European Consortium for Mathematics in Industry ; 13 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TA347.L5 S35 2008 . Place hold Add to cart (remove)

Powered by Koha