//]]>
Unhighlight Highlight
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
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
Future Generation Information Technology by Kim, Tai-hoon. Publication: . XIV, 284 p. 141 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Coordination, Organizations, Institutions, and Norms in Agent System VII by Cranefield, Stephen. Publication: . XIV, 221 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Artificial General Intelligence by Bach, Joscha. Publication: . XII, 381 p. 121 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles of Distributed Systems by Baldoni, Roberto. Publication: . XIV, 361 p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ambient Assisted Living and Home Care by Bravo, José. Publication: . XX, 437 p. 161 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Swarm, Evolutionary, and Memetic Computing by Panigrahi, Bijaya Ketan. Publication: . XX, 813 p. 308 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ubiquitous Computing and Ambient Intelligence by Bravo, José. Publication: . XX, 523 p. 187 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Certified Programs and Proofs by Hawblitzel, Chris. Publication: . X, 305 p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Petri Nets and Other Models of Concurrency VI by Jensen, Kurt. Publication: . XX, 365 p. 193 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Semantic Web – ISWC 2012 by Cudré-Mauroux, Philippe. Publication: . XXX, 677 p. 141 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Semantic Web – ISWC 2012 by Cudré-Mauroux, Philippe. Publication: . XXX, 467 p. 119 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Middleware 2012 by Narasimhan, Priya. Publication: . XVI, 498 p. 208 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ambient Intelligence by Paternò, Fabio. Publication: . XVI, 461 p. 158 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multi-Agent Systems by Cossentino, Massimo. Publication: . XII, 259 p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Centered Software Engineering by Winckler, Marco. Publication: . XII, 370 p. 121 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Simulation, Modeling, and Programming for Autonomous Robots by Noda, Itsuki. Publication: . XIV, 414 p. 198 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Eder, Kerstin. Publication: . XII, 263 p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies by Margaria, Tiziana. Publication: . XVI, 361 p. 129 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية