|
|
Methods and Tools of Parallel Programming Multicomputers
by Hsu, Ching-Hsien.
Publication:
. XIV, 302p. 139 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ad-Hoc, Mobile and Wireless Networks
by Nikolaidis, Ioanis.
Publication:
. X, 222p. 86 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Wireless Algorithms, Systems, and Applications
by Pandurangan, Gopal.
Publication:
. XV, 256p. 156 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers in Algorithmics
by Lee, Der-Tsai.
Publication:
. XI, 339p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unifying Theories of Programming
by Butterfield, Andrew.
Publication:
. IX, 279p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Services and Formal Methods
by Laneve, Cosimo.
Publication:
. VII, 197p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Resource Discovery
by Lacroix, Zoé.
Publication:
. IX, 141p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Self-Organizing Architectures
by Weyns, Danny.
Publication:
. X, 301p. 110 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Processing and Applied Mathematics
by Wyrzykowski, Roman.
Publication:
. XXIV, 596p. 272 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Processing and Applied Mathematics
by Wyrzykowski, Roman.
Publication:
. XXIV, 628p. 242 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Critical Information Infrastructures Security
by Rome, Erich.
Publication:
. XII, 213p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
New Modeling Concepts for Today’s Software Processes
by Münch, Jürgen.
Publication:
. XIV, 382p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing Techniques in Software Engineering
by Borba, Paulo.
Publication:
. IX, 313p. 73 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Touili, Tayssir.
Publication:
. XVI, 676p. 169 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language and Meaning
by Aloni, Maria.
Publication:
. X, 476p. 1 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Requirements Engineering: Foundation for Software Quality
by Wieringa, Roel.
Publication:
. XII, 280p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2010
by Strichman, Ofer.
Publication:
. XIII, 400p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata, Languages and Programming
by Abramsky, Samson.
Publication:
. XXIV, 614p. 78 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2009 – Parallel Processing Workshops
by Lin, Hai-Xiang.
Publication:
. XIX, 468p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ECOOP 2010 – Object-Oriented Programming
by D’Hondt, Theo.
Publication:
. XIII, 599p. 196 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|