Electronic Books

Total Books: 41 - 60 /215

Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Cooperative Bug Isolation

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...

Cooperative Bug Isolation

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...

Defect-Oriented Testing for Nano-Metric CMOS VLSI Circuits

Failures of nano-metric technologies owing to defects and shrinking process tolerances give rise to significant challenges ...

Dependable Systems: Software, Computing, Networks

The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...

Design Automation Methods and Tools for Microfluidics-Based Biochips

Design Automation Methods and Tools for Microfluidics-Based Biochips deals with all aspects of design automation for microfluidics-based ...

Design of Systems on a Chip

Design of Systems on a Chip: Design&Test is the second of two volumes addressing the design challenges associated with new ...

DevOps for Digital Leaders : Reignite Business with a Modern DevOps-Enabled Software Factory

In DevOps for Digital Leaders, deep collective experience on both sides of the dev–ops divide informs the global thought ...

Drug Safety Evaluation : Methods and Protocols / Jean-Charles Gautier

Focuses on the most recent advances in the field of drug safety evaluation. Divided into seven parts, chapters detail specific ...

Drug Testing in Alternate Biological Specimens

Drug Testing in Alternate Biological Specimens provides researchers and forensic toxicologists with a convenient general ...

Dynamic Characterisation of Analogue-to-Digital Converters

Dynamic Characterisation of Analogue-to-Digital Converters presents a state of the art overview of the methods and procedures ...

Dynamic Regression Models for Survival Data

This book studies and applies modern flexible regression models for survival data with a special focus on extensions of the ...

Dynamic Regression Models for Survival Data

This book studies and applies modern flexible regression models for survival data with a special focus on extensions of the ...

EC2ND 2005

This book contains the proceedings of the First European Conference on Computer Network Defence which took place in December ...

ECOOP 2008 - Object-Oriented Programming : 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

This book constitutes the refereed proceedings of the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, ...

Early Aspects: Current Challenges and Future Directions

Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...

Early Aspects: Current Challenges and Future Directions

Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...

Effective Functional Verification

Effective Functional Verification is organized into 4 parts. The first part contains 3 chapters designed appeal to newcomers ...

Total Books: 41 - 60 /215