//]]>
Unhighlight Highlight
Verification, Model Checking, and Abstract Interpretation by Jhala, Ranjit. Publication: . XI, 419p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Petri Nets and Other Models of Concurrency IV by Jensen, Kurt. Publication: . XVIII, 225p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Performance Evaluation, Measurement and Characterization of Complex Systems by Nambiar, Raghunath. Publication: . XVI, 233p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Toward Autonomous, Adaptive, and Context-Aware Multimodal Interfaces. Theoretical and Practical Issues by Esposito, Anna. Publication: . XXII, 474p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agents for Games and Simulations II by Dignum, Frank. Publication: . X, 206 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Security by Burmester, Mike. Publication: . XIV, 446p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Membrane Computing by Gheorghe, Marian. Publication: . IX, 393p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Automata by Domaratzki, Michael. Publication: . XII, 332p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory of Quantum Computation, Communication, and Cryptography by Dam, Wim. Publication: . VIII, 187 p. 14 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Verification of Object-Oriented Software by Beckert, Bernhard. Publication: . X, 199p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Knowledge Representation for Health-Care by Riaño, David. Publication: . X, 153p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Its Applications by Banerjee, Mohua. Publication: . X, 219p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generative and Transformational Techniques in Software Engineering III by Fernandes, João M. Publication: . X, 499 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Models for the Web-Graph by Kumar, Ravi. Publication: . VIII, 163p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Language, Games, and Evolution by Benz, Anton. Publication: . VII, 189p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Security Applications by Chung, Yongwha. Publication: . XIII, 352p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computers and Games by Herik, H. Jaap. Publication: . XVIII, 277p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Multimedia Modeling by Lee, Kuo-Tien. Publication: . XXIII, 562p. 303 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Multimedia Modeling by Lee, Kuo-Tien. Publication: . XXIII, 492p. 281 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Provenance and Annotation of Data and Processes by McGuinness, Deborah L. Publication: . XII, 306p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 Next >>
Languages: 
English |
العربية