Home | Amazing | Today | Tags | Publishers | Years | Search 
Type Theory and Functional Programming (International Computer Science Series)
Type Theory and Functional Programming (International Computer Science Series)

This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to...

Real-World Flash Game Development, Second Edition: How to Follow Best Practices AND Keep Your Sanity
Real-World Flash Game Development, Second Edition: How to Follow Best Practices AND Keep Your Sanity

It feels like ages ago since I began the journey of writing this book. In its first year, more than 4500 copies were sold, and its reception exceeded my wildest expectations. I am thankful to all those who bought it and also to those who took the time to spread the word to others. Because technology develops at such an unrelenting...

Practical Code Generation in .NET: Covering Visual Studio 2005, 2008, and 2010
Practical Code Generation in .NET: Covering Visual Studio 2005, 2008, and 2010

The story of software engineering has been the story of increasing the level of abstraction at which we as programmers work, from logic encoded in hardware to toggle switches representing binary digits, through machine code, assembly language, low-level languages, and high-level languages both procedural and functional. More recently,...

Clout: The Art and Science of Influential Web Content (Voices That Matter)
Clout: The Art and Science of Influential Web Content (Voices That Matter)

The web is all about action verbs. We click. We search. We navigate. We make choices. Alone among other forms of media, we’re the ones who control our experience.

When organizations try to connect with their customers online, one of the first things they always want to know is “how can we get our users to do...

Flex 4 Fun
Flex 4 Fun

With this book you'll have fun exploring the graphical and animation side of the Flex 4 SDK. There are other books out there on Flex, on Flex 4, and on RIA technologies in general, but they generally don't cover the techniques that help you write cooler applications. This book is specifically about the graphical and animation...

Beginning Blender: Open Source 3D Modeling, Animation, and Game Design
Beginning Blender: Open Source 3D Modeling, Animation, and Game Design

A new world of creative possibilities is opened by Blender, the most popular and powerful open source 3D and animation tool. Blender is not just free software; it is also an important professional tool used in animated shorts, television commercials, and shows, as well as in production for films like Spiderman 2. Lance...

The Verilog® Hardware Description Language
The Verilog® Hardware Description Language

The Verilog language is a hardware description language that provides a means of specifying a digital system at a wide range of levels of abstraction. The language supports the early conceptual stages of design with its behavioral level of abstraction, and the later implementation stages with its structural abstractions. The language includes...

Discrete Mathematics for Computer Science
Discrete Mathematics for Computer Science

As the discipline of computer science has matured, it has become clear that a study of discrete mathematical topics is an essential part of the computer science major. The course in discrete structures has two primary aims. The first is to introduce students to the rich mathematical structures that naturally describe much of the content of...

Modeling and Reasoning with Bayesian Networks
Modeling and Reasoning with Bayesian Networks

Bayesian networks have received a lot of attention over the last few decades from both scientists and engineers, and across a number of fields, including artificial intelligence (AI), statistics, cognitive science, and philosophy.

Perhaps the largest impact that Bayesian networks have had is on the field of AI, where they were...

BizTalk 2010 Recipes: A Problem-Solution Approach (Expert's Voice in BizTalk)
BizTalk 2010 Recipes: A Problem-Solution Approach (Expert's Voice in BizTalk)

By the time you’re reading this in a bookstore, BizTalk will have celebrated its tenth birthday. Over the past decade, there have been seven releases of Microsoft’s enterprise integration server, and it has become the most broadly deployed integration middleware technology in the industry, with over 10,000 customers worldwide....

Introduction to Contextual Processing: Theory and Applications
Introduction to Contextual Processing: Theory and Applications

Contextual computing has been around for several years with a variety of names such as pervasive computation and omnipresent computing. Recently there has been a drive toward making personal digital assistants (PDAs) more aware of their environment. For example, a cell phone may sense that it is in a conference room and reason that it should...

Parallel Program Design: A Foundation
Parallel Program Design: A Foundation

It is not often that we can welcome the advent of a new theory of programming. Twelve years ago, E.W. Dijkstra published his Discipline of Programming, which is still a definitive source-book on the development of sequential algorithms. And now Chandy and Misra have shown how Dijkstra's methods, and other more recent developments, can be...

Result Page: 100 99 98 97 96 95 94 93 92 91 90 89 88 87 86 85 84 83 82 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy