|
|
Computer Science Logic
by Dawar, Anuj.
Publication:
. XIV, 548p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Logic Programming
by Blume, Matthias.
Publication:
. XI, 355p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Software Science and Computational Structures
by Ong, Luke.
Publication:
. XV, 389p. 47 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The NCL Natural Constraint Language
by Zhou, Jianyang.
Publication:
. XIII, 311 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
From Linear Operators to Computational Biology
by Davis, Martin.
Publication:
. XI, 208 p. 16 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|