Programming

Mathematics is not, and never will be, an empirical science, but mathematicians are finding that the use of computers and specialized software allows the generation of mathematical insight in the form of conjectures and examples, which pave the way for theorems and their proofs. In this way, the experimental approach to pure mathematics is revolutionizing the way research mathematicians work. As the first of its kind, this book provides material for a one-semester course in experimental mathematics that will give students the tools and training needed to systematically investigate and develop mathematical theory using computer programs written in Maple. Accessible to readers without prior programming experience, and using examples of concrete mathematical problems to illustrate a wide range of techniques, the book gives a thorough introduction to the field of experimental mathematics, which will prepare students for the challenge posed by open mathematical problems.

Maple is a powerful symbolic computation system that is widely used in universities around the world. This short introduction gives readers an insight into the rules that control how the system works, and how to understand, fix, and avoid common problems. Topics covered include algebra, calculus, linear algebra, graphics, programming, and procedures. Each chapter contains numerous illustrative examples, using mathematics that does not extend beyond first-year undergraduate material. Maple worksheets containing these examples are available for download from the author's personal website. The book is suitable for new users, but where advanced topics are central to understanding Maple they are tackled head-on. Many concepts which are absent from introductory books and manuals are described in detail. With this book, students, teachers and researchers will gain a solid understanding of Maple and how to use it to solve complex mathematical problems in a simple and efficient way.

Data structures are the fundamental building blocks of any computer program, used for storing, representing and manipulating data in a computer. This text presents the basic concepts of data structures as part of the art of writing computer programs. The author concentrates on the fundamentals of what should be done to solve a problem efficiently rather than technical implementation details. The text includes pseudocode and covers all the most common data structures, such as queues, stacks, trees, heaps, and hash tables, along with the basics of searching, sorting, and coding. This book can supplement any undergraduate algorithms or discrete math course and will also be accessible to students and researchers in other quantitative disciplines. No prerequisites beyond introductory programming and basic mathematics are required, and the accessible, conceptual presentation will appeal to undergraduates in many quantitative fields. Carefully designed problem sets with selected solutions wil

Data structures are the fundamental building blocks of any computer program, used for storing, representing and manipulating data in a computer. This text presents the basic concepts of data structures as part of the art of writing computer programs. The author concentrates on the fundamentals of what should be done to solve a problem efficiently rather than technical implementation details. The text includes pseudocode and covers all the most common data structures, such as queues, stacks, trees, heaps, and hash tables, along with the basics of searching, sorting, and coding. This book can supplement any undergraduate algorithms or discrete math course and will also be accessible to students and researchers in other quantitative disciplines. No prerequisites beyond introductory programming and basic mathematics are required, and the accessible, conceptual presentation will appeal to undergraduates in many quantitative fields. Carefully designed problem sets with selected solutions wil

本書從應用程式設計的角度解釋x86處理器的內部架構和執行環境，全面介紹如何用x86組合語言編寫可被高階語言調用的函數。主要內容包括：x86-32核心架構（第1章和第2章），x87浮點單元（第3章和第4章），MMX技術（第5章和第6章），流式SIMD擴展（第7章至第11章），高級向量擴展（第12章至第16章），x86-64核心架構（第17章和第18章），x86-64SSE和AVX（第19章和第20章

Discover practical and easy ways to program your Amazon Echo Dot!If you’re an owner, or soon-to-be owner, of an Amaozn Echo Dot—then you know just how easy this little device can make your life.And yo

本書作者就是 15 年前編寫了 Programming Ruby，將 Ruby 帶入大眾視野的 Dave Thomas。這一次他延續了一貫的寫作風格，以一個擁有物件導向的開發經歷但並未接觸過函數式程式設計的開發者的角度切入，循序漸進地帶領讀者進入 Elixir 的奇妙世界。通過一步步的實驗探索，引導讀者逐步跳出已有的程式設計思維模式，以全新的函數式程式設計方式來思考及尋找解決實際問題的辦法。然而本

Storytelling is a fundamental mode of everyday interaction. This book is based upon the Narrative Corpus (NC), a specialized corpus of naturally occurring narratives, and provides new paths for its study. Christoph Rühlemann uses the NC's narrative-specific annotation and XPath and XQuery, query languages that allow the retrieval of complex data structures, to facilitate large-scale quantitative investigations into how narrators and recipients collaborate in storytelling. Empirical analyses are validated using R, a programming language and environment for statistical computing and graphics. Using this unique data and methodological base, Rühlemann reveals new insights, including the discovery of turntaking patterns specific to narrative, the first investigation of textual colligation in spoken data, the unearthing of how speech reports, as discourse units, form striking patterns at utterance level, and the identification of the story climax as the sequential context in which recipient

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with

The majority of empirical research in economics ignores the potential benefits of nonparametric methods, while the majority of advances in nonparametric theory ignore the problems faced in applied econometrics. This book helps bridge this gap between applied economists and theoretical nonparametric econometricians. It discusses in depth, and in terms that someone with only one year of graduate econometrics can understand, basic to advanced nonparametric methods. The analysis starts with density estimation and motivates the procedures through methods that should be familiar to the reader. It then moves on to kernel regression, estimation with discrete data, and advanced methods such as estimation with panel data and instrumental variables models. The book pays close attention to the issues that arise with programming, computing speed, and application. In each chapter, the methods discussed are applied to actual data, paying attention to presentation of results and potential pitfalls.

The majority of empirical research in economics ignores the potential benefits of nonparametric methods, while the majority of advances in nonparametric theory ignore the problems faced in applied econometrics. This book helps bridge this gap between applied economists and theoretical nonparametric econometricians. It discusses in depth, and in terms that someone with only one year of graduate econometrics can understand, basic to advanced nonparametric methods. The analysis starts with density estimation and motivates the procedures through methods that should be familiar to the reader. It then moves on to kernel regression, estimation with discrete data, and advanced methods such as estimation with panel data and instrumental variables models. The book pays close attention to the issues that arise with programming, computing speed, and application. In each chapter, the methods discussed are applied to actual data, paying attention to presentation of results and potential pitfalls.

Now in its third edition, this outstanding textbook explains everything you need to get started using MATLAB®. It contains concise explanations of essential MATLAB commands, as well as easily understood instructions for using MATLAB's programming features, graphical capabilities, simulation models, and rich desktop interface. MATLAB 8 and its new user interface is treated extensively in the book. New features in this edition include: a complete treatment of MATLAB's publish feature; new material on MATLAB graphics, enabling the user to master quickly the various symbolic and numerical plotting routines; and a robust presentation of MuPAD® and how to use it as a stand-alone platform. The authors have also updated the text throughout, reworking examples and exploring new applications. The book is essential reading for beginners, occasional users and experienced users wishing to brush up their skills. Further resources are available from the authors' website at www-math.umd.edu/schol/a-gu

A solid introduction to mathematical modeling for a range of chemical engineering applications, covering model formulation, simplification and validation. It explains how to describe a physical/chemical reality in mathematical language and how to select the type and degree of sophistication for a model. Model reduction and approximation methods are presented, including dimensional analysis, time constant analysis and asymptotic methods. An overview of solution methods for typical classes of models is given. As final steps in model building, parameter estimation and model validation and assessment are discussed. The reader is given hands-on experience of formulating new models, reducing the models and validating the models. The authors assume the knowledge of basic chemical engineering, in particular transport phenomena, as well as basic mathematics, statistics and programming. The accompanying problems, tutorials, and projects include model formulation at different levels, analysis, pa

