//]]>
Unhighlight Highlight
The Multivariate Algorithmic Revolution and Beyond by Bodlaender, Hans L. Publication: . XXII, 506p. 32 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Formal Methods by Derrick, John. Publication: . XII, 360p. 105 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science – Theory and Applications by Hirsch, Edward A. Publication: . XXIII, 327 p. 25 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Models of Computation by Agrawal, Manindra. Publication: . XV, 622 p. 91 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Khurshid, Sarfraz. Publication: . XII, 458 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reversible Computation by Vos, Alexis. Publication: . IX, 123p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Program Semantics by Constable, Robert L. Publication: . XIII, 357 p. 45 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Structures for Knowledge Representation and Reasoning by Croitoru, Madalina. Publication: . VII, 209 p. 77 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Compiler Construction by O’Boyle, Michael. Publication: . XVI, 245 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Information and Knowledge Systems by Lukasiewicz, Thomas. Publication: . XII, 405 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Language and Automata Theory and Applications by Dediu, Adrian-Horia. Publication: . XII, 556p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Kuncak, Viktor. Publication: . X, 457p. 111 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computation, Physics and Beyond by Dinneen, Michael J. Publication: . XIII, 427p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Algorithms by Iliopoulos, Costas S. Publication: . XI, 387 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Quantum Interaction by Song, Dawei. Publication: . IX, 229 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Qin, Shengchao. Publication: . XIV, 670p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithmic Learning Theory by Kivinen, Jyrki. Publication: . XIII, 453 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Frontiers of Combining Systems by Tinelli, Cesare. Publication: . VIII, 275 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Fahrenberg, Uli. Publication: . XI, 353 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Delzanno, Giorgio. Publication: . XII, 245 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 Next >>
Languages: 
English |
العربية