//]]>
Unhighlight Highlight
Verification, Model Checking, and Abstract Interpretation by Barthe, Gilles. Publication: . X, 397p. 105 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Certified Programs and Proofs by Gonthier, Georges. Publication: . XII, 309 p. 44 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Shan, Chung-chieh. Publication: . X, 381 p. 40 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Stabilization, Safety, and Security of Distributed Systems by Higashino, Teruo. Publication: . XXIV, 380 p. 86 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Bertacco, Valeria. Publication: . XX, 366 p. 147 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Storytelling by Koenitz, Hartmut. Publication: . XII, 288 p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Hung, Dang. Publication: . XIV, 528 p. 115 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Making India: Colonialism, National Culture, and the Afterlife of Indian English Authority by Paranjape, Makarand R. Publication: . XIII, 265 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Technical Artefacts: Creations of Mind and Matter by Kroes, Peter. Publication: . X, 205 p. 18 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Capability Approach, Technology and Design by Oosterlaken, Ilse. Publication: . VI, 258p. 12 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Happiness Across Cultures by Selin, Helaine. Publication: . XXIII, 504p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Rise of Post-Hegemonic Regionalism by Riggirozzi, Pía. Publication: . XVIII, 194 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Master of Science History by Buchwald, Jed Z. Publication: . XX, 440 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
“The main Business of natural Philosophy” by Ducheyne, Steffen. Publication: . XXVI, 354 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Drunk on Capitalism. An Interdisciplinary Reflection on Market Economy, Art and Science by Vanderbeeken, Robrecht. Publication: . XXIV, 180 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Treatise on Intuitionistic Type Theory by Granström, Johan Georg. Publication: . XIV, 198 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Religion-State Encounters in Hindu Domains by Sinha, Vineeta. Publication: . XX, 284 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Christianity, Antiquity, and Enlightenment by Nuovo, Victor. Publication: . XX, 276 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Engineering Earth by Brunn, Stanley D. Publication: . CC, 2266p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Technical Functions by Houkes, Wybo. Publication: . VIII, 174p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 Next >>
Languages: 
English |
العربية