Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3) - Image 1

£107.98

Springer Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)

Name: Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)
Brand: Springer
Price: 107.98 GBP
Availability: InStock

Compilers

This is the most expensive it has ever been. Walk away.

£108 today · previous high £108 · all-time low £107

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 65 days • 65 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 65 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £108 (38 days, 58.5%)

Price range: £107 - £108

Price levels: 2 different prices over 65 days

Description

Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation. The theory of domains has proved to be a useful tool for programming languages and other areas of computer science, and for applications in mathematics. Included in this proceedings volume are selected papers of original research presented at the 2nd International Symposium on Domain Theory in Chengdu, China. With authors from France, Germany, Great Britain, Ireland, Mexico, and China, the papers cover the latest research in these sub-areas: domains and computation, topology and convergence, domains, lattices, and continuity, and representations of domains as event and logical structures. Researchers and students in theoretical computer science should find this a valuable source of reference. The survey papers at the beginning should be of particular interest to those who wish to gain an understanding of some general ideas and techniques in this area.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 9048165237
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Publication Date: 25 December 2010
Listed Since: 01 October 2010

Barcode

No barcode data available

Springer Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Logic of Domains (Progress in Theoretical Computer Science)

Domains and Lambda-Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)

Semantic Domains in Computational Linguistics

THEORETICAL COMPUTER SCIENCE - PROCEEDINGS OF THE 10TH ITALIAN CONFERENCE ON ICTCS '07

Number Theoretic Methods: Future Trends: 8 (Developments in Mathematics, 8)

The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today: 3 (Logic, Epistemology, and the Unity of Science, 3)

Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)

Set Theory: Techniques and Applications Curaçao 1995 and Barcelona 1996 Conferences

Samson Abramsky on Logic and Structure in Computer Science and Beyond: 25 (Outstanding Contributions to Logic, 25)

Frontiers of Computational Science: Proceedings of the International Symposium on Frontiers of Computational Science 2005

Computability and Models: Perspectives East and West (University Series in Mathematics)

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

Logics for Computer Science: Classical and Non-Classical

Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)

Symbolic Asymptotics: 12 (Algorithms and Computation in Mathematics, 12)

Between Logic and Reality: Modeling Inference, Action and Understanding: 25 (Logic, Epistemology, and the Unity of Science, 25)

Topological and Algebraic Structures in Fuzzy Sets: A Handbook of Recent Developments in the Mathematics of Fuzzy Sets: 20 (Trends in Logic, 20)

Computing Meaning: Volume 2: 77 (Studies in Linguistics and Philosophy)

Modeling and Control of Logical Discrete Event Systems: 300 (The Springer International Series in Engineering and Computer Science, 300)

Automata, Universality, Computation: Tribute to Maurice Margenstern: 12 (Emergence, Complexity and Computation, 12)

Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics: 17 (Trends in Logic, 17)

Domain Decomposition Methods in Science and Engineering XX: 91 (Lecture Notes in Computational Science and Engineering, 91)

An Introduction to Formal Languages and Machine Computation

Computing Meaning: Volume 1: 73 (Studies in Linguistics and Philosophy, 73)