|
|
Logic, Language and Meaning
by Aloni, Maria.
Publication:
. X, 476p. 1 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language, Information and Computation
by Dawar, Anuj.
Publication:
. X, 259p. 28 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Arithmetic of Finite Fields
by Hasan, M. Anwar.
Publication:
. 280p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Drawing
by Eppstein, David.
Publication:
. 426p. 199 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
WALCOM: Algorithms and Computation
by Rahman, Md. Saidur.
Publication:
. XIII, 305p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph-Theoretic Concepts in Computer Science
by Paul, Christophe.
Publication:
. XIII, 353p. 59 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Gonthier, Georges.
Publication:
. XII, 309 p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Algebra in Scientific Computing
by Gerdt, Vladimir P.
Publication:
. XVI, 443 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|