|
|
Rewriting Logic and Its Applications
by Durán, Franciso.
Publication:
. VIII, 241 p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modeling
by Atzeni, Paolo.
Publication:
. XX, 592 p. 206 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:
. XVIII, 402 p. 138 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),
|
|
|
Model Driven Engineering Languages and Systems
by France, Robert B.
Publication:
. XX, 828 p. 298 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Transformations
by Ehrig, Hartmut.
Publication:
. XII, 427 p. 166 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),
|
|
|
Computational Methods in Systems Biology
by Gilbert, David.
Publication:
. XII, 396 p. 145 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),
|
|
|
Stabilization, Safety, and Security of Distributed Systems
by Richa, Andréa W.
Publication:
. XIX, 330 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Advances in the Message Passing Interface
by Träff, Jesper Larsson.
Publication:
. XVI, 302 p. 108 illus.
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),
|
|
|
Reachability Problems
by Finkel, Alain.
Publication:
. XII, 149 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|