|
|
On the Move to Meaningful Internet Systems: OTM 2011
by Meersman, Robert.
Publication:
. XXVIII, 430 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2011
by Meersman, Robert.
Publication:
. XXVII, 407 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agents in Principle, Agents in Practice
by Kinny, David.
Publication:
. XIII, 534 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),
|
|
|
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),
|
|
|
Multiagent System Technologies
by Klügl, Franziska.
Publication:
. X, 197 p.
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),
|
|
|
Recent Advances in the Message Passing Interface
by Cotronis, Yiannis.
Publication:
. XIV, 358 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Bultan, Tevfik.
Publication:
. XIV, 532 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Safety, Reliability, and Security
by Flammini, Francesco.
Publication:
. XI, 482p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logistics
by Böse, Jürgen W.
Publication:
. XI, 371 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Datalog Reloaded
by Moor, Oege.
Publication:
. VIII, 399p. 52 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation
by Ayala, José L.
Publication:
. XI, 352p.
Availability:
Copies available:
AUM Main Library
(1),
|
|