This is the first volume of a two-volume work which summarizes in an edited format and in a fairly comprehensive manner many of the recent technical research accomplishments in the area of Elastomers. “Advances in Elastomers†discusses the various attempts reported on solving these problems from the point of view of the chemistry and the structure of elastomers, highlighting the dra…
This is the second volume of a two-volume work which summarizes in an edited format and in a fairly comprehensive manner many of the recent technical research accomplishments in the area of Elastomers. “Advances in Elastomers†discusses the various attempts reported on solving these problems from the point of view of the chemistry and the structure of elastomers, highlighting the dr…
No Inv.: 107099/S/Perp/06/1c
No Inv.: 106962/S/Perp/06/1c
No Inv.: 109160/S/Perp/07/1c
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aer…
No Inv.: 113093/S/Perp/08/1c
Specification of Drug Substances and Products: Development and Validation of Analytical Methods is a comprehensive and critical analysis of the requirements and approaches to setting specifications for new pharmaceutical products, with an emphasis on phase-appropriate development and validation of analytical methods. This book is intended as more than a review of new regional guidelines, existi…
No Inv.: 114113/P/Perp/08/1c
Evolutionary algorithms is a class of randomized heuristics inspired by natural evolution. They are applied in many different contexts, in particular in optimization, and analysis of such algorithms has seen tremendous advances in recent years. In this book the author provides an introduction to the methods used to analyze evolutionary algorithms and other randomized search heuristics. …