|
|
Engineering Secure Software and Systems
by Barthe, Gilles.
Publication:
. XII, 151p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applied Parallel and Scientific Computing
by Jónasson, Kristján.
Publication:
. XXVII, 339p. 155 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applied Parallel and Scientific Computing
by Jónasson, Kristján.
Publication:
. XXVIII, 477p. 170 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic and Numeric Biology
by Horimoto, Katsuhisa.
Publication:
. IX, 185 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Software Engineering Techniques
by Szmuc, Tomasz.
Publication:
. Approx. 275 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Membrane Computing
by Gheorghe, Marian.
Publication:
. 380p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Current Trends in Web Engineering
by Harth, Andreas.
Publication:
. XXXII, 361p. 119 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verification, Model Checking, and Abstract Interpretation
by Kuncak, Viktor.
Publication:
. X, 457p. 111 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Grid and Pervasive Computing Workshops
by Rautiainen, Mika.
Publication:
. Approx. 195 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations and Practice of Security
by Garcia-Alfaro, Joaquin.
Publication:
. XIII, 253 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Engineering and Management
by Kannan, Rajkumar.
Publication:
. Approx. 355 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verified Software: Theories, Tools, Experiments
by Joshi, Rajeev.
Publication:
. XI, 326p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Practical Aspects of Declarative Languages
by Russo, Claudio.
Publication:
. Approx. 315 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
SOFSEM 2012: Theory and Practice of Computer Science
by Bieliková, Mária.
Publication:
. XVII, 674 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Resource Discovery
by Lacroix, Zoé.
Publication:
. VIII, 191 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory of Security and Applications
by Mödersheim, Sebastian.
Publication:
. IX, 225 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Aspects of Component Software
by Barbosa, Luís Soares.
Publication:
. X, 305 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Smart Card Research and Advanced Applications
by Prouff, Emmanuel.
Publication:
. XI, 337 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Future Generation Information Technology
by Kim, Tai-hoon.
Publication:
. XIV, 424p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Computing and Networking
by Bononi, Luciano.
Publication:
. XIV, 550p. 196 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|