|
|
Haptics: Generating and Perceiving Tangible Sensations
by Kappers, Astrid M. L.
Publication:
. XX, 460p. 227 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Haptics: Generating and Perceiving Tangible Sensations
by Kappers, Astrid M. L.
Publication:
. 440p. 246 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Kaufmann, Matt.
Publication:
. XI, 495p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Composition
by Baudry, Benoît.
Publication:
. VIII, 155p. 56 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),
|
|
|
Objects, Models, Components, Patterns
by Vitek, Jan.
Publication:
. 316p. 103 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Research into Practice – Reality and Gaps
by Heineman, George T.
Publication:
. X, 183p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Product-Focused Software Process Improvement
by Ali Babar, M.
Publication:
. XIII, 410p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Future Multimedia Networking
by Zeadally, Sherali.
Publication:
. X, 184p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Aging Friendly Technology for Health and Independence
by Lee, Yeunsook.
Publication:
. XIV, 272p. 106 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Processing in Computer-Assisted Interventions
by Navab, Nassir.
Publication:
. XIII, 202p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Model Transformations
by Tratt, Laurence.
Publication:
. X, 278p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Quantitative Aspects of Programming Languages
by Aldini, Alessandro.
Publication:
. VII, 169p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applications and Theory of Petri Nets
by Lilius, Johan.
Publication:
. X, 329p. 129 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Computing in Sensor Systems
by Rajaraman, Rajmohan.
Publication:
. XVII, 410p. 152 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Applications and Interoperable Systems
by Eliassen, Frank.
Publication:
. XIV, 243p. 98 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Foundations and Applications
by Kühne, Thomas.
Publication:
. 364p. 150 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Analytical and Stochastic Modeling Techniques and Applications
by Al-Begain, Khalid.
Publication:
. XI, 409p. 132 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Architecting Critical Systems
by Giese, Holger.
Publication:
. 205p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|