for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This greatly expanded new edition, requiring only an elementary background in discrete mathematics,... Læs mere
Formal systems in computer science frequently involve specifications of computations over syntactic structures. In this book, the authors develop a programming... Læs mere
Learn how to program, using Microsoft's Visual Basic.NET 2010. Written for those with little or no programming experience or no experience with... Læs mere
Placing near field communications (NFC) in a practical context, this resource provides everything you need to know about NFC technology, its... Læs mere
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