|
|
Hardware and Software: Verification and Testing
by Bertacco, Valeria.
Publication:
. XX, 366 p. 147 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Language Engineering
by Erwig, Martin.
Publication:
. XII, 385 p. 156 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Hung, Dang.
Publication:
. XIV, 528 p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Philosophy and Engineering: Reflections on Practice, Principles and Process
by Michelfelder, Diane P.
Publication:
. XIX, 431 p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Assessment of the Nuclear Programs of Iran and North Korea
by Kang, Jungmin.
Publication:
. XII, 131 p. 19 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Electronic Technology and Civil Procedure
by Kengyel, Miklós.
Publication:
. XV, 329 p. 27 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Technical Artefacts: Creations of Mind and Matter
by Kroes, Peter.
Publication:
. X, 205 p. 18 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Capability Approach, Technology and Design
by Oosterlaken, Ilse.
Publication:
. VI, 258p. 12 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Biotechnology Debate
by Bovenkerk, Bernice.
Publication:
. XX, 336 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Nanotechnology, the Brain, and the Future
by Hays, Sean A.
Publication:
. XI, 399 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Detect and Deter: Can Countries Verify the Nuclear Test Ban?
by Dahlman, Ola.
Publication:
. X, 271p. 97 illus., 83 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Growing Gap Between Emerging Technologies and Legal-Ethical Oversight
by Marchant, Gary E.
Publication:
. XXXII, 212 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
New Thinking in Complexity for the Social Sciences and Humanities
by Jörg, Ton.
Publication:
. XII, 321p. 98 illus., 19 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Engineering Earth
by Brunn, Stanley D.
Publication:
. CC, 2266p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Technical Functions
by Houkes, Wybo.
Publication:
. VIII, 174p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Technological Developments in Education and Automation
by Iskander, Magued.
Publication:
. XIV, 537p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Philosophy and Engineering:
by Poel, Ibo.
Publication:
. XVIII, 361p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
I contenuti digitali
by Lucchi, Nicola.
Publication:
. XIII, 315 pagg.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Simulating Interacting Agents and Social Phenomena
by Takadama, Keiki.
Publication:
. XII, 280 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Yearbook on Space Policy 2010/2011
by Hulsroj, Peter.
Publication:
. XXII, 322 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|