Søgning på underkategorier- og emner:
This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17–19, 2010.
This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages.
In biostatistical research and courses, practitioners and students often lack a thorough understanding of how to apply statistical methods to synthesize biomedical... Læs mere
Statistics and Data Visualisation with Python aims to build statistical knowledge from the ground up by enabling the reader to understand the ideas behind... Læs mere
Statistics and Data Visualisation with Python aims to build statistical knowledge from the ground up by enabling the reader to understand the ideas behind... Læs mere
The book will also illustrate how the use of modern computer software allows one to significantly expand the range of problems considered beyond those... Læs mere
This book can be used for self-paced study, in an undergraduate course on software design, or as the core of an intensive weeklong workshop for working programmers. Each chapter has a set of exercises ranging in size and difficulty from half a dozen lines to a full day's work.
This book is designed as a textbook and provides a comprehensive approach to SQL - the standard programming language for defining, organizing,... Læs mere
A best-seller in its French edition, this book details 150 problems, spanning on seven families of algorithms. For each... Læs mere
A best-seller in its French edition, this book details 150 problems, spanning on seven families of algorithms. For each... Læs mere