With the second volume of Clinical Engineering, the Author intends to provide an updated scientific-didactic overview of ...
Continue readingForest Landscape Ecology: Transferring Knowledge to Practice is the first book to introduce landscape ecologists to the discipline ...
Continue readingThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue readingThis book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
Continue readingThis book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
Continue readingThe purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...
Continue readingThis book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...
Continue readingThis book contains all you need to understand and make use of ActionScript, and to have some fun while learning. The Foundation ...
Continue readingThis book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
Continue readingThis book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge ...
Continue readingThis volume brings together recent theoretical work in Learning Classifier Systems (LCS), which is a Machine Learning technique ...
Continue readingThe increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested ...
Continue readingThis book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International ...
Continue readingThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Continue readingThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Continue readingThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Continue readingETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue readingThe fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Continue readingThe goal of the book is to provide a unified treatment of fractal dimensions of sets and networks. Since almost all of the ...
Continue readingNumber theory, spectral geometry, and fractal geometry are interlinked in this in-depth study of the vibrations of fractal ...
Continue reading