 |
|
 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
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... |  |  |
|
|
 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)
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
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... |
|
|
Result Page: 832 831 830 829 828 827 826 825 824 823 822 821 820 819 818 817 816 815 814 |