This book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...
Continue readingThis self-contained monograph describes basic set-theoretic methods for control and provides a discussion of their links ...
Continue readingThe book is organized into four chapters. The first one introduces the subject and presents several classes of processes ...
Continue readingThe first SISPAD conference took place in Tokyo in 1996 as the successor to three preceding conferences NUPAD, VPAD, and ...
Continue reading"Sinkholes and Subsidence" provides a twenty-first century account of how the various subsidence features in carbonate ...
Continue readingThis is the best book we have about the methodology to conduct research on the second generation or the children of immigrants ...
Continue readingIlluminates the theory and techniques of assembling exteriors. Six chapters organized by wall types, from hand-set monolithic ...
Continue readingWith contributions by leading scientists in the field, this book gives the first comprehensive overview of the results of ...
Continue readingVolume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the ...
Continue readingThe aim of the present volume is different. We recognize that of shore development is here to stay, and not just a result ...
Continue readingThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Continue readingThis volume contains papers presented at the International Conference on Software Process (ICSP 2007) held in Minneapolis, ...
Continue readingThis book constitutes the refereed proceeding of the 14th European Software Process Improvement Conference, EuroSPI 2007, ...
Continue readingThis book includes organisational issues; productivity, effort estimation metrics; standards reference models; documentation ...
Continue readingThis book guides the reader through programming with R, beginning with simple interactive use and progressing by gradual ...
Continue readingThis book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software ...
Continue readingThe objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
Continue readingThe material in this work is focused on recent developments in research into the stress-strain behavior of geomaterials, ...
Continue readingThis book is devoted to one of the most interesting and rapidly developing areas of modern nonlinear physics and mathematics ...
Continue readingOcean acoustics comprises a key subfield of research, providing indispensable tools for the exploration of the seafloor, ...
Continue reading