|
|
| |
Advanced Test Methods for SRAMs
by Bosio, Alberto.
Publication:
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Power-Aware Testing and Test Strategies for Low Power Devices
by Girard, Patrick.
Publication:
. XXII, 353p. 444 illus., 222 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Quantifying and Exploring the Gap Between FPGAs and ASICs
by Kuon, Ian.
Publication:
. XII, 181p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
WIG Craft and Ekranoplan
by Yun, Liang.
Publication:
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Packaging for Sustainability
by Verghese, Karli.
Publication:
. XII, 384p. 62 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Innovation in Product Design
by Bordegoni, Monica.
Publication:
. XIV, 188p. 99 illus., 3 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Fundamentals of Digital Manufacturing Science
by Zhou, Zude.
Publication:
. XIV, 366 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Product Lifecycle Management
by Stark, John.
Publication:
. XXII, 562 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Engineering Design and Rapid Prototyping
by Kamrani, Ali K.
Publication:
. XXV, 442p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
User-Level Workflow Design
by Lamprecht, Anna-Lena.
Publication:
. XXII, 223 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Formal Modeling and Analysis of Timed Systems
by Braberman, Víctor.
Publication:
. X, 275 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Theory, Practice, and Applications of Rules on the Web
by Morgenstern, Leora.
Publication:
. XVIII, 249 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
by Gaag, Linda C.
Publication:
. XII, 536 p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Language and Automata Theory and Applications
by Dediu, Adrian-Horia.
Publication:
. XIV, 580 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Information Retrieval Meets Information Visualization
by Agosti, Maristella.
Publication:
. X, 177 p. 89 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Tools for Practical Software Verification
by Meyer, Bertrand.
Publication:
. VIII, 183 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Computer Safety, Reliability, and Security
by Ortmeier, Frank.
Publication:
. XVI, 530 p. 198 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Principles and Practice of Constraint Programming
by Milano, Michela.
Publication:
. XXII, 1015 p. 237 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Automated Technology for Verification and Analysis
by Chakraborty, Supratik.
Publication:
. XIV, 436 p. 106 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Progress in VLSI Design and Test
by Rahaman, Hafizur.
Publication:
. XXIV, 408 p. 275 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