這本書是一本C++的經典之作，為了讓台灣的讀者不會有遺珠之憾，博碩文化特地引進本書，並將之編為《名家名著》系列第05號書籍。兩位作者的來頭都不小(請見作者簡介)，而本書更是作者十年磨一劍的經典之作。 作者Koenig在C++的整個發展過程中具有舉足輕重的地位，是C++社群中最受尊敬的大師之一。他的文章以樸實而又精深的思想，準確而又權威的論述，，成為業界公認的『正統C++之聲』。本書命名為《Rumi

Separation logic is the twenty-first-century variant of Hoare logic that permits verification of pointer-manipulating programs. This book covers practical and theoretical aspects of separation logic at a level accessible to beginning graduate students interested in software verification. On the practical side it offers an introduction to verification in Hoare and separation logics, simple case studies for toy languages, and the Verifiable C program logic for the C programming language. On the theoretical side it presents separation algebras as models of separation logics; step-indexed models of higher-order logical features for higher-order programs; indirection theory for constructing step-indexed separation algebras; tree-shares as models for shared ownership; and the semantic construction (and soundness proof) of Verifiable C. In addition, the book covers several aspects of the CompCert verified C compiler, and its connection to foundationally verified software analysis tools. All c

程式設計（programming）是資訊科學一門相當重要的課程，也是數十年來資訊教育上最大的挑戰，因為初學者學習程式設計所面臨的最大問題，就是不了解程式邏輯（program logic），我們學習程式設計，不只需要學會程式語言的語法，更重要的是學會電腦的程式邏輯。本書的範例專案是從問題出發，在定義問題後寫出演算法的步驟，然後繪出流程圖，最後套用適當Visual Basic語法將流程圖轉換成程式碼，

This book is an integrated approach to kinematic and dynamic analysis. The matrix techniques presented are general and fully applicable to two- or three-dimensional systems. They lend themselves to programming and digital computation and can act as the basis of a usable tool for designers. Techniques have broad applicability to the design analysis of all multibody mechanical systems. The more powerful and more flexible the approach, and the less specialisation and reprogramming required for each application, the better. The matrix methods presented have been developed using these ideas as primary goals. Matrix methods can be applied by hand to such problems as the slider-crank mechanism, but this is not the intent of this text, and often the rigor required for such an attempt becomes quite burdensome in comparison with other techniques. The matrix methods have been extensively tested, both in the classroom and in the world of engineering industry.

Fairs, festivals and competitive events play a crucial role in the creative industries; yet their significance has been largely overlooked. This book explores the role of such events through a series of studies that include some of the most iconic fairs and festivals in the world. It brings together a team of distinguished scholars to examine art fairs, biennales, auctions, book fairs, television programming markets, film festivals, animation film festivals, country music festivals, fashion weeks, wine classifications and wine tasting events. This diverse set of studies shows that such events serve a variety of purposes: as field-configuring events (FCEs), as a way of ritualising industry practices and as 'tournaments of values' where participants negotiate different cultural values to resolve economic issues. Suitable for academics and practitioners, this book presents a fascinating perspective on the role and importance of fairs, festivals and competitive events in the creative indus

What is knowledge and how is it represented? This book focuses on the idea of formalising knowledge as relations, interpreting knowledge represented in databases or logic programs as relational data and discovering new knowledge by identifying hidden and defining new relations. After a brief introduction to representational issues, the author develops a relational language for abstract machine learning problems. He then uses this language to discuss traditional methods such as clustering and decision tree induction, before moving onto two previously underestimated topics that are just coming to the fore: rough set data analysis and inductive logic programming. Its clear and precise presentation is ideal for undergraduate computer science students. The book will also interest those who study artificial intelligence or machine learning at the graduate level. Exercises are provided and each concept is introduced using the same example domain, making it easier to compare the individual pro

What is knowledge and how is it represented? This book focuses on the idea of formalising knowledge as relations, interpreting knowledge represented in databases or logic programs as relational data and discovering new knowledge by identifying hidden and defining new relations. After a brief introduction to representational issues, the author develops a relational language for abstract machine learning problems. He then uses this language to discuss traditional methods such as clustering and decision tree induction, before moving onto two previously underestimated topics that are just coming to the fore: rough set data analysis and inductive logic programming. Its clear and precise presentation is ideal for undergraduate computer science students. The book will also interest those who study artificial intelligence or machine learning at the graduate level. Exercises are provided and each concept is introduced using the same example domain, making it easier to compare the individual pro

Focusing on what actuaries need in practice, this introductory account provides readers with essential tools for handling complex problems and explains how simulation models can be created, used and re-used (with modifications) in related situations. The book begins by outlining the basic tools of modelling and simulation, including a discussion of the Monte Carlo method and its use. Part II deals with general insurance and Part III with life insurance and financial risk. Algorithms that can be implemented on any programming platform are spread throughout and a program library written in R is included. Numerous figures and experiments with R-code illustrate the text. The author's non-technical approach is ideal for graduate students, the only prerequisites being introductory courses in calculus and linear algebra, probability and statistics. The book will also be of value to actuaries and other analysts in the industry looking to update their skills.

The principles of cognition are becoming increasingly important in the areas of signal processing, communications and control. In this groundbreaking book, Simon Haykin, a pioneer in the field and an award-winning researcher, educator and author, sets out the fundamental ideas of cognitive dynamic systems. Weaving together the various branches of study involved, he demonstrates the power of cognitive information processing and highlights a range of future research directions. The book begins with a discussion of core topics such as cognition and sensing, dealing, in particular, with the perception-action cycle. Bayesian filtering, machine learning and dynamic programming are then addressed. Building on these foundations, there is detailed coverage of two important practical applications, cognitive radar and cognitive radio. Blending theory and practice, this insightful book is aimed at all graduate students and researchers looking for a thorough grounding in this fascinating field.

This book presents an integrated collection of representative approaches for scaling up machine learning and data mining methods on parallel and distributed computing platforms. Demand for parallelizing learning algorithms is highly task-specific: in some settings it is driven by the enormous dataset sizes, in others by model complexity or by real-time performance requirements. Making task-appropriate algorithm and platform choices for large-scale machine learning requires understanding the benefits, trade-offs and constraints of the available options. Solutions presented in the book cover a range of parallelization platforms from FPGAs and GPUs to multi-core systems and commodity clusters, concurrent programming frameworks including CUDA, MPI, MapReduce and DryadLINQ, and learning settings (supervised, unsupervised, semi-supervised and online learning). Extensive coverage of parallelization of boosted trees, SVMs, spectral clustering, belief propagation and other popular learning algo

This advanced textbook on modeling, data analysis and numerical techniques for marine science has been developed from a course taught by the authors for many years at the Woods Hole Oceanographic Institute. The first part covers statistics: singular value decomposition, error propagation, least squares regression, principal component analysis, time series analysis and objective interpolation. The second part deals with modeling techniques: finite differences, stability analysis and optimization. The third part describes case studies of actual ocean models of ever increasing dimensionality and complexity, starting with zero-dimensional models and finishing with three-dimensional general circulation models. Throughout the book hands-on computational examples are introduced using the MATLAB programming language and the principles of scientific visualization are emphasised. Ideal as a textbook for advanced students of oceanography on courses in data analysis and numerical modeling, the boo

Fairs, festivals and competitive events play a crucial role in the creative industries; yet their significance has been largely overlooked. This book explores the role of such events through a series of studies that include some of the most iconic fairs and festivals in the world. It brings together a team of distinguished scholars to examine art fairs, biennales, auctions, book fairs, television programming markets, film festivals, animation film festivals, country music festivals, fashion weeks, wine classifications and wine tasting events. This diverse set of studies shows that such events serve a variety of purposes: as field-configuring events (FCEs), as a way of ritualising industry practices and as 'tournaments of values' where participants negotiate different cultural values to resolve economic issues. Suitable for academics and practitioners, this book presents a fascinating perspective on the role and importance of fairs, festivals and competitive events in the creative indus

The arrival and popularity of multi-core processors has sparked a renewed interest in the development of parallel programs. Similarly, the availability of low-cost microprocessors and sensors has generated a great interest in embedded real-time programs. This book provides students and programmers whose backgrounds are in traditional sequential programming with the opportunity to expand their capabilities into parallel, embedded, real-time and distributed computing. It also addresses the theoretical foundation of real-time scheduling analysis, focusing on theory that is useful for actual applications. Written by award-winning educators at a level suitable for undergraduates and beginning graduate students, this book is the first truly entry-level textbook in the subject. Complete examples allow readers to understand the context in which a new concept is used, and enable them to build and run the examples, make changes, and observe the results.

Cloud computing promises to revolutionize IT and business by making computing available as a utility over the internet. This book is intended primarily for practising software architects who need to assess the impact of such a transformation. It explains the evolution of the internet into a cloud computing platform, describes emerging development paradigms and technologies, and discusses how these will change the way enterprise applications should be architected for cloud deployment. Gautam Shroff provides a technical description of cloud computing technologies, covering cloud infrastructure and platform services, programming paradigms such as MapReduce, as well as 'do-it-yourself' hosted development tools. He also describes emerging technologies critical to cloud computing. The book also covers the fundamentals of enterprise computing, including a technical introduction to enterprise architecture, so it will interest programmers aspiring to become software architects and serve as a re

This 2004 book is an accessible and comprehensive introduction to machine vision. It provides all the necessary theoretical tools and shows how they are applied in actual image processing and machine vision systems. A key feature is the inclusion of many programming exercises that give insights into the development of practical image processing algorithms. The authors begin with a review of mathematical principles and go on to discuss key issues in image processing such as the description and characterization of images, edge detection, restoration and feature extraction, segmentation, texture and shape. They also discuss image matching, statistical pattern recognition, clustering, and syntactic pattern recognition. Important applications are described, including optical character recognition and automatic target recognition. Software and data used in the book can be found at www.cambridge.org/9780521830461. A useful reference for practitioners, the book is aimed at graduate students in

Programming 是電腦科技的核心主題。學習電腦程式語言，應以程式實例為主軸，來貫串整個語言系統。本書足以協助讀者在短期內有能力設計出正確、有效率、穩固、易懂、易維護和修飾的程式。 學習程式語言的最好方法，就是從範例程式著手。讀者務必實際上機操作，從中學習語言的特性。本書所有程式範例，都經作者親自測試正確可靠，節省讀者寶貴的時間。此外作者為教學精心設計的教學投影片檔案，方便教師教學。 這

Like differentiability, convexity is a natural and powerful property of functions that plays a significant role in many areas of mathematics, both pure and applied. It ties together notions from topology, algebra, geometry and analysis, and is an important tool in optimization, mathematical programming and game theory. This book, which is the product of a collaboration of over 15 years, is unique in that it focuses on convex functions themselves, rather than on convex analysis. The authors explore the various classes and their characteristics and applications, treating convex functions in both Euclidean and Banach spaces. The book can either be read sequentially for a graduate course, or dipped into by researchers and practitioners. Each chapter contains a variety of specific examples, and over 600 exercises are included, ranging in difficulty from early graduate to research level.

Over the past two decades there have been significant advances in the field of optimization. In particular, convex optimization has emerged as a powerful signal processing tool, and the variety of applications continues to grow rapidly. This book, written by a team of leading experts, sets out the theoretical underpinnings of the subject and provides tutorials on a wide range of convex optimization applications. Emphasis throughout is on cutting-edge research and on formulating problems in convex form, making this an ideal textbook for advanced graduate courses and a useful self-study guide. Topics covered range from automatic code generation, graphical models, and gradient-based algorithms for signal recovery, to semidefinite programming (SDP) relaxation and radar waveform design via SDP. It also includes blind source separation for image processing, robust broadband beamforming, distributed multi-agent optimization for networked systems, cognitive radio systems via game theory, and t

