



Design Concepts in Programming LanguagesThis book is the text for 6.821 Programming Languages, an entrylevel, singlesemester, graduatelevel course at the Massachusetts Institute of Technology. The students that take our course know how to program and are mathematically inclined, but they typically have not had an introduction to programming language design or its mathematical...     Principles of Model CheckingOur growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a... 


SemiSupervised Learning (Adaptive Computation and Machine Learning)In the field of machine learning, semisupervised learning (SSL) occupies the middle ground, between supervised learning (in which all training examples are labeled) and unsupervised learning (in which no label data are given). Interest in SSL has increased in recent years, particularly because of application domains in which unlabeled data are...   The Audio Programming Book
This comprehensive handbook of mathematical and programming techniques for audio signal processing will be an essential reference for all computer musicians, computer scientists, engineers, and anyone interested in audio. Designed to be used by readers with varying levels of programming expertise, it not only provides the foundations for...   Introduction to Algorithms, Second EditionThe book moves forward with more advanced algorithms that implement strategies for solving more complicated problems (including dynamic programming techniques, greedy algorithms, and amortized analysis). Algorithms for graphing problems (used in such realworld business problems as optimizing flight schedules or flow through pipelines) come next.... 



Result Page: 21 20 19 18 17 16 15 14 13 12 