|
|
Programming Languages and Systems
by Yang, Hongseok.
Publication:
. XI, 372p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Components and Objects
by Aichernig, Bernhard K.
Publication:
. VII, 393p. 145 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Empirical Software Engineering and Verification
by Meyer, Bertrand.
Publication:
. VII, 213 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods, Foundations and Applications
by Simao, Adenilso.
Publication:
. X, 205 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling: Actors, Open Systems, Biological Systems
by Agha, Gul.
Publication:
. XX, 447 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rule - Based Modeling and Computing on the Semantic Web
by Olken, Frank.
Publication:
. XVIII, 313p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Decision Theory
by Brafman, Ronen I.
Publication:
. XI, 345 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Towards a Service-Based Internet
by Abramowicz, Witold.
Publication:
. XVII, 338p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Performance Engineering
by Thomas, Nigel.
Publication:
. XII, 341p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering and Formal Methods
by Barthe, Gilles.
Publication:
. XIV, 504p. 154 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modeling – ER 2011
by Jeusfeld, Manfred.
Publication:
. XIX, 530p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multiagent System Technologies
by Klügl, Franziska.
Publication:
. X, 197 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing Software and Systems
by Wolff, Burkhart.
Publication:
. X, 226p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods and Software Engineering
by Qin, Shengchao.
Publication:
. XIV, 670p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Driven Engineering Languages and Systems
by Whittle, Jon.
Publication:
. XX, 730 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Scholz, Sven-Bodo.
Publication:
. X, 291p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Advances in the Message Passing Interface
by Cotronis, Yiannis.
Publication:
. XIV, 358 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Salaün, Gwen.
Publication:
. X, 261 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Network and Parallel Computing
by Altman, Erik.
Publication:
. XIII, 368 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Bultan, Tevfik.
Publication:
. XIV, 532 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|