includes contributions originating from a conference held at Chapman University during November 14-19, 2017. It presents ...
اقرأ المزيد
In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...
اقرأ المزيد
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
اقرأ المزيد
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
اقرأ المزيد
The book signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic ...
اقرأ المزيد
Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. ...
اقرأ المزيد
The book covers the basic Physics behind MRI, quality assurance, up-to-date safety guidelines and a useful gallery of image ...
اقرأ المزيد
This book provides a comprehensive overview of both the physics and the clinical applications of MRI, including practical ...
اقرأ المزيدFocuses on active pharmacological principles that modulate diabetes, associated risk factors, complications and the mechanism ...
اقرأ المزيد
This book brings together the latest results in the field of metabolomics. It comprehensively presents the current state ...
اقرأ المزيد
Nonlinear analysis has developed rapidly in the last three decades. Theories, techniques and results in many different branches ...
اقرأ المزيد
In this book, fundamental methods of nonlinear analysis are introduced, discussed and illustrated in straightforward examples. ...
اقرأ المزيد
This text draws its origin from my old notes, prepared for the course of Mathematical Methods of Physics and gradually arranged, ...
اقرأ المزيد
"The book presents approaches and methodologies for predicting the structure and diversity of key aquatic communities (namely ...
اقرأ المزيد
The 23 articles in this volume encompass the proceedings of the International Conference on Modules and Comodules held in ...
اقرأ المزيد
The present volume is dedicated to celebrate the work of the renowned mathematician Herbert Amann, who had a significant ...
اقرأ المزيد
This book presents recent results concerning the global existence in time, the large-time behaviour, decays of solutions ...
اقرأ المزيد
The main purpose of this book is to provide a systematic and unified exposition of comparison principles based on a suitably ...
اقرأ المزيد
The book is an introduction with emphasis on those more advanced applications in analysis which are hardly accessible by ...
اقرأ المزيد
The first two chapters of this book are devoted to convexity in the classical sense, for functions of one and several real ...
اقرأ المزيد