Your search returned 220 results.

Sort
Results
61.
SAT-Based Scalable Formal Verification Solutions [electronic resource] / by Malay K. Ganai, Aarti Gupta. by Series: Series on Integrated Circuits and Systems
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer-Verlag US, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 G36 2007.

62.
Advances in Design and Specification Languages for Embedded Systems [electronic resource] : Selected Contributions from FDL'06 / edited by Sorin A. Huss. by
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: TK7885.7 H87 2007 .

63.
Dynamic and Robust Streaming in and between Connected Consumer-Electronic Devices [electronic resource] / edited by Peter Stok. by Series: Philips Research ; 3
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.5485 S76 2005.

64.
Rapid Prototyping of Digital Systems [electronic resource] / by James O. Hamblen, Tyson S. Hall, Michael D. Furman. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer-Verlag US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.G36 H36 2008.

65.
Multirate Statistical Signal Processing [electronic resource] / by Omid S. Jahromi. by Series: Signals and Communication Technology
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: TK5102.9 J34 2007.

66.
Advances and Innovations in Systems, Computing Sciences and Software Engineering [electronic resource] / edited by Khaled Elleithy. 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: QA76.9.S88 E45 2007.

67.
68.
The NeuroProcessor [electronic resource] : An Integrated Interface to Biological Neural Networks / by Yevgeny Perelman, Ran Ginosar. 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: RC350.N48 P47 2008.

69.
70.
Direct Transistor-level Layout for Digital Blocks [electronic resource] / by Prakash Gopalakrishnan, Rob A. Rutenbar. 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: TK7874.55 G67 2005.

71.
Computational Intelligence [electronic resource] : for Engineering and Manufacturing / edited by Diego Andina, Duc Truong Pham. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q342 C65 2007.

72.
Advances in Design and Specification Languages for SoCs [electronic resource] : Selected Contributions from FDL’04 / edited by Pierre Boulet. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 B68 2005.

73.
A Practical Guide for SystemVerilog Assertions [electronic resource] / by Srikanth Vijayaraghavan, Meyyappan Ramanathan. by
Material type: Computer file Computer file; Format: electronic available online remote
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: TK7885.7 .V55 2005.

74.
CMOS Current-Mode Circuits for Data Communications [electronic resource] / by Fei Yuan. by Series: Analog Circuits and Signal Processing
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
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: TK871.99.M44 Y83 2007.

75.
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems [electronic resource] : Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 / edited by S. Ramesh, Prahladavaradan Sampath. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 R36 2007.

76.
Cooperation in Wireless Networks: Principles and Applications [electronic resource] : Real Egoistic Behavior is to Cooperate! / edited by Frank H. P. Fitzek, Marcos D. Katz. 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: TK5103.2 F58 2006.

77.
The Developer’s Guide to Debugging [electronic resource] / by Thorsten Grötker, Ulrich Holtmann, Holger Keding, Markus Wloka. by
Edition: 1a ed.
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.D43 G76 2008.

78.
Feedforward Amplifiers for Wideband Communication Systems [electronic resource] / by Jon Legarda. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7871.58.B74 L44 2006.

79.
Sub-threshold Design for Ultra Low-Power Systems [electronic resource] / by Alice Wang, Benton H. Calhoun, Anantha P. 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, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7881.15 W36 2006.

80.
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.

Pages

Powered by Koha