|
|
Recent Advances in the Message Passing Interface
by Cotronis, Yiannis.
Publication:
. XIV, 358 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model and Data Engineering
by Bellatreche, Ladjel.
Publication:
. XI, 288 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Information System Engineering – WISE 2011
by Bouguettaya, Athman.
Publication:
. XV, 346 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Salaün, Gwen.
Publication:
. X, 261 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Network and Parallel Computing
by Altman, Erik.
Publication:
. XIII, 368 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),
|
|
|
Frontiers of Combining Systems
by Tinelli, Cesare.
Publication:
. VIII, 275 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Architecture
by Varbanescu, Ana Lucia.
Publication:
. XXVII, 378p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Fahrenberg, Uli.
Publication:
. XI, 353 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reachability Problems
by Delzanno, Giorgio.
Publication:
. XII, 245 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Hage, Jurriaan.
Publication:
. X, 217 p. 29 illus., 4 illus. in color.
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),
|
|
|
Software Engineering for Resilient Systems
by Troubitsyna, Elena A.
Publication:
. X, 165p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Computing
by Peleg, David.
Publication:
. XVII, 506 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Collective Intelligence V
by Nguyen, Ngoc Thanh.
Publication:
. X, 213p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Information Systems and Mining
by Gong, Zhiguo.
Publication:
. XXI, 472 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Information Systems and Mining
by Gong, Zhiguo.
Publication:
. XXI, 450 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|