//]]>
Algorithms and Architectures for Parallel Processing by Xiang, Yang. Publication: . XVIII, 497p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Conceptual Modeling – ER 2011 by Jeusfeld, Manfred. Publication: . XIX, 530p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multiagent System Technologies by Klügl, Franziska. Publication: . X, 197 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing Software and Systems by Wolff, Burkhart. Publication: . X, 226p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Conceptual Modeling. Recent Developments and New Directions by Troyer, Olga. Publication: . XX, 396p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Qin, Shengchao. Publication: . XIV, 670p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Stabilization, Safety, and Security of Distributed Systems by Défago, Xavier. Publication: . XIV, 452 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Dependable and Historic Computing by Jones, Cliff B. Publication: . XII, 523p. 137 illus., 60 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Driven Engineering Languages and Systems by Whittle, Jon. Publication: . XX, 730 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Functional Languages by Scholz, Sven-Bodo. Publication: . X, 291p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Advances in the Message Passing Interface by Cotronis, Yiannis. Publication: . XIV, 358 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model and Data Engineering by Bellatreche, Ladjel. Publication: . XI, 288 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Information System Engineering – WISE 2011 by Bouguettaya, Athman. Publication: . XV, 346 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Industrial Critical Systems by Salaün, Gwen. Publication: . X, 261 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Network and Parallel Computing by Altman, Erik. Publication: . XIII, 368 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Bultan, Tevfik. Publication: . XIV, 532 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Frontiers of Combining Systems by Tinelli, Cesare. Publication: . VIII, 275 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Architecture by Varbanescu, Ana Lucia. Publication: . XXVII, 378p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Fahrenberg, Uli. Publication: . XI, 353 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Delzanno, Giorgio. Publication: . XII, 245 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart