//]]>
Unhighlight Highlight
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
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
Mobile Web Information Systems by Daniel, Florian. Publication: . XVI, 306 p. 94 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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
<< Previous 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 Next >>
Languages: 
English |
العربية