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

£84.49

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: 84.49 GBP
Availability: InStock

Architecture & Microprocessors

This is the usual price. Wait for it to drop, or tell us your number.

£84 today · usual range £0–£0 · best ever £52

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 583 days • 583 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 583 days • 9 price levels

Days at Price

Current Price

Price Analysis

Most common price: £85 (321 days, 55.1%)

Price range: £52 - £111

Price levels: 9 different prices over 583 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: Hardcover
ASIN: 1402018320
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 31 January 2004
Listed Since: 13 December 2006

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 usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999: 1 (Semantics Structures in Computation, 1)

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

Domain Engineering: Product Lines, Languages, and Conceptual Models

Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Model-Driven Domain Analysis and Software Development: Architectures and Functions (Premier Reference Source)

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

Springer Domain Decomposition Methods in Science and Engineering XVI

Algebraic Structures of Symmetric Domains (Princeton Legacy Library)

Domain Name Law and Practice: An International Handbook

Domain-Driven Design: Tackling Complexity in the Heart of Software

Domain Decomposition Methods in Science and Engineering XIX: 78 (Lecture Notes in Computational Science and Engineering, 78)

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

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

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

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

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Proof and System-Reliability: v. 62 (NATO Science Series II)

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Formal Concept Analysis: Mathematical Foundations

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)