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