Copied Domain Theory, Logic and Computation
Domain Theory, Logic and Computation
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$129.00 | $129.00 |
|
$129.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Computational Neuroscience
$89.99
Achieving Teaching Quality in Sub-Saharan Africa
$54.99
Handbook of Public Finance
$259.00
Contemporary Intervention Research in Learning Disabilities
$39.99
IT-Lsungen auf Basis von SysML und UML
$29.99
Industrial Wastewater Reuse
$199.99
k-Schur Functions and Affine Schubert Calculus
$89.00
Heaven by Randy Alcorn
$27.99
Human Centered Computing
$39.99
Theory and Application of Satisfiability Testing
$39.99
Effectiveness of Time Investments in Education
$54.99
Decision Support Systems for Weed Management
$149.00
ber Kindliche Selbstmrder
$44.99
Acoustical Imaging
$219.99
A Visual Guide to Scleroderma and Approach to Treatment
$109.99
Die Fernrohre und Entfernungsmesser
$69.99
Terrestrial and Inland Water Environment of the Kaliningrad Region
$449.99
History and Physical for the Pediatric Dental Patient
$139.99
Urban Mining and Sustainable Waste Management
$159.99
ICT Innovations for Sustainability
$249.99
From Curve Fitting to Machine Learning
$109.99
Atlas of Sinonasal Tract Pathology
$279.99
Non-State Actors in the Protection of Cultural Heritage
$129.99
On Superconductivity and Superfluidity
$39.99
Ethopharmacology of Agonistic Behaviour in Animals and Humans
$39.99
Sphingolipid Biochemistry
$54.99
Heterocyclic Antitumor Antibiotics
$169.00
Computational Mechanics of the Classical Guitar
$84.99
Proteases in Apoptosis: Pathways, Protocols and Translational Advances
$109.99
Linking Theory and Practice of Digital Libraries
$139.99
Formeln und Tabellen zur Technischen Mechanik
$14.99
Para Selena, Con Amor by Chris Perez
$19.00
Tauberian Theory of Wave Fronts in Linear Hereditary Elasticity
$39.99
Daily Poison
$32.99
Envisioning TESOL through a Translanguaging Lens
$199.99
Solar Dynamics and its Effects on the Heliosphere and Earth
$129.00
Advances in Cryptology ASIACRYPT98
$39.99
Mathematical Modeling for Epidemiology and Ecology
$59.99
Technische Mechanik 2 - Elastostatik
$64.99
Handbook of Early Intervention for Autism Spectrum Disorders
$349.00
