|
|
Automated Reasoning
by Giesl, Jürgen.
Publication:
. XII, 534p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Deontic Logic in Computer Science
by Governatori, Guido.
Publication:
. VIII, 323p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata, Languages and Programming
by Abramsky, Samson.
Publication:
. XXIII, 754p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programs, Proofs, Processes
by Ferreira, Fernando.
Publication:
. XIV, 450p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language, Information and Computation
by Dawar, Anuj.
Publication:
. X, 259p. 28 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithm Theory - SWAT 2010
by Kaplan, Haim.
Publication:
. 448p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Models of Computation
by Kratochvíl, Jan.
Publication:
. XIV, 480p. 91 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Science – Theory and Applications
by Ablayev, Farid.
Publication:
. XI, 397p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Computer Games
by Herik, H. Jaap.
Publication:
. XIV, 233p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Kwuida, Léonard.
Publication:
. XII, 340p. 91 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Information and Knowledge Systems
by Link, Sebastian.
Publication:
. XII, 363 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Abstract State Machines, Alloy, B and Z
by Frappier, Marc.
Publication:
. XIV, 416p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Concise Computer Mathematics
by Bagdasar, Ovidiu.
Publication:
. XII, 109 p. 17 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Computing Systems
by Moller, Faron.
Publication:
. XVI, 500 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Sets, Logic and Maths for Computing
by Makinson, David.
Publication:
. XXI, 283p. 17 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|