|
|
Data and Applications Security and Privacy XXV
by Li, Yingjiu.
Publication:
. XI, 309p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Science XII
by Gavrilova, Marina L.
Publication:
. XIV, 279 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Natural Language Processing and Information Systems
by Muñoz, Rafael.
Publication:
. XV, 350 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Developments in Language Theory
by Mauri, Giancarlo.
Publication:
. XIV, 482 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Checking Software
by Groce, Alex.
Publication:
. X, 195p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language, and Computation
by Bezhanishvili, Nick.
Publication:
. XIV, 360 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Data Structures
by Dehne, Frank.
Publication:
. XV, 718p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Privacy Enhancing Technologies
by Fischer-Hübner, Simone.
Publication:
. X, 285 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Automata
by Bouchou-Markhoff, Béatrice.
Publication:
. XIII, 299p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Engineering
by Auer, Sören.
Publication:
. XIV, 420p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logical Aspects of Computational Linguistics
by Pogodalla, Sylvain.
Publication:
. X, 283p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial Intelligence in Medicine
by Peleg, Mor.
Publication:
. XVII, 355p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Structural Information and Communication Complexity
by Kosowski, Adrian.
Publication:
. XI, 317p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
by Liu, Weiru.
Publication:
. XIV, 762p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Knowledge Processing and Data Analysis
by Wolff, Karl Erich.
Publication:
. XVI, 321 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Security Protocols XVI
by Christianson, Bruce.
Publication:
. IX, 257 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods
by Brünnler, Kai.
Publication:
. VIII, 279p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Gopalakrishnan, Ganesh.
Publication:
. XV, 763p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Processing in Medical Imaging
by Székely, Gábor.
Publication:
. XXI, 787 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Composition
by Apel, Sven.
Publication:
. VIII, 181p.
Availability:
Copies available:
AUM Main Library
(1),
|
|