//]]>
Information Security by Gollmann, Dieter. Publication: . XIV, 402 p. 87 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Jurdziński, Marcin. Publication: . X, 267 p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Relational and Algebraic Methods in Computer Science by Kahl, Wolfram. Publication: . XII, 361 p. 33 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods: Foundations and Applications by Gheyi, Rohit. Publication: . X, 227 p. 67 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Information Systems and Industrial Management by Cortesi, Agostino. Publication: . XII, 444 p. 176 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Reasoning and Rule Systems by Krötzsch, Markus. Publication: . XV, 298 p. 32 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages by Carvalho Junior, Francisco Heron. Publication: . IX, 165 p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering for Resilient Systems by Avgeriou, Paris. Publication: . X, 181 p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Security – ESORICS 2012 by Foresti, Sara. Publication: . XVII, 896 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Static Analysis by Miné, Antoine. Publication: . XI, 457 p. 153 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Search Based Software Engineering by Fraser, Gordon. Publication: . XVI, 293 p. 80 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Architectures for Parallel Processing by Xiang, Yang. Publication: . XXI, 563 p. 241 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Architectures for Parallel Processing by Xiang, Yang. Publication: . XXIV, 331 p. 159 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical Aspects of Computing – ICTAC 2012 by Roychoudhury, Abhik. Publication: . XII, 259 p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
CONCUR 2012 – Concurrency Theory by Koutny, Maciej. Publication: . XIV, 582 p. 84 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Datalog in Academia and Industry by Barceló, Pablo. Publication: . XIV, 191 p. 20 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Fisher, Michael. Publication: . Approx. 230 p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Business Process Management by Barros, Alistair. Publication: . XV, 354 p. 128 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2012 Parallel Processing by Kaklamanis, Christos. Publication: . XXVII, 960 p. 369 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
FM 2012: Formal Methods by Giannakopoulou, Dimitra. Publication: . XVI, 488 p. 142 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart