|
|
Software Engineering
by Lucia, Andrea.
Publication:
. X, 237 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical and Engineering Methods in Computer Science
by Kučera, Antonín.
Publication:
. XII, 213 p. 32 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Facing the Multicore-Challenge III
by Keller, Rainer.
Publication:
. X, 146 p. 61 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Aspects of Component Software
by Păsăreanu, Corina S.
Publication:
. X, 277 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools for Practical Software Verification
by Meyer, Bertrand.
Publication:
. VIII, 183 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Aspects of Component Software
by Arbab, Farhad.
Publication:
. X, 369 p. 131 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),
|
|
|
Transactions on Aspect-Oriented Software Development IX
by Leavens, Gary T.
Publication:
. XIV, 307 p. 97 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),
|
|
|
Multiple Access Communications
by Bellalta, Boris.
Publication:
. XII, 183 p. 67 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing Software and Systems
by Nielsen, Brian.
Publication:
. X, 263 p. 97 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented Computing
by Liu, Chengfei.
Publication:
. XX, 795 p. 258 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Computing and Applications
by Liu, Baoxiang.
Publication:
. XX, 782 p. 262 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Large-Scale Complex IT Systems. Development, Operation and Management
by Calinescu, Radu.
Publication:
. XII, 417 p. 143 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modeling
by Atzeni, Paolo.
Publication:
. XX, 592 p. 206 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Conceptual Modeling
by Castano, Silvana.
Publication:
. XX, 406 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Driven Engineering Languages and Systems
by France, Robert B.
Publication:
. XX, 828 p. 298 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model and Data Engineering
by Abelló, Alberto.
Publication:
. XII, 187 p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented and Cloud Computing
by Paoli, Flavio.
Publication:
. XI, 282 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|