|
|
Engineering Secure Software and Systems
by Erlingsson, Úlfar.
Publication:
. XI, 273p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Digital Privacy
by Camenisch, Jan.
Publication:
. Approx. 800 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Drawing
by Brandes, Ulrik.
Publication:
. XIV, 414p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Petri Nets and Other Models of Concurrency IV
by Jensen, Kurt.
Publication:
. XVIII, 225p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Evolution of Conceptual Modeling
by Kaschek, Roland.
Publication:
. XII, 360p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Architecting Dependable Systems VII
by Casimiro, Antonio.
Publication:
. XII, 324p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing Software and Systems
by Petrenko, Alexandre.
Publication:
. XII, 267p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rewriting Logic and Its Applications
by Ölveczky, Peter Csaba.
Publication:
. X, 264p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Game Theory
by Kontogiannis, Spyros.
Publication:
. VIII, 359p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Science IX
by Gavrilova, Marina L.
Publication:
. XIII, 203p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Business Process Management
by Hull, Richard.
Publication:
. XIII, 359p. 140 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination Models and Languages
by Clarke, Dave.
Publication:
. XI, 183p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Languages and Compilers for Parallel Computing
by Gao, Guang R.
Publication:
. XI, 426p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Languages, Methodologies, and Development Tools for Multi-Agent Systems
by Dastani, Mehdi.
Publication:
. X, 183p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Drawing
by Eppstein, David.
Publication:
. 426p. 199 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Engineering Secure Software and Systems
by Massacci, Fabio.
Publication:
. X, 241 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamentals of Software Engineering
by Arbab, Farhad.
Publication:
. XIII, 471p. 135 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Declarative Agent Languages and Technologies VII
by Baldoni, Matteo.
Publication:
. XII, 263 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Replication
by Charron-Bost, Bernadette.
Publication:
. XV, 290p. 79 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|