From RECOMB 2005, the Steering Committee decided to publish the proceedings as a volume of Lecture Notes in Bioinf- matics ...
اقرأ المزيد
This book provides an accurate overview of the recent research or industrial application in interactive design. The different ...
اقرأ المزيد
In thi book you will find in-depth details related to: reduced modelling techniques: a new approach to extended and adaptive ...
اقرأ المزيد
This book examines whether a distinctly Nordic procedural or court culture exists and what the hallmarks of that culture ...
اقرأ المزيد
S.L. Sobolev (1908–1989) was a great mathematician of the twentieth century. His selected works included in this volume ...
اقرأ المزيد
Many nonlinear problems in physics, engineering, biology, and social sciences can be reduced to finding critical points of ...
اقرأ المزيد
The authors introduce, in this research monograph on stochastic differential equations, a class of points termed isolated ...
اقرأ المزيد
"Sinkholes and Subsidence" provides a twenty-first century account of how the various subsidence features in carbonate ...
اقرأ المزيدThis book presents the results of the Interdisciplinary Research Group "Society – Water – Technology" of the Berlin-Brandenburg ...
اقرأ المزيد
The goal of the International Symposia on Software Composition is to advance the state of the research in component-based ...
اقرأ المزيد
Ocean acoustics comprises a key subfield of research, providing indispensable tools for the exploration of the seafloor, ...
اقرأ المزيد
The contributions in this volume are representative of the richness of research topics in colloid and polymer science. They ...
اقرأ المزيد
This book present and discuss current issues and innovative solution approaches for land management in a European context. ...
اقرأ المزيد
Energy systems are rapidly transitioning towards decarbonization, thanks in part to innovative digital technologies and changing ...
اقرأ المزيد
This book introduces the reader to methods allowing one to build explicit solutions to these equations. A prerequisite task ...
اقرأ المزيد
SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...
اقرأ المزيد
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
اقرأ المزيدA new calculation method is presented for heat transfer in coupled convective-conductive fluid-wall systems under periodical ...
اقرأ المزيد
The subject of this book are natural systems where thermodynamic processes take place as a result of changes in temperature, ...
اقرأ المزيد