|
|
Computational Intelligence for Knowledge-Based Systems Design
by Hüllermeier, Eyke.
Publication:
. XVII, 771p. 183 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tests and Proofs
by Fraser, Gordon.
Publication:
. 174p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programs, Proofs, Processes
by Ferreira, Fernando.
Publication:
. XIV, 450p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Objects, Models, Components, Patterns
by Vitek, Jan.
Publication:
. 316p. 103 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Inductive Logic Programming
by Raedt, Luc.
Publication:
. XII, 257p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language, Information and Computation
by Dawar, Anuj.
Publication:
. X, 259p. 28 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Time for Verification
by Manna, Zohar.
Publication:
. VIII, 413p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithm Theory - SWAT 2010
by Kaplan, Haim.
Publication:
. 448p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Model Transformations
by Tratt, Laurence.
Publication:
. X, 278p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Quantitative Aspects of Programming Languages
by Aldini, Alessandro.
Publication:
. VII, 169p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applications and Theory of Petri Nets
by Lilius, Johan.
Publication:
. X, 329p. 129 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Models of Computation
by Kratochvíl, Jan.
Publication:
. XIV, 480p. 91 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reliable Software Technologiey – Ada-Europe 2010
by Real, Jorge.
Publication:
. XII, 277p. 65 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),
|
|
|
Formal Techniques for Distributed Systems
by Hatcliff, John.
Publication:
. XII, 233p. 40 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),
|
|
|
Computer Science – Theory and Applications
by Ablayev, Farid.
Publication:
. XI, 397p. 49 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),
|
|
|
Advances in Computer Games
by Herik, H. Jaap.
Publication:
. XIV, 233p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Semantic Processing of Legal Texts
by Francesconi, Enrico.
Publication:
. XII, 249p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|