Home | Amazing | Today | Tags | Publishers | Years | Search 
Word Processing in Groups
Word Processing in Groups

Connections between the theory of hyperbolic manifolds and the theory of automata are deeply interwoven in the history of mathematics of this century.

The use of symbol sequences to study dynamical systems originates in the work of Kocbe [Koc27, Koe29] and Morse [Mor87j, who both used symbol saliences to code geodesies on a...

Using AutoCAD 2011
Using AutoCAD 2011

With more than four million users around the world, AutoCAD offers engineers, architects, drafters, interior designers, and many others, a fast, accurate, and versatile drafting and modeling tool.

Now in its 18th edition, Using AutoCAD 2011 makes using AutoCAD a snap, by presenting easy-tomaster, step-by-step tutorials covering...

The Graphic Designer's Digital Toolkit: A Project-Based Introduction to Adobe Photoshop CS5, Illustrator CS5 & InDesign CS5
The Graphic Designer's Digital Toolkit: A Project-Based Introduction to Adobe Photoshop CS5, Illustrator CS5 & InDesign CS5

Welcome to the Graphic Designer’s Digital Toolkit! Here you will learn the essential skills and design techniques to get you comfortable using the newest versions of the premier graphics programs in the industry today: Photoshop, Illustrator, and InDesign. This book is set up as a challenging hands-on, project-based classroom...

Testing IT: An Off-the-Shelf Software Testing Process
Testing IT: An Off-the-Shelf Software Testing Process

Why is astronomy considered a science while astrology is considered only a pseudoscience? In other words, how can we prove that a theory faithfully describes reality, and that this theory can then be used to predict unknown facts? Karl Popper, the well-known philosopher, studied these problems and summarized his conclusions in one...

The Digital Consumer Technology Handbook: A Comprehensive Guide to Devices, Standards, Future Directions, and Programmable Logic Solutions
The Digital Consumer Technology Handbook: A Comprehensive Guide to Devices, Standards, Future Directions, and Programmable Logic Solutions

Studying the history of consumer electronics is nothing short of fascinating. The landscape is filled with countless stories of product successes and failures— fickle consumer adoptions, clever marketing campaigns that outsmart the best technologies, better packaging winning over better technology, and products that are simply...

Numerical Methods in Engineering with Python
Numerical Methods in Engineering with Python

This book is targeted primarily toward engineers and engineering students of advanced standing (sophomores, seniors and graduate students). Familiarity with a computer language is required; knowledge of basic engineering mechanics is useful, but not essential.

The text attempts to place emphasis on numerical methods, not...

Information Modeling for Internet Applications
Information Modeling for Internet Applications

Different kinds of objects containing data are found on the Internet, including structured (e.g., relational) databases, collections of documents, and search engines. On the one hand, creating, storing, manipulating, and retrieving Internet documents can benefit from techniques known from the databases and data modeling...

Compiler Specification and Verification (Lecture Notes in Computer Science)
Compiler Specification and Verification (Lecture Notes in Computer Science)

About four years ago David Luckham hinted to me the possibility of verifying a "real" compiler. At that time the idea seemed unrealistic, even absurd. After looking closer at the problem and getting more familiar with the possibilities of the Stanford verifier a verified compiler appeared not so impossible after all. In...

Geometric Algebra: An Algebraic System for Computer Games and Animation
Geometric Algebra: An Algebraic System for Computer Games and Animation

In my first book on geometric algebra in 2007 the preface described how I had been completely surprised by the existence of geometric algebra, especially after having recently completed a book on vector analysis where it was not even mentioned! So why am I writing a second book on the same subject?Well it’s not because I have...

Programming Languages and their Definition: Selected Papers (Lecture Notes in Computer Science) (v. 177)
Programming Languages and their Definition: Selected Papers (Lecture Notes in Computer Science) (v. 177)

The IBM Vienna Laboratory has made a significant contribution to the work on the semantic description of computer systems. Both the operational semantics descriptions ("VDL") and the later work on denotational semantics ("Meta-IV", "VEM") contain interesting scientific ideas. Partly because of the large...

Foundations of 3D Graphics Programming: Using JOGL and Java3D
Foundations of 3D Graphics Programming: Using JOGL and Java3D

OpenGL, which has been bound in C, is a seasoned graphics library for scientists and engineers. As we know, Java is a rapidly growing language becoming the de facto standard of Computer Science learning and application development platform as many undergraduate computer science programs are adopting Java in place of C/C++. Released by...

Alfresco 3 Cookbook
Alfresco 3 Cookbook

Alfresco is the renowned and multiple award-winning open source Enterprise content management system which allows you to build, design, and implement your very own ECM solutions.

You have read a number of tutorials, blogs, and books on Alfresco. Now you're in the real world, trying to use Alfresco, but you're running into...

Result Page: 832 831 830 829 828 827 826 825 824 823 822 821 820 819 818 817 816 815 814 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy