Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
This book cover theory, practice, applications, and experiences related to secure software.
اقرأ المزيد
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
This book cover theory, practice, applications, and experiences related to secure software.
اقرأ المزيد
Argumentation in Multi-Agent Systems (vol. # 3366)
The theory of argumentation is a rich, interdisciplinary area of research lying across philosophy, communication studies, ...
اقرأ المزيد
Argumentation in Multi-Agent Systems (vol. # 4049)
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Argumentation in Multi-Agent ...
اقرأ المزيد
Automated Deduction in Geometry
The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
اقرأ المزيد
Automated Deduction in Geometry
The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
اقرأ المزيد
Computational Logic in Multi-Agent Systems
Though multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing ...
اقرأ المزيد
Deontic Logic and Artificial Normative Systems
This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, ...
اقرأ المزيد
Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...
اقرأ المزيد
Formal Methods in Software and Systems Modeling
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...
اقرأ المزيد
Foundations of Information and Knowledge Systems
This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
اقرأ المزيد
Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
اقرأ المزيد
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 ...
اقرأ المزيد
Modeling and Using Context
This volume contains the papers presented at CONTEXT 2007, the Sixth International and Interdisciplinary Conference on Modeling ...
اقرأ المزيد
Principles and Practice of Semantic Web Reasoning (vol. # 3703)
Constitutes the refereed proceedings of the Third International Workshop on Principles and Practice of Semantic Web Reasoning, ...
اقرأ المزيد
Principles and Practice of Semantic Web Reasoning (vol. # 4187)
The papers in this volume represent the proceedings of the 4th International Workshop on Principles and Practice of Semantic ...
اقرأ المزيد
The Seventeen Provers of the World
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
اقرأ المزيد
Types for Proofs and Programs
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
اقرأ المزيد
Types for Proofs and Programs
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
اقرأ المزيد
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
اقرأ المزيد
