|
|
Verified Software: Theories, Tools, Experiments
by Leavens, Gary T.
Publication:
. X, 217p. 68 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Knowledge Management and Acquisition for Smart Systems and Services
by Kang, Byeong-Ho.
Publication:
. X, 313p. 107 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Collective Intelligence I
by Nguyen, Ngoc Thanh.
Publication:
. VII, 207p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cryptographic Hardware and Embedded Systems, CHES 2010
by Mangard, Stefan.
Publication:
. XIII, 458p. 142 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fields of Logic and Computation
by Blass, Andreas.
Publication:
. XIII, 627p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Financial Cryptography and Data Security
by Sion, Radu.
Publication:
. X, 257p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Structural, Syntactic, and Statistical Pattern Recognition
by Hancock, Edwin R.
Publication:
. XV, 758p. 246 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logic in Multi-Agent Systems
by Dix, Jürgen.
Publication:
. XIV, 257p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination, Organizations, Institutions and Norms in Agent Systems V
by Padget, Julian.
Publication:
. XVIII, 335p. 103 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Future Internet - FIS 2009
by Zseby, Tanja.
Publication:
. IX, 117p. 43 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
by Huang, De-Shuang.
Publication:
. XVIII, 685p. 277 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Social Network Mining and Analysis
by Giles, Lee.
Publication:
. XI, 131p. 47 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Intelligent Computing Theories and Applications
by Huang, De-Shuang.
Publication:
. XIX, 689p. 268 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Smart Spaces and Next Generation Wired/Wireless Networking
by Balandin, Sergey.
Publication:
. XVI, 486p. 212 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
New Frontiers in Artificial Intelligence
by Nakakoji, Kumiyo.
Publication:
. XII, 374p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithm Engineering
by Müller-Hannemann, Matthias.
Publication:
. XVI, 513 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Multi-Agent Systems
by Braubach, Lars.
Publication:
. XII, 285p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Methods and Tools of Parallel Programming Multicomputers
by Hsu, Ching-Hsien.
Publication:
. XIV, 302p. 139 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical Aspects of Computing – ICTAC 2010
by Cavalcanti, Ana.
Publication:
. XIII, 397p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Electronic Government
by Wimmer, Maria A.
Publication:
. XIV, 437p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|