Mathematical Problems from Applied Logic I
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of ...
Lee mas
Mathematics of Program Construction
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
Lee mas
Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Lee mas
Membrane Computing (vol. # 3850)
The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Modalities and Multimodalities
In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...
Lee mas
Model Checking Software
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
Lee mas
Model Driven Engineering Languages and Systems (vol. # 4199)
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...
Lee mas
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. ...
Lee masModel-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 ...
Lee mas
Modelling Distributed Systems
Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties ...
Lee mas
Modelling and Reasoning with Vague Concepts
This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...
Lee mas
Models in Software Engineering
This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...
Lee mas
Modular Programming Languages
On behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference ...
Lee mas
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 ...
Lee mas
Multi-Agent Programming
Part I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. ...
Lee mas
Multimedia Semantics - The Role of Metadata
This book gives an overview on fundamental issues within the field of multimedia metadata focusing on contextualized, ubiquitous, ...
Lee mas
Multimodal Processing and Interaction : Audio, Video, Text
Multimodal Processing and Interaction: Audio, Video and Text presents high quality, state-of-the-art research ideas and results ...
Lee mas
Multiple-Aspect Analysis of Semantic Trajectories First International Workshop, MASTER 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Proceedings
This book constitutes the refereed post-conference proceedings of the First International Workshop on Multiple-Aspect Analysis ...
Lee mas
