|
|
Testing Software and Systems
by Petrenko, Alexandre.
Publication:
. XII, 267p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Morazán, Marco T.
Publication:
. IX, 237p. 107 illus.
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),
|
|
|
Rewriting Logic and Its Applications
by Ölveczky, Peter Csaba.
Publication:
. X, 264p. 44 illus.
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),
|
|
|
Integrated Formal Methods
by Méry, Dominique.
Publication:
. X, 337p. 110 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by Fermüller, Christian G.
Publication:
. XII, 656p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multiagent System Technologies
by Dix, Jürgen.
Publication:
. XII, 221p. 81 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Aspect-Oriented Software Development VII
by Katz, Shmuel.
Publication:
. XV, 423p. 234 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hybrid Metaheuristics
by Blesa, María J.
Publication:
. X, 223p. 43 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Performance Engineering
by Aldini, Alessandro.
Publication:
. X, 286p. 100 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),
|
|
|
Automated Technology for Verification and Analysis
by Bouajjani, Ahmed.
Publication:
. VIII, 404p. 112 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Business Process Management
by Hull, Richard.
Publication:
. XIII, 359p. 140 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing – Practice and Research Techniques
by Bottaci, Leonardo.
Publication:
. XIII, 219p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundational and Practical Aspects of Resource Analysis
by Eekelen, Marko.
Publication:
. 170p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Chatterjee, Krishnendu.
Publication:
. X, 257p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verified Software: Theories, Tools, Experiments
by Leavens, Gary T.
Publication:
. X, 217p. 68 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unifying Theories of Programming
by Butterfield, Andrew.
Publication:
. IX, 279p.
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),
|
|