|
|
Logical Analysis of Hybrid Systems
by Platzer, André.
Publication:
. XXX, 426p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
High Performance Networking, Computing, Communication Systems, and Mathematical Foundations
by Wu, Yanwen.
Publication:
. Approx. 110 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information and Communication Technologies in Education, Research, and Industrial Applications
by Ermolayev, Vadim.
Publication:
. XII, 379 p. 89 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Drawing Programs: The Theory and Practice of Schematic Functional Programming
by Addis, Tom.
Publication:
. XIII, 386 p. 410 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Understanding Concurrent Systems
by Roscoe, A.W.
Publication:
. XVIII, 530 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Computing Systems
by Moller, Faron.
Publication:
. XVI, 500 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A General Framework for Reasoning On Inconsistency
by Martinez, Maria Vanina.
Publication:
. VII, 45 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Programming
by Shankar, A. Udaya.
Publication:
. XVIII, 387 p. 175 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Social Semantics
by Halpin, Harry.
Publication:
. XVI, 222 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics in Computing
by O’Regan, Gerard.
Publication:
. XIX, 285 p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Specification of Software Systems
by Alagar, V.S.
Publication:
. XXVI, 646 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Introduction to the Theory of Programming Languages
by Dowek, Gilles.
Publication:
. XI, 118p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rigorous Software Development
by Almeida, José Bacelar.
Publication:
. XIII, 307p. 52 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Business Process Management
by Daniel, Florian.
Publication:
. XVI, 355 p. 124 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|