Electronic Books

Total Books: 1021 - 1040 /1131

The Routledge Dictionary of Pronunciation for Current English is the most up-to-date record of the pronunciation of British ...

Analysing the theory and practice of compiling dictionaries within the digital era, the 47 chapters address the core issues ...

This unique state-of-the-art volume offers a comprehensive, systematic discussion of second language (L2) writing and L2 ...

The papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial ...

This book constitutes the refereed proceedings of the 17th International Semantic Web Conference, ESWC 2020, held in Heraklion, ...

PrefaceThis volume contains the papers presented at the First International Seman-tic Web Conference (ISWC 2002) held in ...

The two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC ...

The two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC ...

Coverage includes semantic Web services, ontology learning, inference and mapping, social semantic Web, ontologies, personalization, ...

The book is organized in topical sections on agents, application ontologies, applications, formal languages, foundational ...

This analysis of language policy on Corsica provides the first study of the three levels of language policy existing on the ...

Assuming no prior knowledge of the subject, Yule presents information in bite-sized sections, clearly explaining the major ...

This book: • Provides an overview of words, word components and the rules by which components can and cannot be assembled ...

"The Testing Network" presents an integrated approach to testing based on cutting-edge methodologies, processes and tools ...

The Transfer and Diffusion of Information Technology for Organizational Reilience addresses the challenges faced by many ...

the demise of the logical positivism programme. The answers given to these qu- tions have deepened the already existing gap ...

Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...

This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...

This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...

International Colloquium on Theoretical Aspects of Computing. ICTAC was founded by the International Institute for Software ...

Total Books: 1021 - 1040 /1131