SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Zhang Guo-Qiang Zhang | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 8 tuotetta
Haluatko tarkentaa hakukriteerejä?



Domain Theory, Logic and Computation - Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October
Guo-Qiang Zhang; J. Lawson; Ying Ming Liu; M.K. Luo
Springer-Verlag New York Inc. (2004)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Domain Theory, Logic and Computation : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October
Guo-Qiang Zhang (ed.); J. Lawson (ed.); Ying Ming Liu (ed.); M.K. Luo (ed.)
Springer (2010)
Pehmeäkantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for the Analysis of Biomedical Ontologies
Guo-Qiang Zhang; Rashmie Abeysinghe; Licong Cui
Springer International Publishing AG (2022)
Kovakantinen kirja
64,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for the Analysis of Biomedical Ontologies
Zhang Guo-Qiang Zhang; Abeysinghe Rashmie Abeysinghe; Cui Licong Cui
Springer Nature B.V. (2022)
Pehmeäkantinen kirja
115,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for the Analysis of Biomedical Ontologies
Guo-Qiang Zhang; Rashmie Abeysinghe; Licong Cui
Springer International Publishing AG (2023)
Pehmeäkantinen kirja
59,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Domains and Processes - Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
Klaus Keimel; Guo-Qiang Zhang; Ying Ming Liu; Yixiang Chen
Springer (2001)
Kovakantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Domains and Processes - Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
Klaus Keimel; Guo-Qiang Zhang; Ying Ming Liu; Yixiang Chen
Springer (2012)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Generalized Plasticity
Mao-Hong Yu; Guo-Wei Ma; Hong-Fu Qiang; Yong-Qiang Zhang
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Domain Theory, Logic and Computation - Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October
129,90 €
Springer-Verlag New York Inc.
Sivumäärä: 197 sivua
Asu: Kovakantinen kirja
Painos: 2004
Julkaisuvuosi: 2004, 31.01.2004 (lisätietoa)
Kieli: Englanti
Tuotesarja: Semantics Structures in Computation 3
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Domain Theory, Logic and Computation - Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October
Näytä kaikki tuotetiedot
ISBN:
9781402018329
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste