Your search returned 170 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
121.
Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms [electronic resource] / by Andreas Wieferink, Heinrich Meyr, Rainer Leupers. by
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: QA76.5 W54 2008.

Place hold Add to cart
122.
Embedded and Ubiquitous Computing [electronic resource] : International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings / edited by Tei-Wei Kuo, Edwin Sha, Minyi Guo, Laurence T. Yang, Zili Shao. by Series: Lecture Notes in Computer Science ; 4808
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 K86 2007.

Place hold Add to cart
123.
124.
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
125.
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
126.
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
127.
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
128.
129.
XML for Bioinformatics [electronic resource] / by Ethan Cerami. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.H94 C47 2005.

Place hold Add to cart
130.
The Definitive Guide to ImageMagick [electronic resource] / by Michael Still. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Michael Still, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TR897.7 S75 2006.

Place hold Add to cart
131.
Pro Apache XML [electronic resource] / by Poornachandra Sarang. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Poornachandra Sarang, Ph.D., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A63 S37 2006.

Place hold Add to cart
132.
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
133.
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
134.
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
135.
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
136.
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
137.
138.
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
139.
140.
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
Pages

Powered by Koha