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