//]]>
Formal Methods for Components and Objects by Boer, Frank S. Publication: . X, 339p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms for Sensor Systems by Scheideler, Christian. Publication: . X, 190p. 48 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Current Trends in Web Engineering by Daniel, Florian. Publication: . XXVII, 595p. 202 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Smart Sensing and Context by Lukowicz, Paul. Publication: . X, 203p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
On the Move to Meaningful Internet Systems: OTM 2010 Workshops by Meersman, Robert. Publication: . XXIX, 711p. 240 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Middleware 2010 by Gupta, Indranil. Publication: . XIII, 398p. 166 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
On the Move to Meaningful Internet Systems, OTM 2010 by Meersman, Robert. Publication: . XXII, 466p. 138 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
On the Move to Meaningful Internet Systems: OTM 2010 by Meersman, Robert. Publication: . XXII, 703p. 230 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ambient Intelligence by Ruyter, Boris. Publication: . XVII, 354p. 137 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Dong, Jin Song. Publication: . XIV, 712p. 202 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Dix, Jürgen. Publication: . IX, 197p. 40 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modelling Autonomic Communication Environments by Brennan, Rob. Publication: . X, 125p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Radio Frequency Identification: Security and Privacy Issues by Ors Yalcin, Siddika Berna. Publication: . X, 271p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming by Qin, Shengchao. Publication: . VIII, 310p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Barringer, Howard. Publication: . XIII, 492p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Smart Internet by Chignell, Mark. Publication: . XII, 319p. 86 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Autonomic and Trusted Computing by Xie, Bing. Publication: . XVII, 328p. 112 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing Software and Systems by Petrenko, Alexandre. Publication: . XII, 267p. 76 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Leveraging Applications of Formal Methods, Verification, and Validation by Margaria, Tiziana. Publication: . XV, 498p. 157 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Leveraging Applications of Formal Methods, Verification, and Validation by Margaria, Tiziana. Publication: . XX, 708p. 220 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart