|
|
User-Level Workflow Design
by Lamprecht, Anna-Lena.
Publication:
. XXII, 223 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modeling
by Ng, Wilfred.
Publication:
. XXVIII, 514 p. 165 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model-Driven Engineering Languages and Systems
by Moreira, Ana.
Publication:
. XXVIII, 792 p. 299 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tests and Proofs
by Veanes, Margus.
Publication:
. X, 233 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model-Based Methodologies for Pervasive and Embedded Software
by Machado, Ricardo J.
Publication:
. X, 139 p. 61 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Aspect-Oriented Software Development IX
by Leavens, Gary T.
Publication:
. XIV, 307 p. 97 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),
|
|
|
Model Driven Engineering Languages and Systems
by France, Robert B.
Publication:
. XX, 828 p. 298 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tests and Proofs
by Brucker, Achim D.
Publication:
. X, 177p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Models in Software Engineering
by Kienzle, Jörg.
Publication:
. X, 292 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation
by Ayala, José L.
Publication:
. XI, 352p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Static Analysis
by Yahav, Eran.
Publication:
. XII, 387 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Languages, Methodologies, and Development Tools for Multi-Agent Systems
by Dastani, Mehdi.
Publication:
. IX, 153 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Aspect-Oriented Software Development VIII
by Katz, Shmuel.
Publication:
. XIII, 221 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Models in Software Engineering
by Dingel, Juergen.
Publication:
. XII, 416p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Swart, Harrie.
Publication:
. VIII, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation
by Leuken, René.
Publication:
. XII, 260p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model-Based Engineering of Embedded Real-Time Systems
by Giese, Holger.
Publication:
. XV, 385p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Static Analysis
by Cousot, Radhia.
Publication:
. XI, 473p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Models in Software Engineering
by Ghosh, Sudipto.
Publication:
. X, 360p. 139 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|