//]]>
Unhighlight Highlight
Haptic and Audio Interaction Design by Cooper, Eric W. Publication: . XII, 135 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebra and Coalgebra in Computer Science by Corradini, Andrea. Publication: . XI, 420p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Trends in Functional Programming by Page, Rex. Publication: . X, 215 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Eekelen, Marko. Publication: . XI, 383 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Vision – ACCV 2010 Workshops by Koch, Reinhard. Publication: . XXX, 464p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Vision – ACCV 2010 Workshops by Koch, Reinhard. Publication: . XXX, 439 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages, Methodologies, and Development Tools for Multi-Agent Systems by Dastani, Mehdi. Publication: . IX, 153 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
ECOOP 2011 – Object-Oriented Programming by Mezini, Mira. Publication: . XIV, 660p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agent-Oriented Software Engineering XI by Weyns, Danny. Publication: . X, 249 p. 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
Software Engineering Techniques by Huzar, Zbigniew. Publication: . XI, 291 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
Implementation and Application of Automata by Bouchou-Markhoff, Béatrice. Publication: . XIII, 299p. 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
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
<< Previous 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 Next >>
Languages: 
English |
العربية