Electronic Books

Total Books: 741 - 760 /990

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

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

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

Requirements Management : The Interface Between Requirements Development and All Other Systems Engineering Processes

Requirements Management has proven itself to be an enormous potential for the optimization of development projects throughout ...

Rethinking Productivity in Software Engineering

Rethinking Productivity in Software Engineering, includes chapters covering definitions and core concepts related to productivity, ...

Reuse of Off-the-Shelf Components

Software reuse as an umbrella concept has been around for several decades. Over time, new techniques and approaches have ...

Reversible Computation

This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...

Reversible Computation

This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...

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

Rightshore! : Successfully SAP(R) Projects Offshore

At a time when business demands urge companies to innovate and CIOs face increasing cost pressures, offshore delivery offers ...

Rigorous Development of Complex Fault-Tolerant Systems

This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...

RoboCup 2007: Robot Soccer World Cup XI

The book presented at the symposium focused on topics related to these three events and to artificial intelligence and robotics ...

Rule Representation, Interchange and Reasoning on the Web : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...

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

S-BPM in the Production Industry

This volume presents several case studies highlighting the latest findings in Industry 4.0 projects utilizing S-BPM features. ...

S-BPM in the Wild : Practical Value Creation

This is the first book to present field studies on the application of subject-oriented business process management (S-BPM). ...

SAT 2005

This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...

SCJD Exam with J2SE 5

You already know how crucial certification is within the Java community. SCJD Exam with J2SE 5, Second Edition is a valuable ...

Total Books: 741 - 760 /990