//]]>
Unhighlight Highlight
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
Runtime Verification by Qadeer, Shaz. Publication: . XII, 322 p. 93 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Jhala, Ranjit. Publication: . XII, 389 p. 104 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Functional Languages by Gill, Andy. Publication: . X, 181 p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Aoki, Toshiaki. Publication: . XIV, 512 p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Issues in Fluid Construction Grammar by Steels, Luc. Publication: . X, 331 p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rewriting Logic and Its Applications by Durán, Franciso. Publication: . VIII, 241 p. 51 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
Logics in Artificial Intelligence by Cerro, Luis Fariñas. Publication: . XIV, 498 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Vidal, Germán. Publication: . X, 254 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generic and Indexed Programming by Gibbons, Jeremy. Publication: . VII, 259 p. 24 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Inductive Logic Programming by Muggleton, Stephen H. Publication: . XI, 406 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Deontic Logic in Computer Science by Ågotnes, Thomas. Publication: . XII, 215 p. 21 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
ECOOP 2012 – Object-Oriented Programming by Noble, James. Publication: . Approx. 780 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Techniques for Distributed Systems by Giese, Holger. Publication: . XIII, 269p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Correct Reasoning by Erdem, Esra. Publication: . XI, 594p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Formal Methods by Derrick, John. Publication: . XII, 360p. 105 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reliable Software Technologies – Ada-Europe 2012 by Brorsson, Mats. Publication: . XII, 220p. 59 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Composition by Gschwind, Thomas. Publication: . XII, 195p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Objects, Models, Components, Patterns by Furia, Carlo A. Publication: . XI, 372p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 Next >>