Search Results for Computer-Aided Design.

56 Results Found

1 2 3 4 5

000000000000DEFAULT

37.

Interconnect Noise Optimization in Nanometer Technologies

Author

Elgamel, Mohamed A. author. Bayoumi, Magdy A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-29366-3

Format:

Availability

Online Library~1

Available:
Copies:

38.

Thermal and Power Management of Integrated Circuits

Author

Vassighi, Arman. author. Sachdev, Manoj. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-29749-9

Format:

Availability

Online Library~1

Available:
Copies:

39.

Scalable Hardware Verification with Symbolic Simulation

Author

Bertacco, Valeria. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-29906-8

Format:

Availability

Online Library~1

Available:
Copies:

40.

Constraint-Based Verification

Author

Yuan, Jun. author. Pixley, Carl. author. Aziz, Adnan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-30784-2

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China

Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China

Author

Wang, Kesheng. editor. Kovacs, George L. editor. Wozny, Michael. editor. Fang, Minglun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-34403-9

Format:

Availability

Online Library~1

Available:
Copies:

42.

Abstraction Refinement for Large Scale Model Checking

Author

Wang, Chao. author. Hachtel, Gary D. author. Somenzi, Fabio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-34600-7

Format:

Availability

Online Library~1

Available:
Copies:

43.

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™

Author

Silva, Francisco. author. McLaurin, Teresa. author. Waayers, Tom. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-34609-0

Format:

Availability

Online Library~1

Available:
Copies:

44.

A Practical Introduction to PSL

Author

Eisner, Cindy. author. Fisman, Dana. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-36123-9

Format:

Availability

Online Library~1

Available:
Copies:

45.

Hardware Verification with C++ A Practitioner’s Handbook

Author

Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-36254-0

Format:

Availability

Online Library~1

Available:
Copies:

46.

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling

Author

Sutherland, Stuart. author. Davidmann, Simon. author. Flake, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-36495-1

Format:

Availability

Online Library~1

Available:
Copies:

47.

Visualisierung digitaler Gelände- und Landschaftsdaten

Author

Mach, Rüdiger. author. Petschek, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-30533-5

Format:

Availability

Online Library~1

Available:
Copies:

48.

CATIA V5 Workbook, releases 16

Author

Cozzens, Richard. Metalcraft Technologies, Inc.

Preferred Shelf Number

TA345.5.C3 C69 2006

Format:

Availability

Beytepe Library~1

Available:
Copies:

1 2 3 4 5

	{displayName}	{count}
{error}