Electronic Books

Total Books: 1 - 20 /29

Component-based software development regards software construction in terms of conventional engineering disciplines where ...

This book discussed a range of challenges in embedded systems design that require further major advances in software and ...

This book discussed a range of challenges in embedded systems design that require further major advances in software and ...

In this concise yet comprehensive textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems ...

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...

This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures ...

The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...

The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...

The book promotes development scalability through domain partitioning and subdomain partitioning. It also explores software ...

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...

This open access book examines the methodological complications of using complexity science concepts within the social science ...

This book describes new, model based teaching methods for science instruction. It presents research that describes these ...

This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...

Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...

The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...

This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...

Geostatistics is concerned with estimation and prediction problems for spatially continuous phenomena, using data obtained ...

Total Books: 1 - 20 /29