Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...
اقرأ المزيد
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
اقرأ المزيد
The enormous potential of digital computation to manage new complex systems is impeded by exponential increases in complexity. ...
اقرأ المزيد
Constructal Theory of Social Dynamics brings together for the first time social scientists and engineers to develop a predictive ...
اقرأ المزيد
This book constitutes the refereed proceedings of the workshops of the First European Conference on Ambient Intelligence, ...
اقرأ المزيد
Covers both traditional and contemporary materials, current industry standards and new and emerging technologies. The only ...
اقرأ المزيد
History based access control and secure information flow The spec# programming system Mastering test generation from smart ...
اقرأ المزيد
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...
اقرأ المزيد
Intended to be used as a textbook in undergraduate civil engineering and construction courses to introduce cutting edge mechanical, ...
اقرأ المزيد
Based on the method of canonical transformation of variables and the classical perturbation theory, this innovative book ...
اقرأ المزيد
This book presents contemporary empirical methods in software engineering related to the plurality of research methodologies, ...
اقرأ المزيدThis book provides a comparative study of housing contention in Budapest and Bucharest in 2008-2021. The financialization ...
اقرأ المزيد
This book covers the major theoretical orientations that have been influential in American sociology since the mid-twentieth ...
اقرأ المزيد
This book presents an overview and step-by-step explanation of process management. It starts with the individual participants’ ...
اقرأ المزيد
This comprehensive anthology collects twenty original essays and critical commentaries on different aspects of contextualism, ...
اقرأ المزيد
The book faces the interplay among dynamical properties of semigroups, analytical properties of infinitesimal generators ...
اقرأ المزيد
Continuous System Simulation describes systematically and methodically how mathematical models of dynamic systems, usually ...
اقرأ المزيدThe book systematically covers major foundations of the systems theory. First, the quantitative and qualitative methods of ...
اقرأ المزيد
This book presents an introduction into the entire science of Continuum Mechanics in three parts. PART I: Continuum Mechanics ...
اقرأ المزيد
Eugen Lamers explains the principle of simulation speed-up in general, demonstrates the technique RESTART for the simulation ...
اقرأ المزيد