|
|
Leveraging Applications of Formal Methods, Verification, and Validation
by Hähnle, Reiner.
Publication:
. XII, 261 p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Sensor Systems and Software
by Martins, Francisco.
Publication:
. X, 163 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Convergence and Hybrid Information Technology
by Lee, Geuk.
Publication:
. Approx. 830 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Bio-Inspired Models of Network, Information, and Computing Systems
by Suzuki, Junichi.
Publication:
. XVIII, 695 p. 326 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Knowledge Discovery, Knowledge Engineering and Knowledge Management
by Fred, Ana.
Publication:
. XVI, 430 p. 149 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software and Data Technologies
by Cordeiro, José.
Publication:
. XII, 269 p. 99 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Complex Networks
by F. Costa, Luciano.
Publication:
. X, 218 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Open Source Systems: Grounding Research
by Hissam, Scott A.
Publication:
. XVI, 388 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Emerging Research in Web Information Systems and Mining
by Zhiguo, Gong.
Publication:
. XVI, 456 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Convergence and Hybrid Information Technology
by Lee, Geuk.
Publication:
. XVIII, 679 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Technology and Mobile Communication
by Das, Vinu V.
Publication:
. XVI, 519 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software and Data Technologies
by Cordeiro, José.
Publication:
. XIII, 291p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Knowledge Discovery, Knowlege Engineering and Knowledge Management
by Fred, Ana.
Publication:
. XIII, 411p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Software Engineering
by Kim, Tai-hoon.
Publication:
. XI, 340p. 108 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
S-BPM ONE – Setting the Stage for Subject-Oriented Business Process Management
by Buchwald, Hagen.
Publication:
. X, 149p. 63 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Enterprise Architecture, Integration and Interoperability
by Bernus, Peter.
Publication:
. XII, 177p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Open Source Software: New Horizons
by Ågerfalk, Pär.
Publication:
. XVII, 438p. 127 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Systems, Technology and Management
by Prasad, Sushil K.
Publication:
. XVI, 418p. 165 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Biomedical Engineering Systems and Technologies
by Fred, Ana.
Publication:
. Approx. 420 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|