Your search returned 3 results.

Sort
Results
1.
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.

2.
Modern Circuit Placement [electronic resource] : Best Practices and Results / edited by Gi-Joon Nam, Jason Cong. by Series: Series on Integrated Circuits and Systems
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.55 N36 2007.

3.
Adaptive Techniques for Dynamic Processor Optimization [electronic resource] : Theory and Practice / edited by Alice Wang, Samuel Naffziger. by Series: Series on Integrated Circuits and Systems
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.88 W36 2008.

Pages

Powered by Koha