|
|
E-Voting and Identity
by Kiayias, Aggelos.
Publication:
. X, 257 p. 26 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
PRIMA 2012: Principles and Practice of Multi-Agent Systems
by Rahwan, Iyad.
Publication:
. XII, 243 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rules on the Web: Research and Applications
by Bikakis, Antonis.
Publication:
. XV, 325 p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Internet of Things, Smart Spaces, and Next Generation Networking
by Andreev, Sergey.
Publication:
. XV, 464 p. 207 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Convergence and Hybrid Information Technology
by Lee, Geuk.
Publication:
. XX, 763 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Topics in Performance Evaluation, Measurement and Characterization
by Nambiar, Raghunath.
Publication:
. XIV, 213 p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cooperative Design, Visualization, and Engineering
by Luo, Yuhua.
Publication:
. X, 290 p. 123 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ICT as Key Technology against Global Warming
by Auweter, Axel.
Publication:
. IX, 127 p. 56 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),
|
|
|
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),
|
|