|
|
| |
A General Framework for Reasoning On Inconsistency
by Martinez, Maria Vanina.
Publication:
. VII, 45 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba
by Subrahmanian, V.S.
Publication:
. XIV, 231 p. 23 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Computer Science
by Blum, Edward K.
Publication:
. X, 470 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Formal Languages and Compilation
by Crespi Reghizzi, Stefano.
Publication:
. XII, 399 p. 171 illus., 1 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Using Event-B for Critical Device Software Systems
by Singh, Neeraj Kumar.
Publication:
. XVIII, 326 p. 45 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),
|
|
| |
Belief Revision in Non-Classical Logics
by Ribeiro, Márcio Moretto.
Publication:
. XI, 120 p. 5 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Mathematical Logic for Computer Science
by Ben-Ari, Mordechai.
Publication:
. XV, 346 p. 79 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
A Proof Theory for Description Logics
by Rademaker, Alexandre.
Publication:
. X, 106 p. 16 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Sets, Logic and Maths for Computing
by Makinson, David.
Publication:
. XXI, 283p. 17 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Specification and Verification of Multi-agent Systems
by Dastani, Mehdi.
Publication:
. XVII, 405p. 100 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Computational Logic and Set Theory
by Schwartz, Jacob T.
Publication:
. XVII, 416p. 2 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Quaternions for Computer Graphics
by Vince, John.
Publication:
. XIV, 140p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Proofs and Algorithms
by Dowek, Gilles.
Publication:
. VIII, 195p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Overview of the PMBOK® Guide
by Ó Conchúir, Deasún.
Publication:
. XVI, 213 p. 330 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Overview of the PMBOK® Guide
by Ó Conchúir, Deasún.
Publication:
. XVI, 213p. 1 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Overview of the PMBOK® Guide
by Conchúir, Deasún Ó.
Publication:
. XVI, 213p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
