//]]>
Logic Programs, Norms and Action by Artikis, Alexander. Publication: . XX, 425 p. 36 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Collective Intelligence VI by Nguyen, Ngoc Thanh. Publication: . XII, 224 p. 67 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Games, Actions and Social Software by Eijck, Jan. Publication: . XIV, 214 p. 15 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamentals of Software Engineering by Arbab, Farhad. Publication: . XII, 377 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Computing, Networking and Security by Thilagam, P. Santhi. Publication: . XVII, 641 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Declarative Agent Languages and Technologies IX by Sakama, Chiaki. Publication: . XII, 153 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Petri Nets and Other Models of Concurrency V by Jensen, Kurt. Publication: . XVII, 293 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Multi-Agent Systems by Collier, Rem. Publication: . XI, 159 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Goodloe, Alwyn E. Publication: . XII, 466p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamental Approaches to Software Engineering by Lara, Juan. Publication: . Approx. 535 p. 168 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Seidl, Helmut. Publication: . XV, 602 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Language Engineering by Sloane, Anthony. Publication: . XII, 389p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and Algorithms for the Construction and Analysis of Systems by Flanagan, Cormac. Publication: . XIX, 560 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Software Science and Computational Structures by Birkedal, Lars. Publication: . XVII, 484 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic for Programming, Artificial Intelligence, and Reasoning by Bjørner, Nikolaj. Publication: . XI, 446 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Requirements Engineering: Foundation for Software Quality by Regnell, Björn. Publication: . XV, 322p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Economics of Grids, Clouds, Systems, and Services by Vanmechelen, Kurt. Publication: . XII, 199p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Compiler Construction by O’Boyle, Michael. Publication: . XVI, 245 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Self-Organizing Systems by Kuipers, Fernando A. Publication: . X, 130p. 43 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Latent Variable Analysis and Signal Separation by Theis, Fabian. Publication: . XVI, 538p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart