//]]>
Logic and Games on Automatic Structures by Kaiser, Łukasz. Publication: . XII, 118 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Constraint Logic Programming by Kuchen, Herbert. Publication: . VII, 157 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Models of Computation in Context by Löwe, Benedikt. Publication: . XIII, 319p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Typed Lambda Calculi and Applications by Ong, Luke. Publication: . XII, 245 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics and Computation in Music by Agon, Carlos. Publication: . XV, 375p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic Informatics by Winkler, Franz. Publication: . X, 261p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Relational and Algebraic Methods in Computer Science by Swart, Harrie. Publication: . VIII, 363 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language, Information and Computation by Beklemishev, Lev D. Publication: . X, 311 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Constraint Logic Programming by Mariño, Julio. Publication: . IX, 175 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Concept Analysis by Valtchev, Petko. Publication: . XII, 267 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Grammar by Groote, Philippe. Publication: . VIII, 215 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Advances in Constraints by Larrosa, Javier. Publication: . VII, 155 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Algorithms by Iliopoulos, Costas S. Publication: . XI, 418 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
WALCOM: Algorithms and Computation by Katoh, Naoki. Publication: . XI, 233p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Drawing by Brandes, Ulrik. Publication: . XIV, 414p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles of Distributed Systems by Lu, Chenyang. Publication: . XII, 517p. 112 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Cryptology and Network Security by Heng, Swee-Huay. Publication: . XIII, 355p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Parameterized and Exact Computation by Raman, Venkatesh. Publication: . X, 239p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Optimization and Applications by Wu, Weili. Publication: . XVI, 416p. 80 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Optimization and Applications by Wu, Weili. Publication: . XVI, 424p. 105 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart