|
|
The Semantic Web
by Pan, Jeff Z.
Publication:
. XIII, 436p. 119 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Constructive Side-Channel Analysis and Secure Design
by Schindler, Werner.
Publication:
. Approx. 280 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Domenach, Florent.
Publication:
. XII, 309 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Financial Cryptography and Data Security
by Danezis, George.
Publication:
. XII, 185 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Design Science Research in Information Systems. Advances in Theory and Practice
by Peffers, Ken.
Publication:
. XI, 439p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Khurshid, Sarfraz.
Publication:
. XII, 458 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Large-Scale Scientific Computing
by Lirkov, Ivan.
Publication:
. XIV, 681 p. 147 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Services and Formal Methods
by Carbone, Marco.
Publication:
. IX, 143 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems
by Beldiceanu, Nicolas.
Publication:
. XI, 409p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Logic Programming
by Schrijvers, Tom.
Publication:
. X, 333 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Public Key Infrastructures, Services and Applications
by Petkova-Nikova, Svetla.
Publication:
. X, 209 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2011: Parallel Processing Workshops
by Alexander, Michael.
Publication:
. XXX, 480 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2011: Parallel Processing Workshops
by Alexander, Michael.
Publication:
. XXIX, 524p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Perspectives of Systems Informatics
by Clarke, Edmund.
Publication:
. XIV, 411 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management
by Snoeyink, Jack.
Publication:
. XVII, 370 p. 77 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Communication Technologies for Vehicles
by Vinel, Alexey.
Publication:
. XII, 188 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Models in Software Engineering
by Kienzle, Jörg.
Publication:
. X, 292 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Research in Computational Molecular Biology
by Chor, Benny.
Publication:
. XVI, 372p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Security Technology for Applications
by Laud, Peeter.
Publication:
. X, 273 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reversible Computation
by Vos, Alexis.
Publication:
. IX, 123p.
Availability:
Copies available:
AUM Main Library
(1),
|
|