//]]>
Unhighlight Highlight
Data Engineering and Management by Kannan, Rajkumar. Publication: . Approx. 355 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verified Software: Theories, Tools, Experiments by Joshi, Rajeev. Publication: . XI, 326p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Practical Aspects of Declarative Languages by Russo, Claudio. Publication: . Approx. 315 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Certified Programs and Proofs by Jouannaud, Jean-Pierre. Publication: . XV, 401p. 87 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic Foundations in Computer Science by Kuich, Werner. Publication: . X, 363 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering and Formal Methods by Barthe, Gilles. Publication: . XIV, 504p. 154 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Conceptual Modeling – ER 2011 by Jeusfeld, Manfred. Publication: . XIX, 530p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multiagent System Technologies by Klügl, Franziska. Publication: . X, 197 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Functional Languages by Scholz, Sven-Bodo. Publication: . X, 291p. 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
Principles and Practice of Constraint Programming – CP 2011 by Lee, Jimmy. Publication: . XXIV, 836p. 170 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
CONCUR 2011 – Concurrency Theory by Katoen, Joost-Pieter. Publication: . XIV, 560p. 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
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
Agent-Oriented Software Engineering XI by Weyns, Danny. Publication: . X, 249 p. 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
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
<< Previous 1 2 3 4 5 6 7 8 Next >>
Languages: 
English |
العربية