|
|
Design, Analysis and Test of Logic Circuits Under Uncertainty
by Krishnaswamy, Smita.
Publication:
. XI, 123 p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Low Rank Approximation
by Markovsky, Ivan.
Publication:
. X, 258 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Methods in Systems Biology
by Gupta, Ashutosh.
Publication:
. XX, 284 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction in Geometry
by Ida, Tetsuo.
Publication:
. X, 193 p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Informatics
by Muntean, Traian.
Publication:
. X, 275 p. 14 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebra and Coalgebra in Computer Science
by Heckel, Reiko.
Publication:
. XIV, 359 p. 29 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Cellier, Peggy.
Publication:
. X, 267 p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles of Distributed Systems
by Baldoni, Roberto.
Publication:
. XIV, 361 p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Hawblitzel, Chris.
Publication:
. X, 305 p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Methods in Systems Biology
by Gilbert, David.
Publication:
. XII, 396 p. 145 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Kahl, Wolfram.
Publication:
. XII, 361 p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Domenach, Florent.
Publication:
. XII, 309 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic and Numeric Biology
by Horimoto, Katsuhisa.
Publication:
. IX, 185 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles of Distributed Systems
by Fernàndez Anta, Antonio.
Publication:
. XIII, 564 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Jouannaud, Jean-Pierre.
Publication:
. XV, 401p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction in Geometry
by Schreck, Pascal.
Publication:
. X, 259 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Foundations in Computer Science
by Kuich, Werner.
Publication:
. X, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Informatics
by Winkler, Franz.
Publication:
. X, 261p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Swart, Harrie.
Publication:
. VIII, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Valtchev, Petko.
Publication:
. XII, 267 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|