|
|
A 25-Year Perspective on Logic Programming
by Dovier, Agostino.
Publication:
. XIV, 329p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Touili, Tayssir.
Publication:
. XVI, 676p. 169 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),
|
|
|
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),
|
|
|
Interactive Theorem Proving
by Kaufmann, Matt.
Publication:
. XI, 495p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unconventional Computation
by Calude, Cristian S.
Publication:
. XIII, 195p. 68 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics of Program Construction
by Bolduc, Claude.
Publication:
. X, 427p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Component-Based Software Engineering
by Grunske, Lars.
Publication:
. X, 253p. 78 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Language and Automata Theory and Applications
by Dediu, Adrian-Horia.
Publication:
. XIV, 622p. 92 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Schreye, Danny.
Publication:
. X, 205p. 29 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),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Esparza, Javier.
Publication:
. XVI, 468p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Constraint Logic Programming
by Escobar, Santiago.
Publication:
. IX, 179p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Gordon, Andrew D.
Publication:
. XV, 632p. 189 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Approaches and Applications of Inductive Programming
by Schmid, Ute.
Publication:
. IX, 195p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata for Branching and Layered Temporal Structures
by Puppis, Gabriele.
Publication:
. 206p. 41 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),
|
|
|
Declarative Agent Languages and Technologies VII
by Baldoni, Matteo.
Publication:
. XII, 263 p.
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),
|
|