|
|
| |
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),
|
|
| |
Computer algebra and geometric algebra with applications : , 6th international workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and international workshop, GIAE 2004, Xian, China, May 24-28, 2004 : revised selected papers /
Publication:
Berlin : Springer, 2005
. ix, 447 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
