Electronic Books

Total Books: 1181 - 1200 /1548

Reasoning, Action and Interaction in AI Theories and Systems

The present book is a festschrift in honor of Luigia Carlucci Aiello. The 18 articles included are written by former students, ...

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 ...

Recent Challenges in Intelligent Information and Database Systems : 13th Asian Conference, ACIIDS 2021, Phuket, Thailand, April 7–10, 2021, Proceedings

This volume constitutes the refereed proceedings of the 13th Asian Conference on Intelligent Information and Database Systems, ...

Reconfigurable Computing

By mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance increases ...

Reconfigurable Computing: Architectures, Tools and Applications : 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings

The idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...

Reference Modeling

Reusability of information models has been discussed in science and practice for many years. Reference models are information ...

Reflections on the Teaching of Programming : Methods and Implementations

The book addressed span a wide range of problems and solutions associated with the teaching of programming such as introductory ...

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 ...

Regulated Bioanalysis: Fundamentals and Practice / Mario L. Rocci Jr., Stephen Lowes

Covers the fundamental and practical aspects of regulated bioanalysis. The editors are seeking leading scientists in the ...

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 2002

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...

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 ...

Total Books: 1181 - 1200 /1548