//]]>
Formal Aspects of Component Software by Păsăreanu, Corina S. Publication: . X, 277 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
SOFSEM 2013: Theory and Practice of Computer Science by Emde Boas, Peter. Publication: . XIV, 566 p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Science XVII by Gavrilova, Marina L. Publication: . XII, 199 p. 86 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Evaluation of Natural Language and Speech Tools for Italian by Magnini, Bernardo. Publication: . XIV, 339 p. 38 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering for Self-Adaptive Systems II by Lemos, Rogério. Publication: . X, 393 p. 110 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Conceptual Structures for STEM Research and Education by Pfeiffer, Heather D. Publication: . XI, 333 p. 109 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Trends and Topics in Computer Vision by Kutulakos, Kiriakos N. Publication: . XX, 357 p. 183 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools for Practical Software Verification by Meyer, Bertrand. Publication: . VIII, 183 p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Aspects of Component Software by Arbab, Farhad. Publication: . X, 369 p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Trends and Topics in Computer Vision by Kutulakos, Kiriakos N. Publication: . XXII, 479 p. 262 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Focused Retrieval of Content and Structure by Geva, Shlomo. Publication: . XII, 338 p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents by Palmirani, Monica. Publication: . XIV, 309 p. 67 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Multimedia Modeling by Li, Shipeng. Publication: . XXXII, 560 p. 219 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Multimedia Modeling by Li, Shipeng. Publication: . XXXII, 562 p. 273 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logical Foundations of Computer Science by Artemov, Sergei. Publication: . X, 415 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming by Wolff, Burkhart. Publication: . VIII, 249 p. 4 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Security Protocols XX by Christianson, Bruce. Publication: . X, 277 p. 29 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Intelligence Methods for Bioinformatics and Biostatistics by Biganzoli, Elia. Publication: . XVI, 270 p. 92 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing and Networking by Frey, Davide. Publication: . XX, 466 p. 121 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Quantum Interaction by Busemeyer, Jerome R. Publication: . X, 239 p. 24 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية