|
|
Multi-Agent Systems
by Cossentino, Massimo.
Publication:
. XII, 259 p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human-Centered Software Engineering
by Winckler, Marco.
Publication:
. XII, 370 p. 121 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Simulation, Modeling, and Programming for Autonomous Robots
by Noda, Itsuki.
Publication:
. XIV, 414 p. 198 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hardware and Software: Verification and Testing
by Eder, Kerstin.
Publication:
. XII, 263 p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
by Margaria, Tiziana.
Publication:
. XVI, 361 p. 129 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
by Margaria, Tiziana.
Publication:
. XVI, 617 p. 170 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in New Technologies, Interactive Interfaces and Communicability
by Cipolla-Ficarra, Francisco.
Publication:
. XII, 263 p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Conceptual Modeling
by Castano, Silvana.
Publication:
. XX, 406 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Knowledge Engineering and Knowledge Management
by Teije, Annette.
Publication:
. XVIII, 452 p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Natural Computing
by Dediu, Adrian-Horia.
Publication:
. X, 227 p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering and Formal Methods
by Eleftherakis, George.
Publication:
. XIV, 384 p. 103 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Safety, Reliability, and Security
by Ortmeier, Frank.
Publication:
. XVI, 530 p. 198 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Computing
by Aguilera, Marcos K.
Publication:
. XVI, 450 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2012
by Meersman, Robert.
Publication:
. XXV, 485 p. 135 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model and Data Engineering
by Abelló, Alberto.
Publication:
. XII, 187 p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2012
by Meersman, Robert.
Publication:
. XXVI, 467 p. 202 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logistics
by Hu, Hao.
Publication:
. X, 217 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Robotics and Applications
by Su, Chun-Yi.
Publication:
. XXI, 715 p. 430 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Robotics and Applications
by Su, Chun-Yi.
Publication:
. XXXVI, 723 p. 434 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Robotics and Applications
by Su, Chun-Yi.
Publication:
. XX, 625 p. 386 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|