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

 
9780792371434: Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999 (Semantics Structures in Computation, 1, Band 1)
Hardcover
ISBN 10: 0792371437 ISBN 13: 9780792371434
Verlag: Springer, 2001

Inhaltsangabe

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 is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2001
Sprache
Englisch
ISBN 10 
0792371437
ISBN 13 
9780792371434
Einband
Gebundene Ausgabe
Anzahl der Seiten
287
Herausgeber
Keimel Klaus, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  9401038597 ISBN 13:  9789401038591
Verlag: Springer, 2012
Softcover