//]]>
Intelligent Robotics and Applications by Su, Chun-Yi. Publication: . XXXVI, 723 p. 434 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Intelligent Robotics and Applications by Su, Chun-Yi. Publication: . XX, 625 p. 386 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Service-Oriented and Cloud Computing by Paoli, Flavio. Publication: . XI, 282 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Chakraborty, Supratik. Publication: . XIV, 436 p. 106 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Security by Gollmann, Dieter. Publication: . XIV, 402 p. 87 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Jurdziński, Marcin. Publication: . X, 267 p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Relational and Algebraic Methods in Computer Science by Kahl, Wolfram. Publication: . XII, 361 p. 33 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods: Foundations and Applications by Gheyi, Rohit. Publication: . X, 227 p. 67 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Information Systems and Industrial Management by Cortesi, Agostino. Publication: . XII, 444 p. 176 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Reasoning and Rule Systems by Krötzsch, Markus. Publication: . XV, 298 p. 32 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages by Carvalho Junior, Francisco Heron. Publication: . IX, 165 p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering for Resilient Systems by Avgeriou, Paris. Publication: . X, 181 p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Security – ESORICS 2012 by Foresti, Sara. Publication: . XVII, 896 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Static Analysis by Miné, Antoine. Publication: . XI, 457 p. 153 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Search Based Software Engineering by Fraser, Gordon. Publication: . XVI, 293 p. 80 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Architectures for Parallel Processing by Xiang, Yang. Publication: . XXI, 563 p. 241 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Architectures for Parallel Processing by Xiang, Yang. Publication: . XXIV, 331 p. 159 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical Aspects of Computing – ICTAC 2012 by Roychoudhury, Abhik. Publication: . XII, 259 p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
CONCUR 2012 – Concurrency Theory by Koutny, Maciej. Publication: . XIV, 582 p. 84 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Datalog in Academia and Industry by Barceló, Pablo. Publication: . XIV, 191 p. 20 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية