Rethinking Productivity in Software Engineering
Rethinking Productivity in Software Engineering, includes chapters covering definitions and core concepts related to productivity, ...
Lee mas
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 ...
Lee masRhythm and Transforms
People quite naturally identify the rhythmic structure of music as they tap their feet and sway in time with the beat. Underlying ...
Lee mas
Rough Sets and Current Trends in Computing : 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings
This book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...
Lee mas
Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
Lee mas
Scalable Uncertainty Management : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings
The book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical ...
Lee mas
Social Geographies of Educational Change
Social Geographies, as spatial location, is a factor relevant to understanding the variety of people’s interpretations ...
Lee mas
Software Architecture : Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
Lee mas
Software Composition : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
The goal of the International Symposia on Software Composition is to advance the state of the research in component-based ...
Lee mas
Software and Data Technologies : First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
This book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, ...
Lee mas
Software-Intensive Systems and New Computing Paradigms : Challenges and Visions
The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
Lee mas
Sovereignty and Interpretation of International Norms
This work contents a comprehensive and critic approach to international judicial and arbitral case law concerning interpretation ...
Lee mas
Spatial Cognition VI. Learning, Reasoning, and Talking about Space : International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings
This book includes spatial orientation, spatial navigation, spatial learning, maps and modalities, spatial communication, ...
Lee mas
State Responsibility for Interferences with the Freedom of Navigation in Public International Law
The book analyses all relevant compensation provisions and compares them to the general law of state responsibility. This ...
Lee mas
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lee mas
Studies in Hebrew Language and Jewish Culture
The articles presented here include studies in Rabbinics, Classical Hebrew linguistics, early Hebrew-Greek glossary, Hebrew ...
Lee mas
Technical Translation
This book is an introduction to technical translation and usability for translators and researchers. It draws on a broad ...
Lee mas
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Lee mas
Testing and Tuning Market Trading Systems : Algorithms in C++ / Timothy Masters
Build, test, and tune financial, insurance or other market trading systems using C++ algorithms and statistics. This book ...
Lee mas
Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
Lee mas
