This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيد
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
اقرأ المزيد
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
اقرأ المزيد
This volume sets out to present a coherent and comprehensive account of the concepts that underlie different approaches devised ...
اقرأ المزيد
This book constitutes the refereed proceedings of the Second International Frontiers of Algorithmics Workshop, FAW 2008, ...
اقرأ المزيد
This book presents pedagogical contributions on selected topics relating Number Theory, Theoretical Physics and Geometry. ...
اقرأ المزيد
This book presents pedagogical contributions on selected topics relating Number Theory, Theoretical Physics and Geometry. ...
اقرأ المزيد
The present book collects most of the courses and seminars delivered at the meetingentitled"FrontiersinNumberTheory, PhysicsandGeometry", ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 4th International Conference on Fun with Algorithms, FUN 2007, held ...
اقرأ المزيد
This book comprehensively covers the fundamentals of clinical data science, focusing on data collection, modelling and clinical ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...
اقرأ المزيد
These are cyclones used as gas-solid separators for dedusting and as gas-liquid separators for demisting, and as such they ...
اقرأ المزيد
The central object of this book is the measure of geometric quantities describing N a subset of the Euclidean space (E ,), ...
اقرأ المزيد
This book is devoted to reporting innovative and significant progress about the contribution of genetic programming in systems ...
اقرأ المزيد
The GIScience conference series (www. giscience. org) was created as a forum for all researchers who are interested in advancing ...
اقرأ المزيد
This book summarizes the results of the collaborative project “GeomInt: Geomechanical integrity of host and barrier rocks ...
اقرأ المزيد
This book present scurrent activities of the Department of AppliedMathem- ics at SINTEF, the largest independent research ...
اقرأ المزيد
This book a classic on the foundations of quantum theory. This view, which is essentially geometric and relies on the concept ...
اقرأ المزيد