|
|
Declarative Agent Languages and Technologies X
by Baldoni, Matteo.
Publication:
. XII, 209 p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented Computing - ICSOC 2012 Workshops
by Ghose, Aditya.
Publication:
. XVI, 466 p. 153 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Languages and Compilers for Parallel Computing
by Kasahara, Hironori.
Publication:
. XII, 276 p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Requirements Engineering: Foundation for Software Quality
by Doerr, Joerg.
Publication:
. XVIII, 402 p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Smart Card Research and Advanced Applications
by Mangard, Stefan.
Publication:
. XII, 297 p. 98 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations and Practice of Security
by Garcia-Alfaro, Joaquin.
Publication:
. XIV, 383 p. 90 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Software Science and Computation Structures
by Pfenning, Frank.
Publication:
. XXIV, 451 p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamental Approaches to Software Engineering
by Cortellessa, Vittorio.
Publication:
. XX, 376 p. 90 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Compiler Construction
by Jhala, Ranjit.
Publication:
. XVIII, 265 p. 96 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Felleisen, Matthias.
Publication:
. XX, 620 p. 162 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Pervasive Computing and the Networked World
by Zu, Qiaohong.
Publication:
. XXII, 921 p. 434 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Aspect-Oriented Software Development X
by Leavens, Gary T.
Publication:
. XII, 185 p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2012: Parallel Processing Workshops
by Caragiannis, Ioannis.
Publication:
. XXIV, 589 p. 232 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
by Clarke, Dave.
Publication:
. VIII, 515 p. 134 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Performance Engineering
by Tribastone, Mirco.
Publication:
. X, 253 p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
System Analysis and Modeling: Theory and Practice
by Haugen, Øystein.
Publication:
. X, 249 p. 91 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Membrane Computing
by Csuhaj-Varjú, Erzsébet.
Publication:
. XII, 425 p. 104 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Piterman, Nir.
Publication:
. XXIV, 646 p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Selected Topics in Performance Evaluation and Benchmarking
by Nambiar, Raghunath.
Publication:
. XIV, 209 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Wireless Sensor Networks
by Demeester, Piet.
Publication:
. X, 197 p. 116 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|