|
|
Security Engineering and Intelligence Informatics
by Cuzzocrea, Alfredo.
Publication:
. XIV, 466 p. 122 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Text, Speech, and Dialogue
by Habernal, Ivan.
Publication:
. XVI, 601 p. 140 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorics on Words
by Karhumäki, Juhani.
Publication:
. X, 263 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic Programming and Nonmonotonic Reasoning
by Cabalar, Pedro.
Publication:
. XVIII, 570 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering and Formal Methods
by Hierons, Robert M.
Publication:
. XVIII, 321 p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Communication Networking
by Bauschert, Thomas.
Publication:
. XII, 322 p. 135 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods
by Galmiche, Didier.
Publication:
. X, 289 p. 34 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Energy Efficiency in Large Scale Distributed Systems
by Pierson, Jean-Marc.
Publication:
. XI, 312 p. 127 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Availability, Reliability, and Security in Information Systems and HCI
by Cuzzocrea, Alfredo.
Publication:
. XVI, 504 p. 156 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Research and Advanced Technology for Digital Libraries
by Aalberg, Trond.
Publication:
. XXII, 497 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human-Computer Interaction – INTERACT 2013
by Kotzé, Paula.
Publication:
. XXXIV, 795 p. 222 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Collective Intelligence. Technologies and Applications
by Bǎdicǎ, Costin.
Publication:
. XXII, 740 p. 243 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human-Computer Interaction – INTERACT 2013
by Kotzé, Paula.
Publication:
. LII, 813 p. 312 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human-Computer Interaction – INTERACT 2013
by Kotzé, Paula.
Publication:
. XXX, 791 p. 260 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human-Computer Interaction – INTERACT 2013
by Kotzé, Paula.
Publication:
. XXX, 797 p. 262 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Petri Nets and Other Models of Concurrency VIII
by Koutny, Maciej.
Publication:
. XVIII, 203 p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms in Bioinformatics
by Darling, Aaron.
Publication:
. XIV, 378 p. 97 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms – ESA 2013
by Bodlaender, Hans L.
Publication:
. XVIII, 829 p. 134 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trends in Functional Programming
by Loidl, Hans-Wolfgang.
Publication:
. X, 311 p. 110 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Virtual Agents
by Aylett, Ruth.
Publication:
. XVIII, 493 p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|