Domains and Processes Image close
Domains and Processes on Hardback
Domains and Processes on Hardback
Show Hide Adult Content
Domains and Processes close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Domains and Processes

Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$271.99
RRP:
$349.95 save $77.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $68.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Explore more Semantics Structures in Computation

See all products in this series

Domains and Processes Save $13
$269.99
$283.95
Domains and Processes
Paperback / softback
Available - Usually ships in 3-4 weeks
Call-By-Push-Value on Hardback by P.B. Levy
$488.99
Call-By-Push-Value
by P.B. Levy ~ Hardback
Available - Usually ships in 3-4 weeks
Domain Theory, Logic and Computation on Hardback
$412.99
Domain Theory, Logic and Computation
Hardback
Available - Usually ships in 3-4 weeks
Call-By-Push-Value by P.B. Levy Save $64
$341.99
$406.95
Call-By-Push-Value
by P.B. Levy ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi. This book should prove a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.
Release date Australia
October 31st, 2001
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Contributors
  • Edited by Guo-Qiang Zhang
  • Edited by Klaus Keimel
  • Edited by Ying Ming Liu
  • Edited by Yixiang Chen
Illustrations
XIV, 273 p.
Pages
273
Dimensions
170x244x17
ISBN-13
9780792371434
Product ID
2822401

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation