Although devoted to constructions of good codes for error control, secrecy or data compression, the emphasis is on the first direction. Introduces a number of important classes of error-detecting and error-correcting codes as well as their decoding methods. Background material on modern algebra is presented where required. The role of error-correcting codes in modern cryptography is treated as are data compression and other topics related to information theory. The definition-theorem proof style used in mathematics texts is employed through the book but formalism is avoided wherever possible.
Anyone who wants to know how, for example, object-oriented programming rests upon a firm foundation in logic should read this book.
This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics.
This work contains about 20 percent more material than is needed for a 14-week, one-semester course. This amount of material gives the instructor some freedom in selecting topics while covering...
For the Edinburgh version of LCF, Dr. Milner and his associates created the ML programming language to allow proof commands in the new LCF system to be extended and customized. ML was just one part of the LCF system.
During the sixteenth century, Cardano wrote a fascinating work called The Book on Games of Chance.
This text presents topics relating to the design and implementation of programming languages as fundamental skills that all computer scientists should possess.
* Covers low-level networking in Python —essential for writing a new networked application protocol. * Many working examples demonstrate concepts in action -- and can be used as starting points for new projects. * Networked application ...
Stump’s Programming Language Foundations is a short concise text that covers semantics, equally weighting operational and denotational semantics for several different programming paradigms: imperative, concurrent, and functional.
It doesn't matter if you've dabbled in coding or never written a line of code, this book guides you through the basics.
First Processing book on the market Processing is a nascent technology rapidly increasing in popularity Links with the creators of Processing will help sell the book