//]]>
Model-Based Engineering of Embedded Real-Time Systems by Giese, Holger. Publication: . XV, 385p. 94 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Formal Methods by Méry, Dominique. Publication: . X, 337p. 110 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Technologies for Embedded and Ubiquitous Systems by Min, Sang Lyul. Publication: . XI, 253p. 90 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic for Programming, Artificial Intelligence, and Reasoning by Fermüller, Christian G. Publication: . XII, 656p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Facing the Multicore-Challenge by Keller, Rainer. Publication: . X, 156p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multiagent System Technologies by Dix, Jürgen. Publication: . XII, 221p. 81 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Computing and Applications by Zhu, Rongbo. Publication: . XX, 608p. 206 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Checking Software by Pol, Jaco. Publication: . X, 263p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Driven Engineering Languages and Systems by Petriu, Dorina C. Publication: . XXI, 424p. 173 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops by Dan, Asit. Publication: . XXXIV, 584p. 177 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Driven Engineering Languages and Systems by Petriu, Dorina C. Publication: . XXI, 422p. 162 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Objects and Databases by Dearle, Alan. Publication: . XIV, 161p. 58 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Aspect-Oriented Software Development VII by Katz, Shmuel. Publication: . XV, 423p. 234 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security by Armando, Alessandro. Publication: . IX, 185p. 39 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Cooperative Design, Visualization, and Engineering by Luo, Yuhua. Publication: . XII, 302p. 125 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hybrid Metaheuristics by Blesa, María J. Publication: . X, 223p. 43 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Stabilization, Safety, and Security of Distributed Systems by Dolev, Shlomi. Publication: . XVI, 614p. 150 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Latent Variable Analysis and Signal Separation by Vigneron, Vincent. Publication: . XVIII, 655p. 182 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Transformations by Ehrig, Hartmut. Publication: . XII, 419p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Reasoning and Rule Systems by Hitzler, Pascal. Publication: . XIII, 259p. 43 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart