Filter
Programmering
Filter
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language. In Software …
The notion that "thinking about computing is one of the most exciting things the human mind can do" sets both The Little Schemer (formerly known as The Little LISPer) and its new …
The authors introduce this new approach to programming language design, describe its evolution and design principles, and present a formal specification of a metaobject protocol …
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of …
A broad treatment of computer and video games from a wide range of perspectives, including cognitive science and artificial intelligence, psychology, history, film and theater, …
An examination of subversive games-games designed for political, aesthetic, and social critique.For many players, games are entertainment, diversion, relaxation, fantasy. But what …
This is a complete presentation of all important theoretical and experimental work done on low-density codes. Low-density coding is one of the three techniques thus far developed …
The notion that "thinking about computing is one of the most exciting things the human mind can do" sets both The Little Schemer (formerly known as The Little LISPer) and its new …
The new edition of an introductory text that teaches students the art of computational problem solving, covering topics ranging from simple algorithms to information …
For anyone who has ever wondered how computers solve problems, an engagingly written guide for nonexperts to the basics of computer algorithms.Have you ever wondered how your GPS …