Refine your search

Your search returned 932 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
681.
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
682.
Ambient Intelligence in Everyday Life [electronic resource] : Foreword by Emile Aarts / edited by Yang Cai, Julio Abascal. by Series: Lecture Notes in Computer Science ; 3864
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.9.A48 C35 2006.

Place hold Add to cart
683.
Parallel and Distributed Processing and Applications [electronic resource] : Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings / edited by Jiannong Cao, Laurence T. Yang, Minyi Guo, Francis Lau. by Series: Lecture Notes in Computer Science ; 3358
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.9.A73 C36 2005.

Place hold Add to cart
684.
685.
Advances in Computer and Information Sciences and Engineering [electronic resource] / edited by Tarek Sobh. 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.9.S88 S63 2008.

Place hold Add to cart
686.
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
687.
688.
Computer Aided Verification [electronic resource] : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings / edited by Kousha Etessami, Sriram K. Rajamani. by Series: Lecture Notes in Computer Science ; 3576
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.V47 E84 2005.

Place hold Add to cart
689.
Implementing Distributed Systems with Java and CORBA [electronic resource] / by Markus Aleksy, Axel Korthaus, Martin Schader. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin · Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 A44 2005 .

Place hold Add to cart
690.
Software Engineering for Multi-Agent Systems III [electronic resource] : Research Issues and Practical Applications / edited by Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky. by Series: Lecture Notes in Computer Science ; 3390
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.758 C66 2005.

Place hold Add to cart
691.
Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings / edited by Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford. by Series: Lecture Notes in Computer Science ; 4608
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.C66 S34 2007.

Place hold Add to cart
692.
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
693.
694.
Pro Eclipse JST [electronic resource] : Plug-ins for J2EE Development / by Christopher M. Judd, Hakeem Shittu. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Christopher M. Judd and Hakeem Shittu, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 J83 2005.

Place hold Add to cart
695.
Algorithms for Sensor and Ad Hoc Networks [electronic resource] : Advanced Lectures / edited by Dorothea Wagner, Roger Wattenhofer. by Series: Lecture Notes in Computer Science ; 4621
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: TK7872.D48 W34 2007 .

Place hold Add to cart
696.
697.
Introduction to Programming with Fortran [electronic resource] / by Ian D. Chivers, Jane Sleightholme. by
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: QA76.73.F25 C58 2006 .

Place hold Add to cart
698.
699.
700.
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
Pages

Powered by Koha