The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and...

The Rough Guide to Toronto tells you all there is to know about one of Canada’s most diverse and vibrant cities. From the heights of the CN Tower to catching a baseball game at the SkyDome, the 16-page full-colour introduction pinpoints all of the city’s highlights. In addition there are two, new full-colour, 4-page inserts on...

In 1984, Roberta Williams of Sierra On-Line designed King's Quest, the world's first graphic adventure. A huge step beyond the text-oriented games that preceded it, the genre took the world by storm, and proved immensely popular with computers over the next decade. A combination of storytelling and puzzle solving, they provided the...

Providing clear and accessible exercise tips that can help anyone get into peak physical condition, Essential Strength Training...

The authors show that there are underlying mathematical reasons for why games and puzzles are challenging (and perhaps why they are so much fun). They also show that games and puzzles can serve as powerful models of computation―quite different from the usual models of automata and circuits―offering a new way of thinking about...

The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a...

Teach Your Kids to Code is a parent's and teacher's guide to teaching kids basic programming and problem solving using Python, the powerful language used in college courses and by tech companies like Google and IBM.

Step-by-step explanations will have kids learning computational thinking right away, while...

• Conceptualize and build state-of-art GUI applications with Tkinter
• Tackle the complexity of just about any size GUI application with a structured and...

• Create highly scalable applications and services using the Linux container virtualization paradigm
• ...

If you know a breadboard from a breadbox but want to take your hobby electronics skills to the next level, this is the only reference you need. Electronics All-in-One For Dummies has done the legwork for you...

NEW YORK TIMES BESTSELLER • The wise, moving new novel from Danielle Steel, whose many bestselling tales have made her one of America’s favorite authorsTaking chances is part of life, but when you bet your future against the odds, it’s a high-risk game. Kate Madison’s stylish resale shop has been a...