|
|
Architecting Dependable Systems VII
by Casimiro, Antonio.
Publication:
. XII, 324p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Components and Objects
by Boer, Frank S.
Publication:
. X, 339p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modeling – ER 2010
by Parsons, Jeffrey.
Publication:
. XIV, 490p. 163 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Driven Engineering Languages and Systems
by Petriu, Dorina C.
Publication:
. XXI, 422p. 162 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Bouajjani, Ahmed.
Publication:
. VIII, 404p. 112 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
New Modeling Concepts for Today’s Software Processes
by Münch, Jürgen.
Publication:
. XIV, 382p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ECOOP 2010 – Object-Oriented Programming
by D’Hondt, Theo.
Publication:
. XIII, 599p. 196 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),
|
|
|
Formal Methods for Quantitative Aspects of Programming Languages
by Aldini, Alessandro.
Publication:
. VII, 169p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verification, Model Checking, and Abstract Interpretation
by Barthe, Gilles.
Publication:
. X, 397p. 105 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Hung, Dang.
Publication:
. XIV, 528 p. 115 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),
|
|
|
Open Source Systems: Grounding Research
by Hissam, Scott A.
Publication:
. XVI, 388 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Systems, Software and Service Process Improvement
by O‘Connor, Rory V.
Publication:
. XVI, 309p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software and Data Technologies
by Cordeiro, José.
Publication:
. XIII, 291p.
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),
|
|
|
Systems, Software and Services Process Improvement
by Riel, Andreas.
Publication:
. XIII, 303p. 67 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),
|
|
|
Business Process Technology
by Draheim, Dirk.
Publication:
. XVII, 306p. 122 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Patterns, Programming and Everything
by Breitman, Karin K.
Publication:
. XII, 175p. 37 illus., 28 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|