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...

Scalability Rules: 50 Principles for Scaling Web Sites
Scalability Rules: 50 Principles for Scaling Web Sites

50 Powerful, Easy-to-Use Rules for Supporting Hypergrowth in Any Environment

 

Scalability Rules is the easy-to-use scalability primer and reference for every architect, developer, web professional, and manager. Authors Martin L. Abbott and...

Digital Design for Print and Web: An Introduction to Theory, Principles, and Techniques
Digital Design for Print and Web: An Introduction to Theory, Principles, and Techniques

Digital Design for Print and Web: An Introduction to Theory, Principles, and Techniques was written to help people succeed with digital design. It is a learning product that incorporates both video lessons and an in-depth textbook written from two perspectives—that of a student, and that of a teacher.

First I put myself in...

Exchange Server 2010 Administration: Real World Skills for MCITP Certification and Beyond
Exchange Server 2010 Administration: Real World Skills for MCITP Certification and Beyond

Over the years, Exchange Server has become a complicated messaging solution that many organizations rely on. Many companies have not upgraded to Exchange Server 2007 and are still using Exchange Server 2003. With the release of Exchange Server 2010, they are now contemplating upgrading to take advantage of this new version’s...

SPSS for Introductory and Intermediate Statistics: SPSS for Introductory Statistics
SPSS for Introductory and Intermediate Statistics: SPSS for Introductory Statistics

This book is designed to help students learn how to analyze and interpret research data with basic statistics. It is intended to be a supplemental text in an introductory (undergraduate or graduate) statistics or research methods course in the behavioral sciences or education and it can be used in conjunction with any mainstream text....

Microsoft Outlook for Mac 2011 Step by Step (Step By Step (Microsoft))
Microsoft Outlook for Mac 2011 Step by Step (Step By Step (Microsoft))

The smart way to learn Microsoft® Outlook® 2011 for Mac—one step at a time!

Experience learning made easy—and quickly teach yourself how to organize your email, arrange your calendar, and manage tasks using Outlook on your Mac. With Step by Step, you set the pace—building and practicing the...

Deploying Microsoft Forefront Threat Management Gateway 2010
Deploying Microsoft Forefront Threat Management Gateway 2010

When we began this project, our intent was to create a real world scenario that would guide IT professionals in using Microsoft best practices to deploy Microsoft Forefront Threat Management Gateway (TMG) 2010. We hope you find that we have achieved that goal. We’ve also included the main deployment scenarios for Forefront TMG,...

Microsoft Visio 2010 Step by Step: The smart way to learn Microsoft Visio 2010-one step at a time!
Microsoft Visio 2010 Step by Step: The smart way to learn Microsoft Visio 2010-one step at a time!

Microsoft Visio 2010 is a bold new release. If you’re new to Visio, your timing is excellent! This version of Visio is easier to use than ever before and yet the diagrams you create can have more impact and style, and can present more real-world data than in any previous version.

If you’ve used prior versions...

Pro CSS for High Traffic Websites
Pro CSS for High Traffic Websites

Although web standards-based websites can scale effectively—and basic CSS will give you basic results—there are considerations and obstacles that high traffic websites must face to keep your development and hosting costs to a minimum. There are many tips and tricks, as well as down-to-earth best practice information, to make sure...

Accessing AutoCAD Architecture 2011
Accessing AutoCAD Architecture 2011

Accessing AutoCAD Architecture 2011, 9th edition, is a comprehensive presentation of the tools included in AutoCAD Architecture 2011. The format of the text includes the introduction of tools followed by an explanation of the options of the command and how it is used in the development of drawings. A tool access table is provided for...

Concise Guide to Computation Theory
Concise Guide to Computation Theory

What is the theory of computation all about? The theory of computation embodies the principle by which computers have become the basis of modern digital technology, which makes a computer perform as desired, and which, consequently, has led to the prosperity of our advanced information society (just as physical sciences constitute the...

HTML & XHTML DeMYSTiFieD
HTML & XHTML DeMYSTiFieD

Congratulations! Your purchase of this book shows that you are a highly motivated student. You want as much out of your HTML class as possible. This book will help you to become the best HTML developer possible.

Hard stuff made easy! Your practical, self-paced guide to HTML and XHTML

HTML and XHTML Demystified...

Result Page: 325 324 323 322 321 320 319 318 317 316 315 314 313 312 311 310 309 308 307 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy