Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. ...
اقرأ المزيد
Progress in Artificial Intelligence
This book constitutes the refereed proceedings of the 20th EPIA Conference on Artificial Intelligence, EPIA 2021, held virtually ...
اقرأ المزيد
Progress in Spatial Data Handling
The series of International Symposia on Spatial Data Handling started in Zurich, Switzerland, in 1984. Since then it has ...
اقرأ المزيد
Provenance and Annotation of Data and Processes : Second International Provenance and Annotation Workshop, IPAW 2008, Salt Lake City, UT, USA, June 17-18, 2008. Revised Selected Papers
This book is organized in topical sections on provenance: models and querying; provenance: visualization, failures, identity; ...
اقرأ المزيد
Quality of Information and Communications Technology
This book constitutes the refereed proceedings of the 13th International Conference on the Quality of Information and Communications ...
اقرأ المزيد
Rapid Integration of Software Engineering Techniques (vol. # 3943)
This book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Rapid Integration of ...
اقرأ المزيد
Reasoning Web (vol. # 3564)
This volume contains the tutorial papers of the Summer School “Reasoning Web,”July25–29,2005(http://reasoningweb. org). ...
اقرأ المزيد
Reasoning Web (vol. # 4126)
This book presents thoroughly arranged tutorial papers corresponding to lectures given by leading researchers at the Second ...
اقرأ المزيد
Reasoning Web : 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
This book is presented provide competent coverage of methods and major application areas such as social networks, semantic ...
اقرأ المزيد
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
اقرأ المزيد
Reversible Computation
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
اقرأ المزيد
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
اقرأ المزيد
Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
اقرأ المزيد
Rewriting, Computation and Proof
This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...
اقرأ المزيد
Rigid Flexibility
While most of the current works in Artificial Intelligence (AI) focus on individual aspects of intelligence and cognition, ...
اقرأ المزيد
Roots and Patterns
This book is simultaneously a theoretical study in morphosyntax and an in-depth empirical study of Hebrew. Based on Hebrew ...
اقرأ المزيد
Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
اقرأ المزيد
SDL 2001: Meeting UML
This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...
اقرأ المزيد
SDL 2005: Model Driven
This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...
اقرأ المزيد
SDL 2007: Design for Dependable Systems
Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...
اقرأ المزيد
