//]]>
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
Numerical Methods and Applications by Dimov, Ivan. Publication: . XIV, 512 p. 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
Performance Evaluation, Measurement and Characterization of Complex Systems by Nambiar, Raghunath. Publication: . XVI, 233p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agents for Games and Simulations II by Dignum, Frank. Publication: . X, 206 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Security by Burmester, Mike. Publication: . XIV, 446p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Verification of Object-Oriented Software by Beckert, Bernhard. Publication: . X, 199p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generative and Transformational Techniques in Software Engineering III by Fernandes, João M. Publication: . X, 499 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic Methodology and Software Technology by Johnson, Michael. Publication: . X, 238p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation by Leuken, René. Publication: . XII, 260p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Semantic Web – ISWC 2010 by Patel-Schneider, Peter F. Publication: . XXII, 373p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Towards a Service-Based Internet by Nitto, Elisabetta. Publication: . XIV, 240p. 84 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart