//]]>
Unhighlight Highlight
Logic Programming and Nonmonotonic Reasoning by Delgrande, James P. Publication: . XIII, 406 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Models of Computation by Ogihara, Mitsunori. Publication: . XVI, 564 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning by Balduccini, Marcello. Publication: . XIII, 513 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
Computer Science – Theory and Applications by Kulikov, Alexander. Publication: . XI, 471 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Checking and Artificial Intelligence by Meyden, Ron. Publication: . XI, 131 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
Computation, Cooperation, and Life by Kelemen, Jozef. Publication: . XII, 217p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Compiler Construction by Knoop, Jens. Publication: . XII, 307p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods: Foundations and Applications by Davies, Jim. Publication: . VIII, 291 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Software Science and Computational Structures by Hofmann, Martin. Publication: . XV, 473 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Algorithms in (Computer) Systems by Marchetti-Spaccamela, Alberto. Publication: . X, 266 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
Rainbow of Computer Science by Calude, Cristian S. Publication: . XII, 285p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ludics, Dialogue and Interaction by Lecomte, Alain. Publication: . XIII, 221p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Vagueness in Communication by Nouwen, Rick. Publication: . VII, 207p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Practical Aspects of Declarative Languages by Rocha, Ricardo. Publication: . VIII, 265p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Jhala, Ranjit. Publication: . XI, 419p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Membrane Computing by Gheorghe, Marian. Publication: . IX, 393p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 Next >>