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