//]]>
Unhighlight Highlight
Formal Methods for Quantitative Aspects of Programming Languages by Aldini, Alessandro. Publication: . VII, 169p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Applications and Theory of Petri Nets by Lilius, Johan. Publication: . X, 329p. 129 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reliable Software Technologiey – Ada-Europe 2010 by Real, Jorge. Publication: . XII, 277p. 65 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Techniques for Distributed Systems by Hatcliff, John. Publication: . XII, 233p. 40 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics of Program Construction by Bolduc, Claude. Publication: . X, 427p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Argumentation in Multi-Agent Systems by McBurney, Peter. Publication: . X, 321p. 36 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Schreye, Danny. Publication: . X, 205p. 29 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Logic Programming by Blume, Matthias. Publication: . XI, 355p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Software Science and Computational Structures by Ong, Luke. Publication: . XV, 389p. 47 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Constraint Logic Programming by Escobar, Santiago. Publication: . IX, 179p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Compiler Construction by Gupta, Rajiv. Publication: . XII, 326p. 119 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Approaches and Applications of Inductive Programming by Schmid, Ute. Publication: . IX, 195p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata for Branching and Layered Temporal Structures by Puppis, Gabriele. Publication: . 206p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Concurrency, Compositionality, and Correctness by Dams, Dennis. Publication: . 377p. 94 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Practical Aspects of Declarative Languages by Carro, Manuel. Publication: . XI, 297p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Shan, Chung-chieh. Publication: . X, 381 p. 40 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Bertacco, Valeria. Publication: . XX, 366 p. 147 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Language Engineering by Erwig, Martin. Publication: . XII, 385 p. 156 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
ICT in Education, Research, and Industrial Applications by Ermolayev, Vadim. Publication: . XIV, 245 p. 52 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Industrial Deployment of System Engineering Methods by Romanovsky, Alexander. Publication: . X, 259 p. 43 illus., 36 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 11 Next >>