|
|
Engineering Secure Software and Systems
by Jürjens, Jan.
Publication:
. XII, 231 p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Languages and Compilers for Parallel Computing
by Rajopadhye, Sanjay.
Publication:
. X, 299 p. 132 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cognitive Behavioural Systems
by Esposito, Anna.
Publication:
. XXII, 450 p. 144 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rewriting Logic and Its Applications
by Durán, Franciso.
Publication:
. VIII, 241 p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Game Theory
by Serna, Maria.
Publication:
. X, 263 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Haptic and Audio Interaction Design
by Magnusson, Charlotte.
Publication:
. VIII, 153 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination Models and Languages
by Sirjani, Marjan.
Publication:
. XIV, 277p. 96 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Semantic Web
by Pan, Jeff Z.
Publication:
. XIII, 436p. 119 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamentals of Software Engineering
by Arbab, Farhad.
Publication:
. XII, 377 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Declarative Agent Languages and Technologies IX
by Sakama, Chiaki.
Publication:
. XII, 153 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Petri Nets and Other Models of Concurrency V
by Jensen, Kurt.
Publication:
. XVII, 293 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modelling and Its Theoretical Foundations
by Düsterhöft, Antje.
Publication:
. VIII, 329 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Engineering Secure Software and Systems
by Barthe, Gilles.
Publication:
. XII, 151p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Drawing
by Kreveld, Marc.
Publication:
. XIV, 458 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Game Theory
by Persiano, Giuseppe.
Publication:
. XI, 327p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing Software and Systems
by Wolff, Burkhart.
Publication:
. X, 226p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Architecture
by Varbanescu, Ana Lucia.
Publication:
. XXVII, 378p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Spatial Information Theory
by Egenhofer, Max.
Publication:
. XI, 470p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebra and Coalgebra in Computer Science
by Corradini, Andrea.
Publication:
. XI, 420p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Languages, Methodologies, and Development Tools for Multi-Agent Systems
by Dastani, Mehdi.
Publication:
. IX, 153 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|