for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This account of the new and exciting area of noise sensitivity of Boolean functions - in particular applied to critical percolation - is designed... Læs mere
This rich mathematical text will help both graduate students and researchers master modern topology and domain theory, the... Læs mere
An introduction to software modelling using VDM (Vienna Development Method) that combines training in the formalism with... Læs mere
This self-contained introduction to kernelization, a rapidly developing area of preprocessing analysis, is for researchers, professionals, and graduate... Læs mere
An extensive and authoritative introduction to property testing, the study of super-fast algorithms for the structural analysis of large quantities of data in order to... Læs mere
This extensively classroom-tested text uses an innovative approach to explaining software testing, and covers the latest techniques to test software such as OO, web... Læs mere
Integer linear programming is a versatile modeling and optimization technique with potential to transform... Læs mere
Shimon Even's Graph Algorithms, published in 1979, was a seminal introductory textbook. This thoroughly revised second edition, with a foreword by Richard M. Karp and notes by Andrew V.... Læs mere
This is the first book to provide a solid theoretical account of the foundation of the popular data format XML. Exercises and examples of code fragments are included throughout to enhance understanding. This book is ideal for both students and researchers.
A comprehensive introduction to algebraic geometry and representation theory written by a leading expert in the field. For graduate students and researchers in computer... Læs mere
A useful guide explaining the theory and algorithms of finite element methods, with a focus on Sobolov spaces, finite element spaces, biharmonic equations, and parabolic problems. Numerous solved examples and mathematical theorems make it useful for graduate students.
This comprehensive introduction to the principles of functional programming using F# shows how to apply basic theoretical concepts to produce succinct and elegant programs.... Læs mere