This volume is the post conference proceedings of the 8thInternational Seminaron Relational Methods in Computer Science (RelMiCS ...
اقرأ المزيد
This volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...
اقرأ المزيد
The book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with ...
اقرأ المزيد
This book takes a fresh, systematic approach to determining the equation of motion for the classical model of the electron ...
اقرأ المزيد
The most important question that is addressed in this book is "what is the nature (the ontological status) of spacetime?" ...
اقرأ المزيد
This book presents a comprehensive description of theory, algorithms and software for solving nonconvex mixed integer nonlinear ...
اقرأ المزيدThis book shows how to build in, evaluate, and demonstrate reliability & availability of components, equipment, systems. ...
اقرأ المزيد
The volume brings together eleven chapters to highlight the importance of the interrelated reliability and maintenance disciplines. ...
اقرأ المزيد
An understanding of the techniques used to make distributed computing systems and networks reliable, fault-tolerant and secure ...
اقرأ المزيد
This book seeks to comprehensively address the face recognition problem while gaining new insights from complementary fields ...
اقرأ المزيد
The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
اقرأ المزيد
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
اقرأ المزيد
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
اقرأ المزيد
Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
اقرأ المزيد
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
اقرأ المزيد
For many, the experience of religion and the family are organically connected: first exposure to religion often comes through ...
اقرأ المزيد
This book provides new insights into the relationships between religion and demography during the crucial period of the nineteenth ...
اقرأ المزيد
How closely correlated should church and state be? May a state recognize or dignify the role and meaning of religion at all, ...
اقرأ المزيد