//]]>
Intelligent Computer Mathematics by Davenport, James H. Publication: . XIII, 312 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation by Goldreich, Oded. Publication: . XI, 563p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Descriptional Complexity of Formal Systems by Holzer, Markus. Publication: . X, 329p. 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
Automated Deduction – CADE-23 by Bjørner, Nikolaj. Publication: . XIII, 508 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Leite, João. Publication: . XV, 383 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Developments in Language Theory by Mauri, Giancarlo. Publication: . XIV, 482 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Checking Software by Groce, Alex. Publication: . X, 195p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language, and Computation by Bezhanishvili, Nick. Publication: . XIV, 360 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Automata by Bouchou-Markhoff, Béatrice. Publication: . XIII, 299p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logical Aspects of Computational Linguistics by Pogodalla, Sylvain. Publication: . X, 283p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Symbolic and Quantitative Approaches to Reasoning with Uncertainty by Liu, Weiru. Publication: . XIV, 762p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Knowledge Processing and Data Analysis by Wolff, Karl Erich. Publication: . XVI, 321 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning with Analytic Tableaux and Related Methods by Brünnler, Kai. Publication: . VIII, 279p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Verification by Gopalakrishnan, Ganesh. Publication: . XV, 763p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Composition by Apel, Sven. Publication: . VIII, 181p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata, Languages and Programming by Aceto, Luca. Publication: . XXVI, 666 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Objects, Models, Components, Patterns by Bishop, Judith. Publication: . X, 307p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Argumentation in Multi-Agent Systems by McBurney, Peter. Publication: . X, 327p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing by Kuznetsov, Sergei O. Publication: . XIII, 370 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Refine your search