|
|
Foundational and Practical Aspects of Resource Analysis
by Peña, Ricardo.
Publication:
. VII, 143 p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Stoelinga, Mariëlle.
Publication:
. XIV, 223 p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Business System Management and Engineering
by Ardagna, Claudio A.
Publication:
. X, 197 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Beringer, Lennart.
Publication:
. XI, 419 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agents for Educational Games and Simulations
by Beer, Martin.
Publication:
. X, 195 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Vidal, Germán.
Publication:
. X, 254 p. 61 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Generic and Indexed Programming
by Gibbons, Jeremy.
Publication:
. VII, 259 p. 24 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Central European Functional Programming School
by Zsók, Viktória.
Publication:
. VII, 533 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Collective Intelligence VII
by Nguyen, Ngoc Thanh.
Publication:
. XI, 237 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
RoboCup 2011: Robot Soccer World Cup XV
by Röfer, Thomas.
Publication:
. XXV, 600 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Speech, Sound and Music Processing: Embracing Research in India
by Ystad, Sølvi.
Publication:
. X, 235 p. 104 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Multi-Agent Systems
by Dennis, Louise.
Publication:
. XII, 217 p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented Computing - ICSOC 2011 Workshops
by Pallis, George.
Publication:
. XII, 334 p. 106 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),
|
|
|
Formal Verification of Object-Oriented Software
by Beckert, Bernhard.
Publication:
. X, 251 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Checking Software
by Donaldson, Alastair.
Publication:
. X, 261p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Engineering
by Brambilla, Marco.
Publication:
. XVII, 505p. 177 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ad-hoc, Mobile, and Wireless Networks
by Li, Xiang-Yang.
Publication:
. XIV, 486p. 214 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Processing and Applied Mathematics
by Wyrzykowski, Roman.
Publication:
. XXVII, 663 p.
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),
|
|