This proceedings contains the papers which were presented at the NATO Advanced Research Workshop (ARW) on Extreme Hydrological ...
Continue reading
The present threat of the terrorist attacks or accidental explosions, the climate change which brings strong stormy winds ...
Continue reading
Following the birth of the laser in 1960, the field of "nonlinear optics" rapidly emerged. Today, laser intensities and ...
Continue reading
Extreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found ...
Continue reading
In its first editions, this conference was a get-together of a few pioneers who - bated about how to make agile processes ...
Continue reading
Problems linking the shape of a domain or the coefficients of an elliptic operator to the sequence of its eigenvalues are ...
Continue reading
Problems linking the shape of a domain or the coefficients of an elliptic operator to the sequence of its eigenvalues are ...
Continue reading
Despite the availability of cheap, fast, accurate and usable eye trackers, there is still little information available on ...
Continue reading
Despite the availability of cheap, fast, accurate and usable eye trackers, there is still little information available on ...
Continue reading
The book presents an introduction to the project, exhibits partners’ methods and approaches, and provides comprehensive ...
Continue reading
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
Continue reading
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
Continue reading
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
Continue reading
During the 1980s and early 1990s there was signi?cant work in the design and implementation of hardware neurocomputers. Nevertheless, ...
Continue reading
The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running ...
Continue reading
This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity ...
Continue reading
This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology ...
Continue reading
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology ...
Continue reading
Fabry disease is an X-linked inborn error of metabolism wherein deficiency of a lysosomal enzyme results in systemic deposition ...
Continue reading
This book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...
Continue reading