//]]>
Unhighlight Highlight
Transactions on Rough Sets XIV by Peters, James F. Publication: . VII, 235p. 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
Logic and Grammar by Pogodalla, Sylvain. Publication: . XV, 159 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multidisciplinary Aspects of Time and Time Perception by Vatakis, Argiro. Publication: . XII, 291 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Techniques for Distributed Systems by Bruni, Roberto. Publication: . XIV, 349p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Eternal Networked Software Systems by Bernardo, Marco. Publication: . VIII, 527p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
FM 2011: Formal Methods by Butler, Michael. Publication: . XIV, 450p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools for Teaching Logic by Blackburn, Patrick. Publication: . XI, 257p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unconventional Computation by Calude, Cristian S. Publication: . X, 247p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reliable Software Technologies - Ada-Europe 2011 by Romanovsky, Alexander. Publication: . XIII, 227p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Inductive Logic Programming by Frasconi, Paolo. Publication: . XI, 278p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Language and Automata Theory and Applications by Dediu, Adrian-Horia. Publication: . XIII, 512p. 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
Automated Deduction in Geometry by Sturm, Thomas. Publication: . IX, 225p. 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
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
<< Previous 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 Next >>
Languages: 
English |
العربية