|
|
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),
|
|
|
Topics in Cryptology – CT-RSA 2012
by Dunkelman, Orr.
Publication:
. XI, 434p. 85 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),
|
|
|
Information Security Technology for Applications
by Aura, Tuomas.
Publication:
. X, 289 p. 73 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),
|
|
|
Information Security Applications
by Jung, Souhwan.
Publication:
. XII, 271p. 74 illus.
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),
|
|
|
Knowledge Representation for Health-Care
by Riaño, David.
Publication:
. X, 171 p.
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),
|
|
|
Computation, Physics and Beyond
by Dinneen, Michael J.
Publication:
. XIII, 427p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agents and Data Mining Interaction
by Cao, Longbing.
Publication:
. XIII, 361 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Open Problems in Network Security
by Camenisch, Jan.
Publication:
. VIII, 161p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Systems Theory – EUROCAST 2011
by Moreno-Díaz, Roberto.
Publication:
. 637p. 276 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Financial Cryptography and Data Security
by Danezis, George.
Publication:
. Approx. 335 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Systems Theory – EUROCAST 2011
by Moreno-Díaz, Roberto.
Publication:
. XXV, 637 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|