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