//]]>
Unhighlight Highlight
NETWORKING 2011 Workshops by Casares-Giner, Vicente. Publication: . XVI, 290p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Data Management in Grid and Peer-to-Peer Systems by Hameurlain, Abdelkader. Publication: . X, 135 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Trends in Functional Programming by Page, Rex. Publication: . X, 215 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Smart Spaces and Next Generation Wired/Wireless Networking by Balandin, Sergey. Publication: . XVI, 634 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Eekelen, Marko. Publication: . XI, 383 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Towards a Service-Based Internet. ServiceWave 2010 Workshops by Cezon, Michel. Publication: . XXIX, 209 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
ECOOP 2011 – Object-Oriented Programming by Mezini, Mira. Publication: . XIV, 660p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agent-Oriented Software Engineering XI by Weyns, Danny. Publication: . X, 249 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Descriptional Complexity of Formal Systems by Holzer, Markus. Publication: . X, 329p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Hybrid Deliberative Layer for Robotic Agents by Hartanto, Ronny. Publication: . XXII, 215 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rule-Based Reasoning, Programming, and Applications by Bassiliades, Nick. Publication: . XIII, 385 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ad-hoc, Mobile, and Wireless Networks by Frey, Hannes. Publication: . XI, 361p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction – CADE-23 by Bjørner, Nikolaj. Publication: . XIII, 508 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering Techniques by Huzar, Zbigniew. Publication: . XI, 291 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Leite, João. Publication: . XV, 383 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Checking Software by Groce, Alex. Publication: . X, 195p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning with Analytic Tableaux and Related Methods by Brünnler, Kai. Publication: . VIII, 279p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Verification by Gopalakrishnan, Ganesh. Publication: . XV, 763p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Composition by Apel, Sven. Publication: . VIII, 181p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Aspect-Oriented Software Development VIII by Katz, Shmuel. Publication: . XIII, 221 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 Next >>