//]]>
Web Services and Formal Methods by Bravetti, Mario. Publication: . VIII, 191p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Barner, Sharon. Publication: . X, 197p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reconfigurable Computing: Architectures, Tools and Applications by Koch, Andreas. Publication: . XIV, 398 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Language Engineering by Malloy, Brian. Publication: . XI, 417 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Pattern Languages of Programming II by Noble, James. Publication: . IX, 125p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Service-Oriented Computing by Maximilien, E. Michael. Publication: . XIII, 266 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
High Performance Computing for Computational Science – VECPAR 2010 by Palma, José M. Laginha M. Publication: . XIV, 470 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Passive and Active Measurement by Spring, Neil. Publication: . XI, 246 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Namjoshi, Kedar. Publication: . X, 169 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agent-Oriented Software Engineering X by Gleizes, Marie-Pierre. Publication: . XII, 229p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Wireless Sensor Networks by Marrón, Pedro José. Publication: . X, 227 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Self-Organizing Systems by Bettstetter, Christian. Publication: . IX, 117 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Architecture of Computing Systems - ARCS 2011 by Berekovic, Mladen. Publication: . XIII, 271p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Engineering Secure Software and Systems by Erlingsson, Úlfar. Publication: . XI, 273p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing and Internet Technology by Natarajan, Raja. Publication: . XIII, 325p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
SOFSEM 2011: Theory and Practice of Computer Science by Černá, Ivana. Publication: . XIV, 572p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Practical Aspects of Declarative Languages by Rocha, Ricardo. Publication: . VIII, 265p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multi-Agent-Based Simulation XI by Bosse, Tibor. Publication: . X, 167 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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