//]]>
Unhighlight Highlight
Runtime Verification by Legay, Axel. Publication: . XVII, 426 p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Performance Engineering by Balsamo, Maria Simonetta. Publication: . XII, 351 p. 114 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Methods in Systems Biology by Gupta, Ashutosh. Publication: . XX, 284 p. 58 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction in Geometry by Ida, Tetsuo. Publication: . X, 193 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic Informatics by Muntean, Traian. Publication: . X, 275 p. 14 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Service-Oriented and Cloud Computing by Lau, Kung-Kiu. Publication: . X, 244 p. 80 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Leite, João. Publication: . XXIV, 391 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Giachino, Elena. Publication: . X, 241 p. 125 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorics on Words by Karhumäki, Juhani. Publication: . X, 263 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programming and Nonmonotonic Reasoning by Cabalar, Pedro. Publication: . XVIII, 570 p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering and Formal Methods by Hierons, Robert M. Publication: . XVIII, 321 p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning with Analytic Tableaux and Related Methods by Galmiche, Didier. Publication: . X, 289 p. 34 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Energy Efficiency in Large Scale Distributed Systems by Pierson, Jean-Marc. Publication: . XI, 312 p. 127 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Computer Interaction – INTERACT 2013 by Kotzé, Paula. Publication: . XXXIV, 795 p. 222 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Computer Interaction – INTERACT 2013 by Kotzé, Paula. Publication: . LII, 813 p. 312 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Computer Interaction – INTERACT 2013 by Kotzé, Paula. Publication: . XXX, 791 p. 260 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Computer Interaction – INTERACT 2013 by Kotzé, Paula. Publication: . XXX, 797 p. 262 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Petri Nets and Other Models of Concurrency VIII by Koutny, Maciej. Publication: . XVIII, 203 p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Internet of Things, Smart Spaces, and Next Generation Networking by Balandin, Sergey. Publication: . XIV, 440 p. 203 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mobile Web Information Systems by Daniel, Florian. Publication: . XVI, 306 p. 94 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 Next >>