Version Control with Git takes you step-by-step through ways to track, merge, and manage software projects, using this highly flexible, open source version control system. Git permits virtually an infinite variety of methods for development and collaboration. Created by Linus Torvalds to manage development of the Linux kernel, it's become...

• Create maps and mods using the tools provided with Source SDK
• Learn how to use Hammer to create your own game worlds
• Create goal-driven A.I. sequences and scripts
• Master Source SDK tools with ease...

• See how many of jQuery's methods and properties are used in real situations. Covers jQuery 1.9.
• Learn to build jQuery from source files, write jQuery plugins, and use jQuery UI...

• This book guides you through building a complete home security system with Raspberry Pi and helps you remotely access it from a mobile device over the Internet
• It covers the...

There are already several excellent books on Malliavin calculus. However, most of them deal only with the theory of Malliavin calculus for Brownian motion, with [35] as an honorable exception. Moreover, most of them discuss only the application to regularity results for solutions of SDEs, as this was the original motivation when Paul Malliavin...

CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets...

Game playing is a powerful metaphor that fits many situations where interaction between autonomous agents plays a central role. Numerous tasks in computer science, such as design, synthesis, verification, testing, query evaluation, planning, etc. can be formulated in game-theoretic terms. Viewing them abstractly as games reveals the...

Hyperarithmetic theory is the first step beyond classical recursion theory. It is the primary source of ideas and examples in higher recursion theory. It is also a crossroad for several areas of mathematical logic: in set theory it is an initial segment of Godel's L; in model theory, the least admissible set after ; in descriptive set...

The first part introduces van Kampen diagrams...