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