Lindstrom i e (8 risultati)

Pamphlet. Condizione: Very Good. Vol 37, No 13, pp. 4873-4880, Illus, 4to, Extracted from orig vol, thus begins with title page, trimmed & stapled pamphlet, else VG.

Pamphlet. Condizione: Very Good. Vol 41, No 1, pp. 337-350, Illus, 4to, Extracted from orig vol, thus begins with title page, trimmed & stapled pamphlet, else VG.

Paperback. Condizione: New. Domain theory is an established part of theoretical computer science, used in giving semantics to programming languages and logics. In mathematics and logic it has also proved to be useful in the study of algorithms. This book is devoted to providing a unified and self-contained treatment of the subject. The theory is presented in a mathematically precise manner which nevertheless is accessible to mathematicians and computer scientists alike. The authors begin with the basic theory including domain equations, various domain representations and universal domains. They then proceed to more specialized topics such as effective and power domains, models of lambda-calculus and so on. In particular, the connections with ultrametric spaces and the Kleene-Kreisel continuous functionals are made precise. Consequently the text will be useful as an introductory textbook (earlier versions have been class-tested in Uppsala, Gothenburg, Passau, Munich and Swansea), or as a general reference for professionals in computer science and logic.…

Condizione: New. In English.

Paperback. Condizione: New. Domain theory is an established part of theoretical computer science, used in giving semantics to programming languages and logics. In mathematics and logic it has also proved to be useful in the study of algorithms. This book is devoted to providing a unified and self-contained treatment of the subject. The theory is presented in a mathematically precise manner which nevertheless is accessible to mathematicians and computer scientists alike. The authors begin with the basic theory including domain equations, various domain representations and universal domains. They then proceed to more specialized topics such as effective and power domains, models of lambda-calculus and so on. In particular, the connections with ultrametric spaces and the Kleene-Kreisel continuous functionals are made precise. Consequently the text will be useful as an introductory textbook (earlier versions have been class-tested in Uppsala, Gothenburg, Passau, Munich and Swansea), or as a general reference for professionals in computer science and logic.…

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

paperback. Condizione: New. Paperback. Pages Number: 224 Language: Simplified Chinese. Publisher: Tianjin Education Press; 1 (2011 3 January). sensory brand Introduction: the consumer becoming more demanding. homogeneous product after another. fighting intensified advertising environment. how to make their products and advertising to Win. to make their brand Changsheng not bad? global brand guru Martin Lin Site Long reveals to us the world s top brand success in common: they mostly use a sensory brand marketing. to crea.…

paperback. Condizione: New. Paperback. Pub Date: 2017-11-01 Pages: 120 Language: Chinese Publisher: people's posts and telecommunications press reconstructing the CSS stylesheet performance tuning as CSS refactoring guide. not only shows how to write a reasonable structure of CSS. to build the response type. easy to use website. also introduced how to use the refactor methods to create readability is stronger and more.…