//]]>
Unhighlight Highlight
Foundational and Practical Aspects of Resource Analysis by Peña, Ricardo. Publication: . VII, 143 p. 30 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Industrial Critical Systems by Stoelinga, Mariëlle. Publication: . XIV, 223 p. 87 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Business System Management and Engineering by Ardagna, Claudio A. Publication: . X, 197 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Beringer, Lennart. Publication: . XI, 419 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agents for Educational Games and Simulations by Beer, Martin. Publication: . X, 195 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Vidal, Germán. Publication: . X, 254 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generic and Indexed Programming by Gibbons, Jeremy. Publication: . VII, 259 p. 24 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Central European Functional Programming School by Zsók, Viktória. Publication: . VII, 533 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Collective Intelligence VII by Nguyen, Ngoc Thanh. Publication: . XI, 237 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
RoboCup 2011: Robot Soccer World Cup XV by Röfer, Thomas. Publication: . XXV, 600 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Speech, Sound and Music Processing: Embracing Research in India by Ystad, Sølvi. Publication: . X, 235 p. 104 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Multi-Agent Systems by Dennis, Louise. Publication: . XII, 217 p. 33 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Service-Oriented Computing - ICSOC 2011 Workshops by Pallis, George. Publication: . XII, 334 p. 106 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Wireless Algorithms, Systems, and Applications by Wang, Xinbing. Publication: . XII, 680 p. 295 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Verification of Object-Oriented Software by Beckert, Bernhard. Publication: . X, 251 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Checking Software by Donaldson, Alastair. Publication: . X, 261p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Engineering by Brambilla, Marco. Publication: . XVII, 505p. 177 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ad-hoc, Mobile, and Wireless Networks by Li, Xiang-Yang. Publication: . XIV, 486p. 214 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Parallel Processing and Applied Mathematics by Wyrzykowski, Roman. Publication: . XXVII, 663 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Progress in VLSI Design and Test by Rahaman, Hafizur. Publication: . XXIV, 408 p. 275 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 Next >>
Languages: 
English |
العربية