Electronic Books

Total Books: 481 - 500 /532

Term Rewriting and Applications

This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...

Term Rewriting and Applications (vol. # 3467)

This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...

Testing of Software and Communicating Systems

This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...

Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...

Tests and Proofs

Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...

Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

This book covers the area of convergence of software proofing and testing and feature current research work that combines ...

Text Analytics : An Introduction to the Science and Applications of Unstructured Information Analysis / John Atkinson-Abutridy

A concise and accessible introduction to the science and applications of text analytics (or text mining), which enables automatic ...

Text Data Mining / Chengqing Zong, Rui Xia, Jiajun Zhang

Offers a detailed introduction to the fundamental theories and methods of text data mining, ranging from pre-processing (for ...

The Art of Artificial Evolution : A Handbook on Evolutionary Art and Music

This book gives an up-to-date survey of the relevant bioinspired computing research fields – such as evolutionary computation, ...

The Cellular Automaton Interpretation of Quantum Mechanics

The book presents examples of models that are classical in essence, but can be analysed by the use of quantum techniques, ...

The Impact of Automatic Store Replenishment on Retail

Companies in the fast moving consumer goods industry increasingly look for technologies to improve customer satisfaction ...

The LegalTech Book: The Legal Technology Handbook for Investors, Entrepreneurs and FinTech Visionaries / Susanne Chishti

Written by prominent thought leaders in the global fintech and legal space, The LegalTech Book aggregates diverse expertise ...

The Network(ed) Economy

In an increasingly globalized and networked world modern communication channels and new electronic media standards are constantly ...

The NeurIPS '18 Competition : From Machine Learning to Intelligent Conversations

This volume presents the results of the Neural Information Processing Systems Competition track at the 2018 NeurIPS conference. ...

The Semantic Web : Semantics for Data and Services on the Web

The Semantic Web is a vision – the idea of having data on the Web defined and linked in such a way that it can be used ...

The Semantic Web: Research and Applications

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

The Sense of Touch and its Rendering : Progress in Haptics Research

"Sense of Touch and its Rendering" presents a unique and interdisciplinary approach highlighting the field of haptic research ...

Theoretical Aspects of Computing - ICTAC 2004

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

Theoretical Aspects of Computing - ICTAC 2006

This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...

Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...

Total Books: 481 - 500 /532