Your search returned 56 results.

Sort
Results
21.
Scalable Hardware Verification with Symbolic Simulation [electronic resource] / by Valeria Bertacco. by
Material type: Computer file Computer file; Format: electronic available online remote
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: TK7874.58 .B47 2006.

22.
Closing the Power Gap Between ASIC & Custom [electronic resource] : Tools and Techniques for Low Power Design / by David Chinnery, Kurt Keutzer. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.66 C45 2007.

23.
24.
Ubiquitous and Pervasive Commerce [electronic resource] : New Frontiers for Electronic Business / edited by George Roussos. by Series: Computer Communications and Networks
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: HF5548.32 U25 2006.

25.
26.
SystemC Kernel Extensions for Heterogeneous System Modeling [electronic resource] : A framework for Multi-MoC Modeling & Simulation / by Hiren D. Patel, Sandeep K. Shukla. 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: QA76.9.S88 P38 2005.

27.
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 Series: Lecture Notes in Computer Science ; 3164
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: TK7895.P68 F35 2005.

28.
Cryptographic Algorithms on Reconfigurable Hardware [electronic resource] / by Francisco Rodríguez-Henríquez, Arturo Díaz Pérez, Nazar Abbas Saqib, Çetin Kaya Koç. by Series: Signals and Communication Technology
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A3 C79 2006.

29.
Digital VLSI Systems Design [electronic resource] : A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog / by S. Ramachandran. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874 R36 2007.

30.
System-Level Design Techniques for Energy-Efficient Embedded Systems [electronic resource] / by Marcus T. Schmitz, Bashir M. Al-Hashimi, Petru Eles. by
Edition: 1a ed.
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 S35 2005.

31.
Systemverilog for Verification [electronic resource] : A Guide to Learning the Testbench Language Features / by Chris Spear. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 S64 2006.

32.
Mathematical Methods for Robust and Nonlinear Control [electronic resource] : EPSRC Summer School / edited by Matthew C. Turner, Declan G. Bates. by Series: Lecture Notes in Control and Information Sciences ; 367
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer London, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ217.2 T87 2007.

33.
Leakage in Nanometer CMOS Technologies [electronic resource] / by Siva G. Narendra, Anantha Chandrakasan. by Series: Series on Integrated Circuits and Systems
Material type: Computer file Computer file; Format: electronic available online remote
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: TK7871.99.M44 L43 2006.

34.
35.
36.
Applications of Specification and Design Languages for SoCs [electronic resource] : Selected papers from FDL 2005 / edited by A. Vachoux. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 V33 2006.

37.
Peer-to-Peer Computing [electronic resource] : Building Supercomputers with Web Technologies / by Alfred Wai-Sing Loo. by Series: Computer Communications and Networks
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.525 L66 2006.

38.
39.
Low Power Methodology Manual [electronic resource] : For System-on-Chip Design / by Michael Keating, David Flynn, Robert Aitken, Alan Gibbons, Kaijian Shi. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Synopsys, Inc. & ARM Limited, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.66 L67 2007.

40.
Software-Implemented Hardware Fault Tolerance [electronic resource] / by Olga Goloubeva, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F38 S664 2006.

Pages

Powered by Koha