|
|
Formal Modeling: Actors, Open Systems, Biological Systems
by Agha, Gul.
Publication:
. XX, 447 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Foundations in Computer Science
by Kuich, Werner.
Publication:
. X, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing Software and Systems
by Wolff, Burkhart.
Publication:
. X, 226p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods and Software Engineering
by Qin, Shengchao.
Publication:
. XIV, 670p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Scholz, Sven-Bodo.
Publication:
. X, 291p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Salaün, Gwen.
Publication:
. X, 261 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rough Sets and Knowledge Technology
by Yao, JingTao.
Publication:
. XVIII, 771 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Learning Theory
by Kivinen, Jyrki.
Publication:
. XIII, 453 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers of Combining Systems
by Tinelli, Cesare.
Publication:
. VIII, 275 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Fahrenberg, Uli.
Publication:
. XI, 353 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reachability Problems
by Delzanno, Giorgio.
Publication:
. XII, 245 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modeling and Using Context
by Beigl, Michael.
Publication:
. XIII, 336 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Hage, Jurriaan.
Publication:
. X, 217 p. 29 illus., 4 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Datalog Reloaded
by Moor, Oege.
Publication:
. VIII, 399p. 52 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Rationality, and Interaction
by Ditmarsch, Hans.
Publication:
. XI, 403 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
AI*IA 2011: Artificial Intelligence Around Man and Beyond
by Pirrone, Roberto.
Publication:
. XV, 464 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Machine Learning and Knowledge Discovery in Databases
by Gunopulos, Dimitrios.
Publication:
. XXII, 663 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles and Practice of Constraint Programming – CP 2011
by Lee, Jimmy.
Publication:
. XXIV, 836p. 170 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Machine Learning and Knowledge Discovery in Databases
by Gunopulos, Dimitrios.
Publication:
. XXII, 681p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Machine Learning and Knowledge Discovery in Databases
by Gunopulos, Dimitrios.
Publication:
. XXX, 649 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|