|
|
Agents in Principle, Agents in Practice
by Kinny, David.
Publication:
. XIII, 534 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods, Foundations and Applications
by Simao, Adenilso.
Publication:
. X, 205 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling: Actors, Open Systems, Biological Systems
by Agha, Gul.
Publication:
. XX, 447 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rule - Based Modeling and Computing on the Semantic Web
by Olken, Frank.
Publication:
. XVIII, 313p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Foundations in Computer Science
by Kuich, Werner.
Publication:
. X, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Security
by Lai, Xuejia.
Publication:
. XIII, 388 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Towards a Service-Based Internet
by Abramowicz, Witold.
Publication:
. XVII, 338p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Performance Engineering
by Thomas, Nigel.
Publication:
. XII, 341p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering and Formal Methods
by Barthe, Gilles.
Publication:
. XIV, 504p. 154 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Xiang, Yang.
Publication:
. XVIII, 411p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Xiang, Yang.
Publication:
. XVIII, 497p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modeling – ER 2011
by Jeusfeld, Manfred.
Publication:
. XIX, 530p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multiagent System Technologies
by Klügl, Franziska.
Publication:
. X, 197 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing Software and Systems
by Wolff, Burkhart.
Publication:
. X, 226p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Conceptual Modeling. Recent Developments and New Directions
by Troyer, Olga.
Publication:
. XX, 396p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods and Software Engineering
by Qin, Shengchao.
Publication:
. XIV, 670p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Stabilization, Safety, and Security of Distributed Systems
by Défago, Xavier.
Publication:
. XIV, 452 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Dependable and Historic Computing
by Jones, Cliff B.
Publication:
. XII, 523p. 137 illus., 60 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Driven Engineering Languages and Systems
by Whittle, Jon.
Publication:
. XX, 730 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Scholz, Sven-Bodo.
Publication:
. X, 291p.
Availability:
Copies available:
AUM Main Library
(1),
|
|