|
|
Automated Reasoning with Analytic Tableaux and Related Methods
by Galmiche, Didier.
Publication:
. X, 289 p. 34 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human-Computer Interaction – INTERACT 2013
by Kotzé, Paula.
Publication:
. XXXIV, 795 p. 222 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human-Computer Interaction – INTERACT 2013
by Kotzé, Paula.
Publication:
. LII, 813 p. 312 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human-Computer Interaction – INTERACT 2013
by Kotzé, Paula.
Publication:
. XXX, 791 p. 260 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human-Computer Interaction – INTERACT 2013
by Kotzé, Paula.
Publication:
. XXX, 797 p. 262 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|
|
Mobile Web Information Systems
by Daniel, Florian.
Publication:
. XVI, 306 p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Braberman, Víctor.
Publication:
. X, 275 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamentals of Software Engineering
by Arbab, Farhad.
Publication:
. XIX, 283 p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebra and Coalgebra in Computer Science
by Heckel, Reiko.
Publication:
. XIV, 359 p. 29 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
CONCUR 2013 – Concurrency Theory
by D’Argenio, Pedro R.
Publication:
. XIV, 562 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2013 Parallel Processing
by Wolf, Felix.
Publication:
. XXVIII, 890 p. 314 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Personal Web
by Chignell, Mark.
Publication:
. XIV, 221 p. 97 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Computing Technologies
by Malyshkin, Victor.
Publication:
. XVI, 444 p. 183 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|
|
Agent-Oriented Software Engineering XIII
by Müller, Jörg P.
Publication:
. X, 197 p. 78 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Sharygina, Natasha.
Publication:
. XXII, 1015 p. 237 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Knowledge Science, Engineering and Management
by Wang, Mingzheng.
Publication:
. XIV, 604 p. 219 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Search Based Software Engineering
by Ruhe, Günther.
Publication:
. XVI, 326 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unifying Theories of Programming and Formal Engineering Methods
by Liu, Zhiming.
Publication:
. XII, 283 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|