Your search returned 18 results.

Results
	1.	Interconnect Noise Optimization in Nanometer Technologies [electronic resource] / by Mohamed A. Elgamel, Magdy A. Bayoumi. by Elgamel, Mohamed A Bayoumi, Magdy A SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.53 E55 2006. Place hold Add to cart (remove)
	2.	Verification Methodology Manual for SystemVerilog [electronic resource] / by Janick Bergeron, Eduard Cerny, Alan Hunter, Andrew Nightingale. by Bergeron, Janick Cerny, Eduard Hunter, Alan Nightingale, Andrew SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Synopsys, Inc. and ARM Limited, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 .V44 2005. Place hold Add to cart (remove)
	3.	SystemVerilog for Design [electronic resource] : A Guide to Using SystemVerilog for Hardware Design and Modeling / by Stuart Sutherland, Simon Davidmann, Peter Flake. by Sutherland, Stuart Davidmann, Simon Flake, Peter SpringerLink (Online service) Edition: Second Edition. Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 S87 2006. Place hold Add to cart (remove)
	4.	SAT-Based Scalable Formal Verification Solutions [electronic resource] / by Malay K. Ganai, Aarti Gupta. by Ganai, Malay K Gupta, Aarti SpringerLink (Online service) Series: Series on Integrated Circuits and Systems Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer-Verlag US, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 G36 2007. Place hold Add to cart (remove)
	5.	Rapid Prototyping of Digital Systems [electronic resource] / by James O. Hamblen, Tyson S. Hall, Michael D. Furman. by Hamblen, James O Hall, Tyson S Furman, Michael D SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer-Verlag US, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.G36 H36 2008. Place hold Add to cart (remove)
	6.	Scalable Hardware Verification with Symbolic Simulation [electronic resource] / by Valeria Bertacco. by Bertacco, Valeria SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 .B47 2006. Place hold Add to cart (remove)
	7.	Standardized Functional Verification [electronic resource] / by Alan Wiemann. by Wiemann, Alan SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 W54 2008. Place hold Add to cart (remove)
	8.	Leakage in Nanometer CMOS Technologies [electronic resource] / by Siva G. Narendra, Anantha Chandrakasan. by Narendra, Siva G Chandrakasan, Anantha SpringerLink (Online service) Series: Series on Integrated Circuits and Systems Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7871.99.M44 L43 2006. Place hold Add to cart (remove)
	9.	Inverse Problems in Electric Circuits and Electromagnetics [electronic resource] / by V. L. Chechurin, N. V. Korovkin, M. Hayakawa. by Chechurin, V. L Korovkin, N. V Hayakawa, M SpringerLink (Online service) Series: Mathematical and Analytical Techniques with Applications to Engineering Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media LLC, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK454 C47 2007. Place hold Add to cart (remove)
	10.	Constraint-Based Verification [electronic resource] / by Jun Yuan, Carl Pixley, Adnan Aziz. by Yuan, Jun Pixley, Carl Aziz, Adnan SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: Q340 .Y83 2006. Place hold Add to cart (remove)
	11.	Abstraction Refinement for Large Scale Model Checking [electronic resource] / by Chao Wang, Gary D. Hachtel, Fabio Somenzi. by Wang, Chao Hachtel, Gary D Somenzi, Fabio SpringerLink (Online service) Series: Series on Integrated Circuits and Systems Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 W36 2006. Place hold Add to cart (remove)
	12.	Semiconductor Modeling [electronic resource] : For Simulating Signal, Power, and Electromagnetic Integrity / by Roy G. Leventhal, Lynne Green. by Leventhal, Roy G Green, Lynne SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7871.85 .L458 2005. Place hold Add to cart (remove)
	13.	Thermal and Power Management of Integrated Circuits [electronic resource] / by Arman Vassighi, Manoj Sachdev. by Vassighi, Arman Sachdev, Manoj SpringerLink (Online service) Series: Series on Integrated Circuits and Systems Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874 V37 2006. Place hold Add to cart (remove)
	14.	Dynamics of Microelectromechanical Systems [electronic resource] / by Nicolae Lobontiu. by Lobontiu, Nicolae SpringerLink (Online service) Series: Microsystems ; 17 Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer-Verlag US, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7875 L59 2007. Place hold Add to cart (remove)
	15.	Creating Assertion-Based IP [electronic resource] / by Harry D. Foster, Adam C. Krolnik. by Foster, Harry D Krolnik, Adam C SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 F67 2008. Place hold Add to cart (remove)
	16.	Hardware Verification with C++ [electronic resource] : A Practitioner’s Handbook / by Mike Mintz, Robert Ekendahl. by Mintz, Mike Ekendahl, Robert SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 .M56 2006. Place hold Add to cart (remove)
	17.	Hardware Verification with SystemVerilog [electronic resource] : An Object-Oriented Framework / by Mike Mintz, Robert Ekendahl. by Mintz, Mike Ekendahl, Robert SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 M56 2007 . Place hold Add to cart (remove)
	18.	A Practical Introduction to PSL [electronic resource] / by Cindy Eisner, Dana Fisman. by Eisner, Cindy Fisman, Dana SpringerLink (Online service) Series: Series on Integrated Circuits and Systems Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 E42 2006. Place hold Add to cart (remove)

Powered by Koha