//]]>
Unhighlight Highlight
On the Move to Meaningful Internet Systems: OTM 2011 by Meersman, Robert. Publication: . XXVIII, 430 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
On the Move to Meaningful Internet Systems: OTM 2011 by Meersman, Robert. Publication: . XXVII, 407 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agents in Principle, Agents in Practice by Kinny, David. Publication: . XIII, 534 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
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
Algorithms and Architectures for Parallel Processing by Xiang, Yang. Publication: . XVIII, 411p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Architectures for Parallel Processing by Xiang, Yang. Publication: . XVIII, 497p. 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
Advances in Conceptual Modeling. Recent Developments and New Directions by Troyer, Olga. Publication: . XX, 396p. 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
Stabilization, Safety, and Security of Distributed Systems by Défago, Xavier. Publication: . XIV, 452 p. 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
Automated Technology for Verification and Analysis by Bultan, Tevfik. Publication: . XIV, 532 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Safety, Reliability, and Security by Flammini, Francesco. Publication: . XI, 482p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logistics by Böse, Jürgen W. Publication: . XI, 371 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Datalog Reloaded by Moor, Oege. Publication: . VIII, 399p. 52 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation by Ayala, José L. Publication: . XI, 352p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 Next >>
Languages: 
English |
العربية