Your search returned 139 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
101.
Handbook of Nature-Inspired and Innovative Computing [electronic resource] : Integrating Classical Models with Emerging Technologies / edited by Albert Y. Zomaya. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.618 Z66 2006.

Place hold Add to cart
102.
Functional Verification of Programmable Embedded Architectures [electronic resource] : A Top-Down Approach / by Prabhat Mishra, Nikil D. Dutt. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 M57 2005.

Place hold Add to cart
103.
Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings / edited by Doron A. Peled, Yih-Kuen Tsay. by Series: Lecture Notes in Computer Science ; 3707
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.A96 P45 2005.

Place hold Add to cart
104.
Word 2007 [electronic resource] : Beyond the Manual / by Connie Morrison. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Connie Morrison, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Z52.5.M52 M67 2007.

Place hold Add to cart
105.
106.
Beginning PHP and MySQL E-Commerce [electronic resource] : From Novice to Professional / by Cristian Darie, Emilian Balanescu. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Cristian Darie and Emilian Balanescu, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HF5548.32 .D37 2008.

Place hold Add to cart
107.
Nonlinear Speech Modeling and Applications [electronic resource] : Advanced Lectures and Revised Selected Papers / edited by Gérard Chollet, Anna Esposito, Marcos Faundez-Zanuy, Maria Marinaro. by Series: Lecture Notes in Computer Science ; 3445
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: TK7882.S65 C46 2005.

Place hold Add to cart
108.
Beginning Google Maps Applications with PHP and Ajax [electronic resource] : From Novice to Professional / by Michael Purvis, Jeffrey Sambells, Cameron Turner. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Michael Purvis, Jeffrey Sambells, and Cameron Turner, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A52 P87 2006.

Place hold Add to cart
109.
Platform Based Design at the Electronic System Level [electronic resource] : Industry Perspectives and Experiences / by Mark Burton, Adam Morawiec. by
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: TK7874.6 B87 2006.

Place hold Add to cart
110.
Sustainable Internet [electronic resource] : Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings / edited by Serge Fdida, Kazunori Sugiura. by Series: Lecture Notes in Computer Science ; 4866
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: TK5105.5 F35 2007.

Place hold Add to cart
111.
112.
Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings / edited by Susanne Graf, Wenhui Zhang. by Series: Lecture Notes in Computer Science ; 4218
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.9.A96 G73 2006.

Place hold Add to cart
113.
114.
Cryptographic Hardware and Embedded Systems - CHES 2007 [electronic resource] : 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings / edited by Pascal Paillier, Ingrid Verbauwhede. by Series: Lecture Notes in Computer Science ; 4727
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: TK7895.E42 P35 2007.

Place hold Add to cart
115.
Lego Mindstorms NXT-G Programming Guide [electronic resource] / by James Floyd Kelly. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Apress, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ211.45 K45 2007.

Place hold Add to cart
116.
Wireless Sensor Networks [electronic resource] : 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings / edited by Roberto Verdone. by Series: Lecture Notes in Computer Science ; 4913
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: TK7872.D48 V47 2008.

Place hold Add to cart
117.
Windows Vista [electronic resource] : Beyond the Manual / by Jonathan Hassell, Tony Campbell. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Jonathan Hassell and Tony Campbell, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.774.M56 H37 2007.

Place hold Add to cart
118.
Embedded Systems Design [electronic resource] : The ARTIST Roadmap for Research and Development / by Bruno Bouyssounouse, Joseph Sifakis. by Series: Lecture Notes in Computer Science ; 3436
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: TK7895.E42 B68 2005.

Place hold Add to cart
119.
120.
Information Security [electronic resource] : 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings / edited by Juan A. Garay, Arjen K. Lenstra, Masahiro Mambo, René Peralta. by Series: Lecture Notes in Computer Science ; 4779
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.9.A25 G37 2007.

Place hold Add to cart
Pages

Powered by Koha