|
|
Flexible, reliable software : , using patterns and agile development /
by Christensen, Henrik B.
Publication:
Boca Raton, FL : Chapman & Hall/CRC, 2010
. xxvii, 496 p. :
26 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in systems safety : , proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011 /
Publication:
London : Springer, 2010
. x, 313, [1] p. :
15.5 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Publication:
Berlin : Springer, 2010
. xii, 230 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tests and proofs : , 4th International Conference, Tap 2010, Malaga Spin, July, 1-2,2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 182 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Using aspect-oriented programming for trustworthy software development /
by Safonov, V. O.
Publication:
Hoboken, NJ : Wiley-Interscience, 2008
. xii, 338 p. :
25 cm.
Date:2008
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Energy Minimization Methods in Computer Vision and Pattern Recognition
by Heyden, Anders.
Publication:
. XII, 363 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Computing Technologies
by Malyshkin, Victor.
Publication:
. XVI, 444 p. 183 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Computing Technologies
by Malyshkin, Victor.
Publication:
. XIV, 500p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Energy Minimization Methods in Computer Vision and Pattern Recognition
by Boykov, Yuri.
Publication:
. Approx. 450 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2010 - Parallel Processing
by D’Ambra, Pasqua.
Publication:
. XXV, 544p. 222 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2010 - Parallel Processing
by D’Ambra, Pasqua.
Publication:
. XXX, 600 p. 264 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools for High Performance Computing 2011
by Brunst, Holger.
Publication:
. XVI, 154 p. 116 illus., 45 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mobile Lightweight Wireless Systems
by Ser, Javier.
Publication:
. Approx. 370 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mobile Lightweight Wireless Systems
by Chatzimisios, Periklis.
Publication:
. XVII, 783p. 380 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Trends in Wireless and Mobile Networks
by Özcan, Abdulkadir.
Publication:
. X, 446p. 183 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Association Rule Hiding for Data Mining
by Gkoulalas-Divanis, Aris.
Publication:
. XX, 138p. 120 illus., 60 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|