Guo-Qiang Zhang – författare
Visar alla böcker från författaren Guo-Qiang Zhang. Handla med fri frakt och snabb leverans.
11 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 …
Formal Methods for the Analysis of Biomedical Ontologies
Av Guo-Qiang Zhang, Rashmie Abeysinghe m. fl.
Inbunden, 2022
764 kr
Lägg i varukorg
The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almost inevitably involves manual work, formal methods are a particularly useful tool for …
Formal Methods for the Analysis of Biomedical Ontologies
Av Licong Cui, Rashmie Abeysinghe m. fl.
E-bok, 2022
652 kr
Lägg i varukorg
The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almost inevitably involves manual work, formal methods are a particularly useful tool for …
Formal Methods for the Analysis of Biomedical Ontologies
Av Guo-Qiang Zhang, Rashmie Abeysinghe m. fl.
Häftad, 2023
757 kr
Lägg i varukorg
The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almost inevitably involves manual work, formal methods are a particularly useful tool for …
Formal Methods for the Analysis of Biomedical Ontologies
Av Guo-Qiang Zhang, Rashmie Abeysinghe m. fl.
Inbunden, 2025
624 kr
Lägg i varukorg
This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies. The authors take a pragmatic approach focused on generating actionable insights to achieve high-quality codified biomedical knowledge in the most active …
Formal Methods for the Analysis of Biomedical Ontologies
Av Licong Cui, Rashmie Abeysinghe m. fl.
E-bok, 2025
797 kr
Lägg i varukorg
This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies. The authors take a pragmatic approach focused on generating actionable insights to achieve high-quality codified biomedical knowledge in the most active …
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 …
