This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal ...
This book is intended to provide a compilation of the state-of-the-art numerical methods for nonl...
This book is intended to provide a compilation of the state-of-the-art numerical methods for nonl...
In the advancing fields of artificial intelligence (AI) and data science, a pressing ethical dile...
In the advancing fields of artificial intelligence (AI) and data science, a pressing ethical dile...
This volume contains the proceedings of the 4th International Conference on Verified Software: Th...
Unser bisheriger Preis:ORGPRICE: 74,99 €
This book constitutes the refereed proceedings of the Third International Symposium on NASA Forma...
Unser bisheriger Preis:ORGPRICE: 96,29 €
The unprecedented growth in technology has reshaped the landscape of India, opening numerous oppo...
The book relates to the current status of herbal drugs, scope for innovations and patents, emphas...