|
|
The Mathematics of Language
by Ebert, Christian.
Publication:
. VIII, 297p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Data Hiding and Multimedia Security V
by Shi, Yun Q.
Publication:
. XI, 129p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Current Topics in Artificial Intelligence
by Meseguer, Pedro.
Publication:
. XII, 302p. 77 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Detection of Intrusions and Malware, and Vulnerability Assessment
by Kreibich, Christian.
Publication:
. XII, 219p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning
by Giesl, Jürgen.
Publication:
. XII, 534p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2010
by Strichman, Ofer.
Publication:
. XIII, 400p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Deontic Logic in Computer Science
by Governatori, Guido.
Publication:
. VIII, 323p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata, Languages and Programming
by Abramsky, Samson.
Publication:
. XXIII, 754p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata, Languages and Programming
by Abramsky, Samson.
Publication:
. XXIV, 614p. 78 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artifical Evolution
by Collet, Pierre.
Publication:
. XII, 207p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2009 – Parallel Processing Workshops
by Lin, Hai-Xiang.
Publication:
. XIX, 468p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Security and Privacy
by Steinfeld, Ron.
Publication:
. XII, 403p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computing and Combinatorics
by Thai, My T.
Publication:
. 553p. 103 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mechanisms for Autonomous Management of Networks and Services
by Stiller, Burkhard.
Publication:
. XIII, 179p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tests and Proofs
by Fraser, Gordon.
Publication:
. 174p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Networked Services and Applications - Engineering, Control and Management
by Aagesen, Finn Arve.
Publication:
. XIII, 275p. 125 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programs, Proofs, Processes
by Ferreira, Fernando.
Publication:
. XIV, 450p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trust and Trustworthy Computing
by Acquisti, Alessandro.
Publication:
. XIII, 441p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fast Software Encryption
by Hong, Seokhie.
Publication:
. XI, 385p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Inductive Logic Programming
by Raedt, Luc.
Publication:
. XII, 257p.
Availability:
Copies available:
AUM Main Library
(1),
|
|