Massively Multi-Agent Systems I
This book originates from the First International Workshop on Massively Multi-Agent Systems, MMAS 2004, held in Kyoto, Japan ...
Lee mas
Matematica generale con il calcolatore
Questo libro è nato dall'esperienza del corso di Matematica Generale all'Università Bocconi. Nel presentare gli oggetti ...
Lee mas
Mathematical Foundations of Computer Science 2006
This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer ...
Lee mas
Mathematical Foundations of Computer Science 2007
This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer ...
Lee mas
Mathematical Foundations of Computer Science 2008 : 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer ...
Lee mas
Mathematical Knowledge Management (vol. # 4108)
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, ...
Lee mas
Mathematical Linguistics
Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians ...
Lee mas
Mathematical Problems from Applied Logic I
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of ...
Lee mas
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
Meaning and Use
The second Jerusalem Philosophical Encounter was held in Jerusalem on April 25-28, 1976, The topic of the symposiumwas Meaning ...
Lee mas
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
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 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 ...
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
