Electronic Books

Total Books: 61 - 80 /91
978-3-540-69566-0
Product-Focused Software Process Improvement: 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings

The papers address different development modes, roles in the value chain, stakeholders’ viewpoints, collaborative development, ...

Continue reading
978-3-030-44914-8
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...

Continue reading
978-3-030-72019-3
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

This book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...

Continue reading
978-3-030-64492-5
Quality Management and Accreditation in Hematopoietic Stem Cell Transplantation and Cellular Therapy The JACIE Guide

This book provides a concise yet comprehensive overview on how to build a quality management program for hematopoietic stem ...

Continue reading
978-3-540-77819-6
RESPACE ¿ Key Technologies for Reusable Space Systems : Results of a Virtual Institute Programme of the German Helmholtz-Association, 2003 – 2007

This volume contains the main results of the three years study (2003 - 2007) of the Virtual Institute RESPACE (Key Technologies ...

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
NoIMG
Re-engineering the Uptake of ICT in Schools

This book reports on a novel and comprehensive approach to the uptake of ICT in Schools. It focuses on key questions, pedagogically ...

Continue reading
978-3-540-68476-3
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 ...

Continue reading
978-3-540-88808-6
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 ...

Continue reading
978-3-540-32032-6
Scenarios: Models, Transformations and Tools

Visual notations and languages continue to play a pivotal role ˆ in the design of complex software systems. In many cases ...

Continue reading
NoIMG
Secondary Analysis of Electronic Health Records

This book trains the next generation of scientists representing different disciplines to leverage the data generated during ...

Continue reading
978-1-84628-692-6
Semantics with Applications: An Appetizer

Semantics will have an important role to play in the future development of software systems and domain specific languages, ...

Continue reading
978-3-030-58768-0
Software Engineering and Formal Methods

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...

Continue reading
978-3-540-73131-3
Software Engineering for Multi-Agent Systems V

Software is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. ...

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-47833-1
Software Product-Family Engineering

This book contains the proceedings of the Fourth International Workshop on Product Family Engineering, PFE-4, held in Bilbao, ...

Continue reading
978-3-540-75664-4
Software Technologies for Embedded and Ubiquitous Systems

This book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software ...

Continue reading
978-0-387-47939-2
Software Verification and Validation

Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need ...

Continue reading
978-3-540-70571-0
Standardization and Quality Assurance in Fluorescence Measurements II : Bioanalytical and Biomedical Applications

This second of two volumes covers applications of fluorescence for bioanalysis and biomedical diagnostics.

Continue reading
978-1-84628-145-7
System-level Test and Validation of Hardware

New manufacturing technologies have made possible the integration of entire systems on a single chip. This new design paradigm, ...

Continue reading
Total Books: 61 - 80 /91