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 Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers
This book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...
اقرأ المزيد
Recent Advances in Formal Languages and Applications
This volume contains areas, mainly applications, which have not appeared in any collection of this type. The book representing ...
اقرأ المزيد
Recent Advances in Parallel Virtual Machine and Message Passing Interface : 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings
This book is organized in topical sections on applications, collective operations, library internals, message passing for ...
اقرأ المزيد
Reconfigurable Computing
By mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance increases ...
اقرأ المزيد
Regular Expression Recipes for Windows Developers
Regular expressions are an essential part of programming, but they can be difficult to cope with. Enter Regular Expression ...
اقرأ المزيد
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) ...
اقرأ المزيد
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 ...
اقرأ المزيد
Reliable Software Technologies - Ada Europe 2007
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
اقرأ المزيد
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 ...
اقرأ المزيد
Reliable Software Technologies -- Ada-Europe 2006
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
اقرأ المزيد
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 ...
اقرأ المزيد
Remnant Raising and Vso Clausal Architecture
San Lucas Quiaviní Zapotec, an endangered and little-examined indigenous language of Mexico, shows a range of syntactic ...
اقرأ المزيد
Representation Learning for Natural Language Processing
This book provides an overview of the recent advances in representation learning theory, algorithms and applications for ...
اقرأ المزيد
Requirements Engineering
Essentially, this is an update that places more emphasis on modelling by describing a greater range of approaches to system ...
اقرأ المزيد
Requirements Engineering: Foundation for Software Quality
This book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: ...
اقرأ المزيد
Research Genres Across Languages : Multilingual Communication Online / Carmen Pérez-Llantada
This book takes the perspective of genre analysis to provide a timely examination of professional and public communication ...
اقرأ المزيد
Research and Advanced Technology for Digital Libraries (vol. # 3652)
This book constitutes the refereed proceedings of the 9th European Conference on Research and Advanced Technology for Digital ...
اقرأ المزيد
Research and Advanced Technology for Digital Libraries (vol. # 4172)
This book constitutes the refereed proceedings of the proceedings of the 10thEuropean Conference onDigital Libraries (ECDL ...
اقرأ المزيد
Rethinking Productivity in Software Engineering
Rethinking Productivity in Software Engineering, includes chapters covering definitions and core concepts related to productivity, ...
اقرأ المزيد
