//]]>
Unhighlight Highlight
Information from Processes by Losee, Robert M. Publication: . XVII, 240 p. 67 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages by Henderson-Sellers, Brian. Publication: . IX, 106 p. 98 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Correctness-by-Construction Approach to Programming by Kourie, Derrick G. Publication: . XIII, 264p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Incomplete Information System and Rough Set Theory by Yang, Xibei. Publication: . XIV, 232 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ontology Engineering in a Networked World by Suárez-Figueroa, Mari Carmen. Publication: . XII, 444 p. 148 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The NCL Natural Constraint Language by Zhou, Jianyang. Publication: . XIII, 311 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
e-Business and Telecommunications by Obaidat, Mohammad S. Publication: . XVII, 359p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Systems for Indian Languages by Singh, Chandan. Publication: . XVIII, 320p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Conditionals and Modularity in General Logics by Gabbay, Dov M. Publication: . IX, 233 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Working with Preferences: Less Is More by Kaci, Souhila. Publication: . XVI, 204 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Schema Matching and Mapping by Bellahsene, Zohra. Publication: . XII, 320 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical Computer Science by Calude, Cristian S. Publication: . XII, 387p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logical Analysis of Hybrid Systems by Platzer, André. Publication: . XXX, 426p. 137 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications by Hüllermeier, Eyke. Publication: . XXIII, 762p. 237 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods by Hüllermeier, Eyke. Publication: . XXIII, 764p. 136 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logical Tools for Handling Change in Agent-Based Systems by Gabbay, Dov M. Publication: . X, 305p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Concise Computer Mathematics by Bagdasar, Ovidiu. Publication: . XII, 109 p. 17 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods: State of the Art and New Directions by Boca, Paul. Publication: . XXVI, 273 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modelling Computing Systems by Moller, Faron. Publication: . XVI, 500 p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A General Framework for Reasoning On Inconsistency by Martinez, Maria Vanina. Publication: . VII, 45 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 13 14 15 16 17 18 19 20 21 22 23 Next >>