Relations and Kleene Algebra in Computer Science
This volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...
Continue reading
Relations and Kleene Algebra in Computer Science : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
The book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with ...
Continue reading
Reliability and Validity of International Large-Scale Assessment Understanding IEA’s Comparative Studies of Student Achievement
This book describes and reviews the development of the quality control mechanisms and methodologies associated with IEA’s ...
Continue reading
Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
Continue reading
Reliable Software Technologies - Ada Europe 2007
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Continue reading
Reliable Software Technologies - Ada-Europe 2002
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
Continue reading
Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Continue reading
Reliable Software Technologies -- Ada-Europe 2006
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Continue reading
Reliable Software Technology – Ada-Europe 2005
Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
Continue reading
Reliable Systems on Unreliable Networked Platforms
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
Continue reading
Religion in the Public Sphere: A Comparative Analysis of German, Israeli, American and International Law
How closely correlated should church and state be? May a state recognize or dignify the role and meaning of religion at all, ...
Continue reading
Remedies against Immunity? Reconciling International and Domestic Law after the Italian Constitutional Court’s Sentenza 238/2014
The book examines the consequences of the Italian Constitutional Court’s Judgment 238/2014 which denied the German Republic’s ...
Continue reading
Remote C-H Bond Functionalizations: Methods and Strategies in Organic Synthesis / Debabrata Maiti
Featuring contributions by an international team of experts, this authoritative volume provides deep insight into distal ...
Continue reading
Requirements Engineering: Foundation for Software Quality
This book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: ...
Continue reading
Requirements Engineering: Foundation for Software Quality : 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings
This book is organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative ...
Continue reading
Rescuing the Enlightenment from Itself
Rescuing the Enlightenment from Itself: Critical and Systemic Implications for Democracy presents papers that make the case ...
Continue reading
Research and Development in Intelligent Systems XXIV : Proceedings of AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
They present new and innovative developments in the field, divided into sections on Constraint Satisfaction, AI Techniques, ...
Continue reading
Research and Practical Issues of Enterprise Information Systems
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
Research and Practical Issues of Enterprise Information Systems II : IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007) October 14–16, 2007, Beijing, China
This book includes: foundations of computer science; software theory and practice; education; computer applications in technology; ...
Continue reading
Research and Practical Issues of Enterprise Information Systems II : Volume 2 IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007) October 14–16, 2007, Beijing, China
This book includes: foundations of computer science; software theory and practice; education; computer applications in technology; ...
Continue reading
