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, ...
اقرأ المزيد