There are certain key alloys, stainless steels, nickel alloys, and low alloy steels that are of paramount importance to the power generation, petrochemical, and

There are certain key alloys, stainless steels, nickel alloys and low alloy steels that are of paramount importance to the power generation, petrochemical and o

Pulling together information previously scattered throughout numerous research articles into one detailed resource, this book connects the fundamentals of struc

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised f

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 1