|
|
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),
|
|
|
Transactions on Computational Collective Intelligence IX
by Nguyen, Ngoc Thanh.
Publication:
. X, 237 p. 91 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),
|
|
|
Engineering Secure Software and Systems
by Jürjens, Jan.
Publication:
. XII, 231 p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Architecture of Computing Systems – ARCS 2013
by Kubátová, Hana.
Publication:
. XIV, 354 p. 146 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reversible Computation
by Glück, Robert.
Publication:
. X, 241 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Assurances for Self-Adaptive Systems
by Cámara, Javier.
Publication:
. X, 341 p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Radio Frequency Identification. Security and Privacy Issues
by Hoepman, Jaap-Henk.
Publication:
. X, 181 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|