|
|
Service Research Challenges and Solutions for the Future Internet
by Papazoglou, Mike P.
Publication:
. XVIII, 374p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by Clarke, Edmund M.
Publication:
. X, 517p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verification, Induction, Termination Analysis
by Siegler, Simon.
Publication:
. XI, 145p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logic in Multi-Agent Systems
by Dix, Jürgen.
Publication:
. IX, 197p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unifying Theories of Programming
by Qin, Shengchao.
Publication:
. VIII, 310p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Morazán, Marco T.
Publication:
. IX, 237p. 107 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modeling – ER 2010
by Parsons, Jeffrey.
Publication:
. XIV, 490p. 163 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by Fermüller, Christian G.
Publication:
. XII, 656p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multiagent System Technologies
by Dix, Jürgen.
Publication:
. XII, 221p. 81 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Learning Theory
by Hutter, Marcus.
Publication:
. XIII, 421p. 45 illus.
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),
|
|
|
Principles and Practice of Constraint Programming – CP 2010
by Cohen, David.
Publication:
. XX, 650p. 145 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
CONCUR 2010 - Concurrency Theory
by Gastin, Paul.
Publication:
. XIII, 600p. 134 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evolvable Systems: From Biology to Hardware
by Tempesti, Gianluca.
Publication:
. XII, 394p. 228 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Science Logic
by Dawar, Anuj.
Publication:
. XIV, 548p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verified Software: Theories, Tools, Experiments
by Leavens, Gary T.
Publication:
. X, 217p. 68 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logic in Multi-Agent Systems
by Dix, Jürgen.
Publication:
. XIV, 257p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Finite-State Methods and Natural Language Processing
by Yli-Jyrä, Anssi.
Publication:
. X, 147p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unifying Theories of Programming
by Butterfield, Andrew.
Publication:
. IX, 279p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Developments in Language Theory
by Gao, Yuan.
Publication:
. XII, 446p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|