//]]>
Construction and Evolution of Code Generators by Jörges, Sven. Publication: . XXIV, 246 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Language Engineering by Czarnecki, Krzysztof. Publication: . XII, 413 p. 172 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering by Lucia, Andrea. Publication: . X, 237 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical and Engineering Methods in Computer Science by Kučera, Antonín. Publication: . XII, 213 p. 32 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generative and Transformational Techniques in Software Engineering IV by Lämmel, Ralf. Publication: . XII, 449 p. 112 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Facing the Multicore-Challenge III by Keller, Rainer. Publication: . X, 146 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Beckert, Bernhard. Publication: . X, 356 p. 129 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Giacobazzi, Roberto. Publication: . XII, 556 p. 123 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Job Scheduling Strategies for Parallel Processing by Cirne, Walfredo. Publication: . X, 273 p. 112 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Aspects of Component Software by Păsăreanu, Corina S. Publication: . X, 277 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
SOFSEM 2013: Theory and Practice of Computer Science by Emde Boas, Peter. Publication: . XIV, 566 p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering for Self-Adaptive Systems II by Lemos, Rogério. Publication: . X, 393 p. 110 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools for Practical Software Verification by Meyer, Bertrand. Publication: . VIII, 183 p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Aspects of Component Software by Arbab, Farhad. Publication: . X, 369 p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming by Wolff, Burkhart. Publication: . VIII, 249 p. 4 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing and Networking by Frey, Davide. Publication: . XX, 466 p. 121 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Qadeer, Shaz. Publication: . XII, 322 p. 93 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Current Trends in Web Engineering by Grossniklaus, Michael. Publication: . XXII, 245 p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Network and Parallel Computing by Park, James J. Publication: . XX, 647 p. 253 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Future Generation Information Technology by Kim, Tai-hoon. Publication: . XIV, 284 p. 141 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart