//]]>
Unhighlight Highlight
Social Robotics by Mutlu, Bilge. Publication: . XV, 237p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Certified Programs and Proofs by Jouannaud, Jean-Pierre. Publication: . XV, 401p. 87 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Yang, Hongseok. Publication: . XI, 372p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
RFID. Security and Privacy by Juels, Ari. Publication: . X, 260p. 50 illus. 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
SDL 2011: Integrating System and Software Modeling by Ober, Iulian. Publication: . VIII, 277p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Computing and Applications by Liu, Baoxiang. Publication: . XVIII, 775 p. 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
Ambient Intelligence by Keyson, David V. Publication: . XVI, 383 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
On the Move to Meaningful Internet Systems: OTM 2011 Workshops by Meersman, Robert. Publication: . XXXIV, 665 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: . 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
Automated Deduction in Geometry by Schreck, Pascal. Publication: . X, 259 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 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
Algebraic Foundations in Computer Science by Kuich, Werner. Publication: . X, 363 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Security by Lai, Xuejia. Publication: . XIII, 388 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
<< Previous 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 Next >>