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),
Actions: Add to Cart
Low Rank Approximation by Markovsky, Ivan. Publication: . X, 258 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Algorithms by Lecroq, Thierry. Publication: . XXII, 474 p. 135 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Rationality, and Interaction by Grossi, Davide. Publication: . XII, 363 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Methods in Systems Biology by Gupta, Ashutosh. Publication: . XX, 284 p. 58 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction in Geometry by Ida, Tetsuo. Publication: . X, 193 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic Informatics by Muntean, Traian. Publication: . X, 275 p. 14 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebra and Coalgebra in Computer Science by Heckel, Reiko. Publication: . XIV, 359 p. 29 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Grammar by Morrill, Glyn. Publication: . X, 293 p. 58 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language, Information, and Computation by Libkin, Leonid. Publication: . X, 283 p. 15 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Intelligent Computer Mathematics by Carette, Jacques. Publication: . XVI, 384 p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Typed Lambda Calculi and Applications by Hasegawa, Masahito. Publication: . XII, 251 p. 18 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Drawing by Didimo, Walter. Publication: . XVI, 582 p. 231 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
WALCOM: Algorithms and Computation by Ghosh, Subir Kumar. Publication: . XIV, 348 p. 101 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Algorithms by Arumugam, S. Publication: . XII, 303 p. 136 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles of Distributed Systems by Baldoni, Roberto. Publication: . XIV, 361 p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Certified Programs and Proofs by Hawblitzel, Chris. Publication: . X, 305 p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Research in Cryptology by Armknecht, Frederik. Publication: . X, 151 p. 34 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Methods in Systems Biology by Gilbert, David. Publication: . XII, 396 p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Relational and Algebraic Methods in Computer Science by Kahl, Wolfram. Publication: . XII, 361 p. 33 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 Next >>