Filter
Programmering
Filter
This book describes the history of SV, techniques and frameworks for its construction, its use in education and program debugging, and recent attempts to evaluate its …
Extending the functional language Scheme with logical constructs in order to help the functional programmer think logically and the logic programmer think functionally.The goal of …
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 …
An engaging, illustrated collection of insights revealing the practices and principles that expert software designers use to create great software.What makes an expert software …
An examination of subversive games-games designed for political, aesthetic, and social critique.For many players, games are entertainment, diversion, relaxation, fantasy. But what …
An updated, concise reference for the Java programming language, version 8.0, and essential parts of its class languages, offering more detail than a standard textbook. The third …
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 …
An industry insider explains why there is so much bad software-and why academia doesn't teach programmers what industry wants them to know.Why is software so prone to bugs? So …
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 …
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 …