Ying Ming Liu – författare
Visar alla böcker från författaren Ying Ming Liu. Handla med fri frakt och snabb leverans.
6 produkter
Domains and Processes
Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
Av Klaus Keimel, Guo-Qiang Zhang m. fl.
Inbunden, 2001
1093 kr
Lägg i varukorg
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 …
Domain Theory, Logic and Computation
Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Av Guo-Qiang Zhang, J. Lawson m. fl.
Inbunden, 2004
1636 kr
Lägg i varukorg
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 …
Domain Theory, Logic and Computation
Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Av Guo-Qiang Zhang, J. Lawson m. fl.
Häftad, 2010
1636 kr
Lägg i varukorg
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 …
Domains and Processes
Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
Av Yixiang Chen, Ying Ming Liu m. fl.
E-bok, 2012
1459 kr
Lägg i varukorg
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 …
Domains and Processes
Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
Av Klaus Keimel, Guo-Qiang Zhang m. fl.
Häftad, 2012
1093 kr
Lägg i varukorg
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 …
Domain Theory, Logic and Computation
Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Av M.K. Luo, Ying Ming Liu m. fl.
E-bok, 2013
2111 kr
Lägg i varukorg
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 …
