//]]>
Logics in Artificial Intelligence by Janhunen, Tomi. Publication: . XIV, 374p. 48 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Network and Parallel Computing by Ding, Chen. Publication: . XII, 492p. 275 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Safety, Reliability, and Security by Schoitsch, Erwin. Publication: . X, 482p. 197 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Advances in the Message Passing Interface by Keller, Rainer. Publication: . XIV, 308p. 120 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Bouajjani, Ahmed. Publication: . VIII, 404p. 112 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Trustworthly Global Computing by Wirsing, Martin. Publication: . XII, 380p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Business Process Management by Hull, Richard. Publication: . XIII, 359p. 140 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Life System Modeling and Intelligent Computing by Li, Kang. Publication: . XXI, 518p. 230 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing – Practice and Research Techniques by Bottaci, Leonardo. Publication: . XIII, 219p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Software – ICMS 2010 by Fukuda, Komei. Publication: . XIV, 368p. 59 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Product Lines: Going Beyond by Bosch, Jan. Publication: . XXI, 534p. 159 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Incentives, Overlays, and Economic Traffic Control by Stiller, Burkhard. Publication: . X, 109p. 44 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multiple Access Communications by Vinel, Alexey. Publication: . XIII, 287p. 101 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
CONCUR 2010 - Concurrency Theory by Gastin, Paul. Publication: . XIII, 600p. 134 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Kučera, Antonín. Publication: . X, 199p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundational and Practical Aspects of Resource Analysis by Eekelen, Marko. Publication: . 170p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Evolvable Systems: From Biology to Hardware by Tempesti, Gianluca. Publication: . XII, 394p. 228 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Chatterjee, Krishnendu. Publication: . X, 257p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science Logic by Dawar, Anuj. Publication: . XIV, 548p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Architecture by Babar, Muhammad Ali. Publication: . XII, 534p. 162 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية