"On Computable Numbers, with an Application to the Entscheidungsproblem”, Alan Turing’s paper of 1937, contained his thesis that every effective computation can be programmed on such an automation as that called Turing machine. Furthermore it proved the unsolvability of the halting problem and of the decision problem for first order logic, and it presented the invention of the universal Turing machine. It is that publication that will presumably be acknowledged as marking sub specie aeternitatis the beginning of  the "computer age”. This volume recognizes the still continuing influence of the Turing machine concept by collecting contributions from international specialists in logic, computability, mathematics, biology, physics, linguistics, and cognitive science, thus signalling the exceptionally wide scope of that concept.

The Universal Turing Machine: A Half-Century Survey (Computerkultur)

Computers & Technology

Rolf Herken

Computer Science

Springer

<p>"On Computable Numbers, with an Application to the Entscheidungsproblem”, Alan Turing’s paper of 1937, contained his thesis that every effective computation can be programmed on such an automation as that called Turing machine. Furthermore it proved the unsolvability of the halting problem and of the decision problem for first order logic, and it presented the invention of the universal Turing machine. It is that publication that will presumably be acknowledged as marking sub specie aeternitatis the beginning of the "computer age”. This volume recognizes the still continuing influence of the Turing machine concept by collecting contributions from international specialists in logic, computability, mathematics, biology, physics, linguistics, and cognitive science, thus signalling the exceptionally wide scope of that concept.</p>

The Universal Turing Machine A Half-Century Survey (Computerkultur)

Reference

Springer Verlag Wien

<p>This book is the definitive reference manual for mental ray version 2.1 and 3.1. It starts with a brief overview of the features of mental ray and continues with the specification of the mental ray scene description language, the mental ray shader interface, and the integration interface for third-party applications. All material is presented in reference form, organized by grammar elements and C function call, rather than by feature set. The book is intended for translator writers, shader writers, and integrators, who are familiar with the C and C++ programming languages. This second, revised edition was extended to cover the new generation of mental ray, version 3.1, throughout the book, and also includes the new mental ray integration manual. The enclosed CD contains a full-featured demo version of the mental ray stand alone and the mental ray library, as well as example shaders with source code and demo scenes, for a variety of computer platforms.</p>

Programming Mental Ray

Rolf Herken Thomas Driemeyer

Networking & Cloud Computing

See the best price to sell, buy, or rent books by Rolf Herken. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Rolf Herken