|
|
Emotional Cognitive Neural Algorithms with Engineering Applications
by Perlovsky, Leonid.
Publication:
. X, 202 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
User-Level Workflow Design
by Lamprecht, Anna-Lena.
Publication:
. XXII, 223 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Practical Aspects of Declarative Languages
by Sagonas, Kostis.
Publication:
. XIV, 261 p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by McMillan, Ken.
Publication:
. XIV, 794 p. 178 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modeling
by Ng, Wilfred.
Publication:
. XXVIII, 514 p. 165 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing Software and Systems
by Yenigün, Hüsnü.
Publication:
. XIV, 291 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
In Search of Elegance in the Theory and Practice of Computation
by Tannen, Val.
Publication:
. XII, 569 p. 121 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Hinze, Ralf.
Publication:
. X, 241 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Constraint Solving and Language Processing
by Duchier, Denys.
Publication:
. XII, 179 p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model-Driven Engineering Languages and Systems
by Moreira, Ana.
Publication:
. XXVIII, 792 p. 299 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reachability Problems
by Abdulla, Parosh Aziz.
Publication:
. XII, 223 p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Pecheur, Charles.
Publication:
. XIV, 199 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Rationality, and Interaction
by Grossi, Davide.
Publication:
. XII, 363 p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Learning Theory
by Jain, Sanjay.
Publication:
. XVIII, 397 p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering for Resilient Systems
by Gorbenko, Anatoliy.
Publication:
. X, 199 p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers of Combining Systems
by Fontaine, Pascal.
Publication:
. XII, 359 p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Legay, Axel.
Publication:
. XVII, 426 p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Informatics
by Muntean, Traian.
Publication:
. X, 275 p. 14 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles and Practice of Constraint Programming
by Schulte, Christian.
Publication:
. XVIII, 898 p. 226 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logic in Multi-Agent Systems
by Leite, João.
Publication:
. XXIV, 391 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|