//]]>
Unhighlight Highlight
The Personal Web by Chignell, Mark. Publication: . XIV, 221 p. 97 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agent-Oriented Software Engineering XIII by Müller, Jörg P. Publication: . X, 197 p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming and Formal Engineering Methods by Liu, Zhiming. Publication: . XII, 283 p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical Aspects of Computing – ICTAC 2013 by Liu, Zhiming. Publication: . XII, 445 p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Blazy, Sandrine. Publication: . XII, 498 p. 73 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory, Practice, and Applications of Rules on the Web by Morgenstern, Leora. Publication: . XVIII, 249 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Biere, Armin. Publication: . XII, 281 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Artificial General Intelligence by Kühnberger, Kai-Uwe. Publication: . XII, 207 p. 39 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Inclusive Society: Health and Wellbeing in the Community, and Care at Home by Biswas, Jit. Publication: . XVI, 332 p. 153 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
RoboCup 2012: Robot Soccer World Cup XVI by Chen, Xiaoping. Publication: . XII, 392 p. 183 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Engineering by Daniel, Florian. Publication: . XVIII, 528 p. 185 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Information Systems Engineering by Salinesi, Camille. Publication: . XXXVIII, 706 p. 258 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Multi-Agent Systems by Dastani, Mehdi. Publication: . X, 245 p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction – CADE-24 by Bonacina, Maria Paola. Publication: . XVI, 466 p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Concept Analysis by Cellier, Peggy. Publication: . X, 267 p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model-Based Methodologies for Pervasive and Embedded Software by Machado, Ricardo J. Publication: . X, 139 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Albert, Elvira. Publication: . X, 245 p. 36 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Declarative Agent Languages and Technologies X by Baldoni, Matteo. Publication: . XII, 209 p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Language Engineering by Czarnecki, Krzysztof. Publication: . XII, 413 p. 172 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Giacobazzi, Roberto. Publication: . XII, 556 p. 123 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية