|
|
Distributed Computing and Networking
by Frey, Davide.
Publication:
. XX, 466 p. 121 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Qadeer, Shaz.
Publication:
. XII, 322 p. 93 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Current Trends in Web Engineering
by Grossniklaus, Michael.
Publication:
. XXII, 245 p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Network and Parallel Computing
by Park, James J.
Publication:
. XX, 647 p. 253 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Future Generation Information Technology
by Kim, Tai-hoon.
Publication:
. XIV, 284 p. 141 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Aspect-Oriented Software Development IX
by Leavens, Gary T.
Publication:
. XIV, 307 p. 97 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination, Organizations, Institutions, and Norms in Agent System VII
by Cranefield, Stephen.
Publication:
. XIV, 221 p. 61 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial General Intelligence
by Bach, Joscha.
Publication:
. XII, 381 p. 121 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles of Distributed Systems
by Baldoni, Roberto.
Publication:
. XIV, 361 p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ambient Assisted Living and Home Care
by Bravo, José.
Publication:
. XX, 437 p. 161 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Swarm, Evolutionary, and Memetic Computing
by Panigrahi, Bijaya Ketan.
Publication:
. XX, 813 p. 308 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ubiquitous Computing and Ambient Intelligence
by Bravo, José.
Publication:
. XX, 523 p. 187 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Internet and Network Economics
by Goldberg, Paul W.
Publication:
. XX, 564 p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Hawblitzel, Chris.
Publication:
. X, 305 p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Economics of Grids, Clouds, Systems, and Services
by Vanmechelen, Kurt.
Publication:
. XIV, 245 p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Jhala, Ranjit.
Publication:
. XII, 389 p. 104 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Petri Nets and Other Models of Concurrency VI
by Jensen, Kurt.
Publication:
. XX, 365 p. 193 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Semantic Web – ISWC 2012
by Cudré-Mauroux, Philippe.
Publication:
. XXX, 677 p. 141 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Semantic Web – ISWC 2012
by Cudré-Mauroux, Philippe.
Publication:
. XXX, 467 p. 119 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Middleware 2012
by Narasimhan, Priya.
Publication:
. XVI, 498 p. 208 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|