|
|
Manage software testing /
by Farrell-Vinay, Peter.
Publication:
Boca Raton, FL : Auerbach Publications, 2008
. xxiii, 573 p. :
26 cm.
Date:2008
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Guide to advanced software testing /
by Hass, Anne Mette Jonassen.
Publication:
Boston, MA : Artech House, 2008
. xxxi, 427 p. :
24 cm.
Date:2008
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer aided verification : 22nd international conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings / , 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xvi, 676 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
OpenMP in the Era of Low Power Devices and Accelerators
by Rendell, Alistair P.
Publication:
. X, 201 p. 80 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Wireless Algorithms, Systems, and Applications
by Ren, Kui.
Publication:
. XIV, 536 p. 231 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Analytical and Stochastic Modeling Techniques and Applications
by Dudin, Alexander.
Publication:
. XII, 474 p. 159 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
High Performance Computing for Computational Science - VECPAR 2012
by Daydé, Michel.
Publication:
. XXII, 468 p. 237 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2012: Parallel Processing Workshops
by Caragiannis, Ioannis.
Publication:
. XXIV, 589 p. 232 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applied Parallel and Scientific Computing
by Manninen, Pekka.
Publication:
. XIV, 568 p. 186 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Wireless Sensor Networks
by Demeester, Piet.
Publication:
. X, 197 p. 116 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundational and Practical Aspects of Resource Analysis
by Peña, Ricardo.
Publication:
. VII, 143 p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Wireless Algorithms, Systems, and Applications
by Wang, Xinbing.
Publication:
. XII, 680 p. 295 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
OpenMP in a Heterogeneous World
by Chapman, Barbara M.
Publication:
. XI, 280p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Analytical and Stochastic Modeling Techniques and Applications
by Al-Begain, Khalid.
Publication:
. X, 303 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2011: Parallel Processing Workshops
by Alexander, Michael.
Publication:
. XXX, 480 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2011: Parallel Processing Workshops
by Alexander, Michael.
Publication:
. XXIX, 524p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms for Sensor Systems
by Erlebach, Thomas.
Publication:
. X, 239p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation
by Ayala, José L.
Publication:
. XI, 352p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Wireless Algorithms, Systems, and Applications
by Cheng, Yu.
Publication:
. XIV, 434p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2010 Parallel Processing Workshops
by Guarracino, Mario R.
Publication:
. XXVI, 699p.
Availability:
Copies available:
AUM Main Library
(1),
|
|