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