|
|
Advances on Computational Intelligence
by Greco, Salvatore.
Publication:
. XVI, 658 p. 114 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information from Processes
by Losee, Robert M.
Publication:
. XVII, 240 p. 67 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
by Henderson-Sellers, Brian.
Publication:
. IX, 106 p. 98 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Correctness-by-Construction Approach to Programming
by Kourie, Derrick G.
Publication:
. XIII, 264p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Incomplete Information System and Rough Set Theory
by Yang, Xibei.
Publication:
. XIV, 232 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ontology Engineering in a Networked World
by Suárez-Figueroa, Mari Carmen.
Publication:
. XII, 444 p. 148 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),
|
|
|
e-Business and Telecommunications
by Obaidat, Mohammad S.
Publication:
. XVII, 359p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Systems for Indian Languages
by Singh, Chandan.
Publication:
. XVIII, 320p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conditionals and Modularity in General Logics
by Gabbay, Dov M.
Publication:
. IX, 233 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Working with Preferences: Less Is More
by Kaci, Souhila.
Publication:
. XVI, 204 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Schema Matching and Mapping
by Bellahsene, Zohra.
Publication:
. XII, 320 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical Computer Science
by Calude, Cristian S.
Publication:
. XII, 387p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logical Analysis of Hybrid Systems
by Platzer, André.
Publication:
. XXX, 426p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications
by Hüllermeier, Eyke.
Publication:
. XXIII, 762p. 237 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods
by Hüllermeier, Eyke.
Publication:
. XXIII, 764p. 136 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logical Tools for Handling Change in Agent-Based Systems
by Gabbay, Dov M.
Publication:
. X, 305p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Concise Computer Mathematics
by Bagdasar, Ovidiu.
Publication:
. XII, 109 p. 17 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods: State of the Art and New Directions
by Boca, Paul.
Publication:
. XXVI, 273 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Computing Systems
by Moller, Faron.
Publication:
. XVI, 500 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|