//]]>
Unhighlight Highlight
Formal Modeling and Analysis of Timed Systems by Braberman, Víctor. Publication: . X, 275 p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamentals of Software Engineering by Arbab, Farhad. Publication: . XIX, 283 p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebra and Coalgebra in Computer Science by Heckel, Reiko. Publication: . XIV, 359 p. 29 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
CONCUR 2013 – Concurrency Theory by D’Argenio, Pedro R. Publication: . XIV, 562 p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2013 Parallel Processing by Wolf, Felix. Publication: . XXVIII, 890 p. 314 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Personal Web by Chignell, Mark. Publication: . XIV, 221 p. 97 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Parallel Computing Technologies by Malyshkin, Victor. Publication: . XVI, 444 p. 183 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multicore Software Engineering, Performance, and Tools by Lourenço, João M. Publication: . X, 111 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agent-Oriented Software Engineering XIII by Müller, Jörg P. Publication: . X, 197 p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Verification by Sharygina, Natasha. Publication: . XXII, 1015 p. 237 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Knowledge Science, Engineering and Management by Wang, Mingzheng. Publication: . XIV, 604 p. 219 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Search Based Software Engineering by Ruhe, Günther. Publication: . XVI, 326 p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming and Formal Engineering Methods by Liu, Zhiming. Publication: . XII, 283 p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical Aspects of Computing – ICTAC 2013 by Liu, Zhiming. Publication: . XII, 445 p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theories of Programming and Formal Methods by Liu, Zhiming. Publication: . XII, 413 p. 86 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Reasoning and Rule Systems by Faber, Wolfgang. Publication: . XIV, 272 p. 47 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Science and Its Applications – ICCSA 2013 by Murgante, Beniamino. Publication: . XXXVI, 679 p. 276 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Science and Its Applications – ICCSA 2013 by Murgante, Beniamino. Publication: . XXXVI, 649 p. 234 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Science and Its Applications – ICCSA 2013 by Murgante, Beniamino. Publication: . XXXVI, 715 p. 290 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Science and Its Applications – ICCSA 2013 by Murgante, Beniamino. Publication: . XXXVI, 659 p. 259 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 Next >>