This book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held ...
اقرأ المزيد
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...
اقرأ المزيد
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
اقرأ المزيد