|
|
Perception-Action Cycle
by Cutsuridis, Vassilis.
Publication:
. XIV, 787p. 237 illus., 76 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Brain Inspired Cognitive Systems 2008
by Hussain, Amir.
Publication:
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Understanding Markov Chains
by Privault, Nicolas.
Publication:
. IX, 354 p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logics in Computer Science
by Mogavero, Fabio.
Publication:
. XVII, 149 p. 13 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
An Introduction to Order Statistics
by Ahsanullah, Mohammad.
Publication:
. X, 244 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Instruction Sequences for Computer Science
by Bergstra, Jan A.
Publication:
. XVI, 229 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Code Generation with Templates
by Arnoldus, Jeroen.
Publication:
. IX, 204 p. 100 illus., 2 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics of Approximation
by Villiers, Johan.
Publication:
. XXI, 406 p. 2 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Bayesian Theory and Methods with Applications
by Savchuk, Vladimir.
Publication:
. XIV, 318 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Geostatistics Oslo 2012
by Abrahamsen, Petter.
Publication:
. XIV, 559p. 289 illus., 151 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Methods of Cut-Elimination
by Leitsch, Alexander.
Publication:
. VI, 290 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Dual Tableaux: Foundations, Methodology, Case Studies
by Orlowska, Ewa.
Publication:
. XVI, 523 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hybrid Logic and its Proof-Theory
by Braüner, Torben.
Publication:
. XIII, 231 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Advances in Computational and Applied Mathematics
by Simos, Theodore E.
Publication:
. XII, 310p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Natural Deduction, Hybrid Systems and Modal Logics
by Indrzejczak, Andrzej.
Publication:
. XXIII, 514p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
geoENV VII – Geostatistics for Environmental Applications
by Atkinson, P. M.
Publication:
. XVI, 419p. 185 illus., 35 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Matematica Numerica
by Quarteroni, Alfio.
Publication:
. VIII, 414 pagg.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Teoria degli Automi Finiti
by Luca, Aldo.
Publication:
. XI, 323 pagg.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computing Qualitatively Correct Approximations of Balance Laws
by Gosse, Laurent.
Publication:
. XIX, 340 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Imagine Math 2
by Emmer, Michele.
Publication:
. VII, 262 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|