//]]>
Unhighlight Highlight
Computer Science Logic by Dawar, Anuj. Publication: . XIV, 548p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verified Software: Theories, Tools, Experiments by Leavens, Gary T. Publication: . X, 217p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Collective Intelligence I by Nguyen, Ngoc Thanh. Publication: . VII, 207p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Dix, Jürgen. Publication: . XIV, 257p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Coordination, Organizations, Institutions and Norms in Agent Systems V by Padget, Julian. Publication: . XVIII, 335p. 103 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Future Internet - FIS 2009 by Zseby, Tanja. Publication: . IX, 117p. 43 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Multi-Agent Systems by Braubach, Lars. Publication: . XII, 285p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming by Butterfield, Andrew. Publication: . IX, 279p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Resource Discovery by Lacroix, Zoé. Publication: . IX, 141p. 40 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Self-Organizing Architectures by Weyns, Danny. Publication: . X, 301p. 110 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Verification by Touili, Tayssir. Publication: . XVI, 676p. 169 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language and Meaning by Aloni, Maria. Publication: . X, 476p. 1 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Haptics: Generating and Perceiving Tangible Sensations by Kappers, Astrid M. L. Publication: . XX, 460p. 227 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Haptics: Generating and Perceiving Tangible Sensations by Kappers, Astrid M. L. Publication: . 440p. 246 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Kaufmann, Matt. Publication: . XI, 495p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Aging Friendly Technology for Health and Independence by Lee, Yeunsook. Publication: . XIV, 272p. 106 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multi-Agent-Based Simulation X by Tosto, Gennaro. Publication: . 158p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Global Perspectives on Design Science Research by Winter, Robert. Publication: . XV, 564p. 128 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics of Program Construction by Bolduc, Claude. Publication: . X, 427p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Component-Based Software Engineering by Grunske, Lars. Publication: . X, 253p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 Next >>
Languages: 
English |
العربية