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