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