Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...
اقرأ المزيد
The enormous potential of digital computation to manage new complex systems is impeded by exponential increases in complexity. ...
اقرأ المزيد
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 ...
اقرأ المزيدCancer is perhaps the modern world's most feared disease. Yet, we know relatively little about this malady's history before ...
اقرأ المزيد
Container transportation is the predominant mode of inter-continental cargo traffic. Since container ships and port terminals ...
اقرأ المزيد
Significant gains in productivity can be achieved through advanced terminal layouts, more efficient IT-support and improved ...
اقرأ المزيد
This volume offers a unique set of research exemplars for science, mathematics and technology educators. The volume explores ...
اقرأ المزيد
This book covers the major theoretical orientations that have been influential in American sociology since the mid-twentieth ...
اقرأ المزيد
Content Delivery Networks enables the readers to understand the basics, to identify the underlying technology, to summarize ...
اقرأ المزيد
The search for the best possible performance is inherent in human nature. Individuals, enterprises and governments all seek ...
اقرأ المزيد
Continuous System Simulation describes systematically and methodically how mathematical models of dynamic systems, usually ...
اقرأ المزيد
The book systematically covers major principle foundations of the signals theory. The representation of signals in the frequency ...
اقرأ المزيد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 ...
اقرأ المزيد
This book's methodological approach familiarizes readers with the mathematical tools required to correctly define and solve ...
اقرأ المزيد
The general goal of this book is to deduce rigorously, from the first principles, the partial differential equations governing ...
اقرأ المزيد
Eugen Lamers explains the principle of simulation speed-up in general, demonstrates the technique RESTART for the simulation ...
اقرأ المزيدThis book puts the larger vision of ubiquitous computing in the context of today’s mobile and distributed computing systems ...
اقرأ المزيد
The book is introduced through the very important topic of modeling switched power electronics as controlled dynamical systems. ...
اقرأ المزيد