Empirical studies have become an integral element of software engineering research and practice. This unique text/reference ...
Continue reading
Introduces a variety of concepts in discrete mathematics and mathematical modeling for languages and computation. The authors ...
Continue reading
Multilevel analysis is the statistical analysis of hierarchically and non-hierarchically nested data. The simplest example ...
Continue reading
The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...
Continue reading
These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...
Continue reading
This book will be of interest to developmental psychologists, sociologists and historians of science, philosophers, practitioners ...
Continue reading
This book constitutes the refereed proceedings of the 14th International Conference on High-Performance Computing, HiPC 2007, ...
Continue reading
This book constitutes the refereed proceedings of the Second International Conference on High Performance Embedded Architectures ...
Continue reading
The ProgramCommittee received a total of 84 submissions; only 17 were selected for presentation as full-length papers and ...
Continue reading
This book constitutes the refereed proceedings of the Third International Conference on High Performance Embedded Architectures ...
Continue reading
This book analyses Iberian expansion by using knowledge accumulated in recent years to test some of the most important theories ...
Continue reading
The business surveys of the Ifo Institute (short for Information and Forschung) are internationally renowned. Every month ...
Continue reading
This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and ...
Continue reading
This book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, ...
Continue reading
This book is a unique collection of experimental data in the field of internal friction, anelastic relaxation, and damping ...
Continue reading
This book provides a self-contained, linear, and unified introduction to empirical processes and semiparametric inference. ...
Continue reading
This text presents key information needed to write your own online science and engineering applications, including reading, ...
Continue reading
Provides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming ...
Continue reading
The book provides an introduction to common programming tools and methods in numerical mathematics and scientific computing. ...
Continue reading
The book presents the Invited Lectures given at 13th International Congress on Mathematical Education (ICME-13). The papers ...
Continue reading