Higher-Order Algebra, Logic, and Term Rewriting: First International ...
Jan Heering & Karl Meinke & Bernhard Möller & Tobias Nipkow
A Course in Real Analysis
Hugo D. Junghenn
The WordNet in Indian Languages
Pushpak Bhattacharyya & Niladri Sekhar Dash & Jyoti D. Pawar
Natural Language Processing for the Semantic Web
Diana Maynard & Kalina Bontcheva
Advanced Mathematical Methods for Scientists and Engineers I: ...
Carl M. Bender & Steven A. Orszag
Mobile Banking: Financial Services Meet the Electronic Wallet
Knowledge@Wharton