|
|
Operational Semantics and Verification of Security Protocols
by Cremers, Cas.
Publication:
. XIII, 172 p. 59 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agile Software Development
by Stober, Thomas.
Publication:
. XXIII, 179p. 93 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cloud Computing and Services Science
by Ivanov, Ivan I.
Publication:
. XII, 265 p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Sensor Systems and Software
by Zuniga, Marco.
Publication:
. X, 159 p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information and Communication Technologies in Education, Research, and Industrial Applications
by Ermolayev, Vadim.
Publication:
. XII, 379 p. 89 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cloud Computing
by Yousif, Mazin.
Publication:
. X, 145 p. 53 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trends in Mobile Web Information Systems
by Matera, Maristella.
Publication:
. XX, 145 p. 61 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Scala Design Patterns
by Hunt, John.
Publication:
. XXII, 327 p. 90 illus., 49 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reliable and Autonomous Computational Science
by Shin, Sung Y.
Publication:
. XVI, 410p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Object-Oriented Analysis and Design
by Ramnath, Sarnath.
Publication:
. X, 440p. 150 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Seductive Computer
by Partridge, Derek.
Publication:
. XVI, 323p. 56 illus., 6 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Requirements Engineering
by Hull, Elizabeth.
Publication:
. XVIII, 207p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Thriving Systems Theory and Metaphor-Driven Modeling
by Waguespack, Leslie J.
Publication:
. X, 229p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tabletops - Horizontal Interactive Displays
by Müller-Tomfelde, Christian.
Publication:
. XXIV, 484p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Making Systems Safer
by Dale, Chris.
Publication:
. X, 273p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agent-Based Service-Oriented Computing
by Griffiths, Nathan.
Publication:
. XIII, 270p. 144 illus., 72 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods: State of the Art and New Directions
by Boca, Paul.
Publication:
. XXVI, 273 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Engineering of Mixed Reality Systems
by Dubois, Emmanuel.
Publication:
. XIV, 450p. 170 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Process Algebraic Approach to Software Architecture Design
by Aldini, Alessandro.
Publication:
. XV, 304p. 60 illus., 30 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Sustainable Web Ecosystem Design
by O'Toole, Greg.
Publication:
. XVI, 117 p. 6 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|