本書為那些正在考慮應用敏捷開發來構建有價值軟件的人們提供了實用的指導。現在已經有大量的書籍描述敏捷開發是什么或者為什么它能幫助軟件項目成功，但很少有哪一本書能把針對開發者、管理者、測試者和客戶的信息合并成一個整體，從而使其能夠直接應用。 本書為敏捷的計劃、開發、交付和管理提供了嚴謹的建議，這些建議來自于作者多年的極限編程(Extreme Programming，XP)經驗。你將看到敏捷開發過程的

The authoritative reference on NEURON, the simulation environment for modeling biological neurons and neural networks that enjoys wide use in the experimental and computational neuroscience communities. This book shows how to use NEURON to construct and apply empirically based models. Written primarily for neuroscience investigators, teachers, and students, it assumes no previous knowledge of computer programming or numerical methods. Readers with a background in the physical sciences or mathematics, who have some knowledge about brain cells and circuits and are interested in computational modeling, will also find it helpful. The NEURON Book covers material that ranges from the inner workings of this program, to practical considerations involved in specifying the anatomical and biophysical properties that are to be represented in models. It uses a problem-solving approach, with many working examples that readers can try for themselves.

面向對象程序設計（Object—Oriented Programming，OOP），指的是一種程序開發的方法論。它將對象作為程序的基本單元，將操作和數據封裝其中，以提高軟件的重用性、靈活性和擴展性。 目前已經證實面向對象程序設計加強了程序的靈活性、重用性和可維護性，并且在大型項目設計中廣為應用。面向對象程序設計能夠讓人們更簡單地設計并維護程序，使得程序更加便于分析、設計和理解。 OOP有三個特性

Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a website containing teaching materials, online demos, and free downloads of the language. After a basic tutorial, the author describes in detail the CHR language and discusses guaranteed properties of CHR programs. The author then compares CHR with other formalisms and languages and illustrates how it can capture their essential features. Finally, larger programs are introduced and analyzed in detail. The book is ideal for graduate students and lecturers, and for more experienced programmers and researchers, who can use it for self-study. Exercises with selected solutions, and bibliographic remarks are included at the ends of chapters. The book is the definitive reference on the subject.

Computers and the Law provides readers with an introduction to the legal issues associated with computing – particularly in the massively networked context of the Internet. Assuming no previous knowledge of the law or any special knowledge of programming or computer science, this textbook offers undergraduates of all disciplines and professionals in the computing industry an understanding of basic legal principles and an awareness of the peculiarities associated with legal issues in cyberspace. This is not a law school casebook, but rather a variety of carefully chosen, relevant cases presented in redacted form. The full cases are available on an ancillary Web site. The pervasiveness of computing in modern society has generated numerous legal ambiguities. This book introduces readers to the fundamental workings of the law in physical space and suggests the opportunity to create new types of laws with nontraditional goals.

The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital component of program construction and of programming language design. This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that methods are described with reference to actual implementations (for which code is supplied) that readers can use, modify and experiment with. This book is ideally suited for those seeking a one-stop source for the general area of automated reasoning. It can be used as a reference, or as a place to learn the fundamentals, either in conjunction with advanced courses or for self study.

A scathing and prescient look at television news?now updated for the new tech-savvy generationTelevision news : genuine information or entertainment fodder? Fifteen years ago, Neil Postman, a pioneer in media education and author of the bestselling Amusing Ourselves to Death, and Steve Powers, an award-winning broadcast journalist, concluded that anyone who relies exclusively on their television for accurate world news is making a big mistake. A cash cow laden with money from advertisers, so-called news shows glut viewers with celebrity coverage at the cost of things they really should know. Today, this message is still appallingly true but the problems have multiplied? along with the power of the Internet and the abundance of cable channels. A must-read for anyone concerned with the way media is manipulating our worldview, this newly revised edition addresses the evolving technology and devolving quality of America?s television news programming.

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 prof