//]]>
Unhighlight Highlight
Computer Aided Verification by Touili, Tayssir. Publication: . XVI, 676p. 169 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language and Meaning by Aloni, Maria. Publication: . X, 476p. 1 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Haptics: Generating and Perceiving Tangible Sensations by Kappers, Astrid M. L. Publication: . XX, 460p. 227 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Haptics: Generating and Perceiving Tangible Sensations by Kappers, Astrid M. L. Publication: . 440p. 246 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Kaufmann, Matt. Publication: . XI, 495p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Aging Friendly Technology for Health and Independence by Lee, Yeunsook. Publication: . XIV, 272p. 106 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multi-Agent-Based Simulation X by Tosto, Gennaro. Publication: . 158p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Global Perspectives on Design Science Research by Winter, Robert. Publication: . XV, 564p. 128 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics of Program Construction by Bolduc, Claude. Publication: . X, 427p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Component-Based Software Engineering by Grunske, Lars. Publication: . X, 253p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Architectures for Parallel Processing by Hsu, Ching-Hsien. Publication: . XXX, 468p. 234 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Architectures for Parallel Processing by Hsu, Ching-Hsien. Publication: . 580p. 295 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Information Systems Engineering by Pernici, Barbara. Publication: . XVI, 548p. 164 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Argumentation in Multi-Agent Systems by McBurney, Peter. Publication: . X, 321p. 36 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
High Performance Computing Systems and Applications by Mewhort, Douglas J. K. Publication: . XIII, 418p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Schreye, Danny. Publication: . X, 205p. 29 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Logic Programming by Blume, Matthias. Publication: . XI, 355p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and Algorithms for the Construction and Analysis of Systems by Esparza, Javier. Publication: . XVI, 468p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Constraint Logic Programming by Escobar, Santiago. Publication: . IX, 179p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Gordon, Andrew D. Publication: . XV, 632p. 189 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 Next >>
Languages: 
English |
العربية