|
|
Web Services and Formal Methods
by Laneve, Cosimo.
Publication:
. VII, 197p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Developments in Language Theory
by Gao, Yuan.
Publication:
. XII, 446p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information, Security and Cryptology – ICISC 2009
by Lee, Donghoon.
Publication:
. XIII, 387p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Controlled Natural Language
by Fuchs, Norbert E.
Publication:
. X, 291p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Resource Discovery
by Lacroix, Zoé.
Publication:
. IX, 141p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Self-Organizing Architectures
by Weyns, Danny.
Publication:
. X, 301p. 110 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Processing and Applied Mathematics
by Wyrzykowski, Roman.
Publication:
. XXIV, 596p. 272 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Data Mining. Applications and Theoretical Aspects
by Perner, Petra.
Publication:
. XIII, 654p. 233 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Processing and Applied Mathematics
by Wyrzykowski, Roman.
Publication:
. XXIV, 628p. 242 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Critical Information Infrastructures Security
by Rome, Erich.
Publication:
. XII, 213p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Biomedical Image Registration
by Fischer, Bernd.
Publication:
. 280p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Aspects in Information and Management
by Chen, Bo.
Publication:
. XI, 336p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
New Modeling Concepts for Today’s Software Processes
by Münch, Jürgen.
Publication:
. XIV, 382p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing Techniques in Software Engineering
by Borba, Paulo.
Publication:
. IX, 313p. 73 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Mathematics of Language
by Ebert, Christian.
Publication:
. VIII, 297p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A 25-Year Perspective on Logic Programming
by Dovier, Agostino.
Publication:
. XIV, 329p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Data Hiding and Multimedia Security V
by Shi, Yun Q.
Publication:
. XI, 129p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Touili, Tayssir.
Publication:
. XVI, 676p. 169 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language and Meaning
by Aloni, Maria.
Publication:
. X, 476p. 1 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Case-Based Reasoning. Research and Development
by Bichindaritz, Isabelle.
Publication:
. 557p. 180 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|