//]]>
Unhighlight Highlight
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems by Calinescu, Radu. Publication: . 250p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Coordination, Organizations, Institutions, and Norms in Agent Systems VI by Vos, Marina. Publication: . XVI, 377p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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
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
<< Previous 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 Next >>
Languages: 
English |
العربية