Electronic Books

Total Books: 361 - 380 /603

Mechanizing Mathematical Reasoning

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...

Membrane Computing (vol. # 3850)

The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics ...

Microformats: Empowering Your Markup for Web 2.0

This book is a comprehensive guide to microformats. It explores why—in Bill Gates' words—"We need microformats," how ...

Minimal English for a Global World : Improved Communication Using Fewer Words / Cliff Goddard

This book introduces a new tool for improving communication and promoting clearer thinking in a world where the use of Global ...

Modalities and Multimodalities

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...

Model Checking Software

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...

Model Driven Architecture and Ontology Development

Gaševic and his co-authors try to fill this gap by covering the subject of MDA application for ontology development on the ...

Model Driven Engineering Languages and Systems (vol. # 4199)

This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...

Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...

Model-Based Reasoning in Science, Technology, and Medicine

The volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and ...

Modeling Semantic Web Services : The Web Service Modeling Language

In this book, Jos de Bruijn and his coauthors lay the foundations for understanding the requirements that shape the description ...

Modeling and Management of Fuzzy Semantic RDF Data / Zongmin Ma, Guanfeng Li, Ruizhe Ma

Presents the latest research findings in fuzzy RDF data modeling and management. Fuzziness widely exist in many data and ...

Modeling and Retrieval of Context

Computing in context has become a necessity in modern and intelligent IT - plications. With the use of mobile devices and ...

Modelling Distributed Systems

Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties ...

Modelling and Reasoning with Vague Concepts

This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...

Models in Software Engineering

This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...

Modular Programming Languages

On behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference ...

Morphosemantic Number: From Kiowa Noun Classes To UG Number Features

This volume presents: the foundations of a unified morphosemantic theory of number; insight into the flow of information ...

Multi-Agent Programming

Part I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. ...

Multi-Agent Systems and Applications V

The technical research paper section of the proceedingscontains pure - search papers as well as research results in application ...

Total Books: 361 - 380 /603