Electronic Books

Total Books: 161 - 180 /229
978-1-4020-5646-8
Radiation Effects on Embedded Systems

Radiation Effects on Embedded Systems aims at providing the reader with the major guidelines for coping with radiation effects ...

Continue reading
978-3-540-71876-5
Rapid Integration of Software Engineering Techniques

RISE 2006 constituted an international forum for researchers and practitioners interestedintheadvancementandrapidapplicationofnovel,integrated,orpr-ticalsoftwareengineeringapproaches,beingpartofamethodologicalframework, ...

Continue reading
978-3-540-32039-5
Rapid Integration of Software Engineering Techniques (vol. # 3475)

This paper reports on the experiences of integrating several Software Engineering techniques by the Rapid Prototyping group of ...

Continue reading
978-3-540-77583-6
Rationale-Based Software Engineering

Many decisions are required throughout the software development process. These decisions, and to some extent the decision-making ...

Continue reading
978-981-15-3492-8
Reading Success in the Primary Years An Evidence-Based Interdisciplinary Approach to Guide Assessment and Intervention

This book describes the Reading Success project, in which a 5-step, assessment-to- intervention process, based on the Simple ...

Continue reading
978-3-540-71998-4
Recent Trends in Algebraic Development Techniques

This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...

Continue reading
978-1-4020-6536-1
Robustness and Usability in Modern Design Flows

The size of technically producible integrated circuits increases continuously. But the ability to design and verify these ...

Continue reading
978-3-540-77395-5
Runtime Verification

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

Continue reading
978-3-540-31539-1
SDL 2005: Model Driven

This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...

Continue reading
978-3-540-74984-4
SDL 2007: Design for Dependable Systems

Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...

Continue reading
978-1-4020-3120-5
Small-scale Freshwater Toxicity Investigations

This broad review is the first to gather comprehensive information on the complete contemporary range of toxicity testing ...

Continue reading
978-1-4020-3553-1
Small-scale Freshwater Toxicity Investigations

Contains 11 chapters on hazard assessment schemes. This work allows readers to know the different approaches/strategies, ...

Continue reading
978-3-540-77070-1
Smart Driver Training Simulation : Save Money. Prevent.

This manual brings together the basic principles of education and training, modeling, task description and analysis, and ...

Continue reading
978-3-030-11991-1
Socioeconomic Inequality and Educational Outcomes

Education systems generally aim to narrow the achievement gap between low- and high-SES students and to improve the performance ...

Continue reading
978-3-540-88030-1
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, ...

Continue reading
978-3-540-75381-0
Software Process Improvement

This book constitutes the refereed proceeding of the 14th European Software Process Improvement Conference, EuroSPI 2007, ...

Continue reading
978-3-540-32271-9
Software Process Improvement

Constitutes the refereed proceeding of the 12th European Software Process Improvement Conference, EuroSPI 2005, held in Budapest, ...

Continue reading
978-3-540-85553-8
Software Process and Product Measurement : International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers

The book deal with aspects of software measurement like function-points measurement, effort and cost estimates, prediction, ...

Continue reading
978-3-540-89403-2
Software Process and Product Measurement : International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings

This book includes : estimation models, measurement methodology, effort estimation, measurement programs, new approaches, ...

Continue reading
978-3-540-28901-2
Software Product Line Engineering

Software Product Line Engineering Are you interested in producing software products or software-intensive systems at lower ...

Continue reading
Total Books: 161 - 180 /229