|
|
Logic, Rationality, and Interaction
by Ditmarsch, Hans.
Publication:
. XI, 403 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Mathematics of Language
by Kanazawa, Makoto.
Publication:
. IV, 227p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Business Process Management
by Rinderle-Ma, Stefanie.
Publication:
. Approx. 420 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebra and Coalgebra in Computer Science
by Corradini, Andrea.
Publication:
. XI, 420p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Constraint Logic Programming
by Kuchen, Herbert.
Publication:
. VII, 157 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Typed Lambda Calculi and Applications
by Ong, Luke.
Publication:
. XII, 245 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Informatics
by Winkler, Franz.
Publication:
. X, 261p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Swart, Harrie.
Publication:
. VIII, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language, Information and Computation
by Beklemishev, Lev D.
Publication:
. X, 311 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Constraint Logic Programming
by Mariño, Julio.
Publication:
. IX, 175 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Advances in Constraints
by Larrosa, Javier.
Publication:
. VII, 155 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and Its Applications
by Banerjee, Mohua.
Publication:
. X, 219p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logics in Artificial Intelligence
by Janhunen, Tomi.
Publication:
. XIV, 374p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Mathematics of Language
by Ebert, Christian.
Publication:
. VIII, 297p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language and Meaning
by Aloni, Maria.
Publication:
. X, 476p. 1 illus. in color.
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),
|
|
|
Certified Programs and Proofs
by Gonthier, Georges.
Publication:
. XII, 309 p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Process Mining
by van der Aalst, Wil M. P.
Publication:
. XVI, 352p. 184 illus., 6 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Specification and Verification of Declarative Open Interaction Models
by Montali, Marco.
Publication:
. XXII, 411p. 97 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rigorous Software Development
by Almeida, José Bacelar.
Publication:
. XIII, 307p. 52 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|