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