Concurrency, compositionality, and correctness : , essays in honor of Willem-Paul De Roever /   Publication: New York : Springer, 2010 . x, 375 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /   Publication: Berlin : Springer, 2010 . xii, 230 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime verification : , First International Conference, RV 2010, St. Julians, November 1-4, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xiii, 492 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Compiler Construction : , 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. proceedings /   Publication: Berlin : Springer, 2010 . xii, 323 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, model checking, and abstract interpretation : , 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, proceedings /   Publication: Berlin : Springer, 2010 . x, 395 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Objects, models, components, patterns : , 48th International Conference, Tools 2010, M Laga, Spain, June 28 - July 2, 2010, proceedings /   Publication: Berlin : Springer, 2010 . x, 309 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Chinese Lexical Semantics by Liu, Pengyuan. Publication: . XVI, 718 p. 133 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data by Sun, Maosong. Publication: . XIV, 354 p. 87 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Access Evaluation. Multilinguality, Multimodality, and Visualization by Forner, Pamela. Publication: . XVIII, 370 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Flexible Query Answering Systems by Larsen, Henrik Legind. Publication: . XVI, 694 p. 208 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Nonlinear Speech Processing by Drugman, Thomas. Publication: . X, 217 p. 81 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Natural Language Processing and Information Systems by Métais, Elisabeth. Publication: . XV, 426 p. 84 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Artificial Intelligence by Zaïane, Osmar R. Publication: . XIV, 372 p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Language of Mathematics by Ganesalingam, Mohan. Publication: . XX, 260 p. 15 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Chinese Lexical Semantics by Ji, Donghong. Publication: . XVI, 838 p. 129 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Evaluation of Natural Language and Speech Tools for Italian by Magnini, Bernardo. Publication: . XIV, 339 p. 38 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Artificial Intelligence – IBERAMIA 2012 by Pavón, Juan. Publication: . XXVI, 745 p. 240 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Issues in Fluid Construction Grammar by Steels, Luc. Publication: . X, 331 p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics by Catarci, Tiziana. Publication: . XVI, 145 p. 36 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Controlled Natural Language by Kuhn, Tobias. Publication: . X, 190 p. 34 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 Next >>