//]]>
Models in Software Engineering by Dingel, Juergen. Publication: . XII, 416p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Relational and Algebraic Methods in Computer Science by Swart, Harrie. Publication: . VIII, 363 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Future Internet by Domingue, John. Publication: . XVI, 465 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programming and Nonmonotonic Reasoning by Delgrande, James P. Publication: . XIII, 406 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in New Technologies, Interactive Interfaces, and Communicability by Cipolla Ficarra, Francisco V. Publication: . X, 193 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NETWORKING 2011 by Domingo-Pascual, Jordi. Publication: . XXII, 381 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NETWORKING 2011 by Domingo-Pascual, Jordi. Publication: . XXI, 473 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Grid and Pervasive Computing by Riekki, Jukka. Publication: . XIV, 296p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Declarative Agent Languages and Technologies VIII by Omicini, Andrea. Publication: . X, 205 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Checking and Artificial Intelligence by Meyden, Ron. Publication: . XI, 131 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Service-Oriented Perspectives in Design Science Research by Jain, Hemant. Publication: . XII, 476 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
GeoSpatial Semantics by Claramunt, Christophe. Publication: . XII, 235 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Alpuente, María. Publication: . X, 249 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Concept Analysis by Valtchev, Petko. Publication: . XII, 267 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rigorous Software Engineering for Service-Oriented Systems by Wirsing, Martin. Publication: . X, 737p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Bobaru, Mihaela. Publication: . XIV, 534 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Adaptive and Natural Computing Algorithms by Dobnikar, Andrej. Publication: . XVI, 433p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Adaptive and Natural Computing Algorithms by Dobnikar, Andrej. Publication: . XVI, 403p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Collective Intelligence III by Nguyen, Ngoc Thanh. Publication: . IX, 215p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Evolutionary Multi-Criterion Optimization by Takahashi, Ricardo H. C. Publication: . XV, 620 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart