Search Results for Computer-Aided Design

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

605 Results Found

1 .. 39 40 41 42 43 .. 51

000000000000DEFAULT

481.

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:

482.

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:

483.

Embedded System Design

Author

Marwedel, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

484.

Writing Testbenches using System Verilog

Author

Bergeron, Janick. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

485.

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:

486.

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:

487.

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:

488.

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:

489.

Practical Grey-box Process Identification Theory and Applications

Author

Bohlin, Torsten. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-403-1

Format:

Availability

Online Library~1

Available:
Copies:

490.

Boundary Representation Modelling Techniques

Author

Stroud, Ian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-616-2

Format:

Availability

Online Library~1

Available:
Copies:

491.

Transformations and Projections in Computer Graphics

Author

Salomon, David. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-620-9

Format:

Availability

Online Library~1

Available:
Copies:

492.

Learning MicroStation VBA

Author

Winters, Jerry.

Preferred Shelf Number

ONLINE(312912.1)

Electronic Access

Knovel http://app.knovel.com/web/toc.v/cid:kpLMSVBA05

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 39 40 41 42 43 .. 51

	{displayName}	{count}
{error}