|
|
Comparative Genomics
by Tannier, Eric.
Publication:
. XII, 303p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logics in Artificial Intelligence
by Janhunen, Tomi.
Publication:
. XIV, 374p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Algebra in Scientific Computing
by Gerdt, Vladimir P.
Publication:
. XIV, 304p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Number Theory
by Hanrot, Guillaume.
Publication:
. XI, 397p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Mathematics of Language
by Ebert, Christian.
Publication:
. VIII, 297p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|
|
Formal Concept Analysis
by Kwuida, Léonard.
Publication:
. XII, 340p. 91 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),
|
|
|
Proofs of the Cantor-Bernstein Theorem
by Hinkis, Arie.
Publication:
. XXIII, 429 p. 29 illus., 3 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Linear Algebra a Beginning Graduate Student Ought to Know
by Golan, Jonathan S.
Publication:
. XI, 497p. 199 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms for Quadratic Matrix and Vector Equations
by Poloni, Federico.
Publication:
. 250p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Structured Matrix Based Methods for Approximate Polynomial GCD
by Boito, Paola.
Publication:
. 250p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Groups
by Machì, Antonio.
Publication:
. XIII, 371 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebra for Symbolic Computation
by Machì, Antonio.
Publication:
. VIII, 180 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|