- 5 resultaten
laagste prijs: € 152,86, hoogste prijs: € 189,07, gemiddelde prijs: € 172,04
1
Domain Theory, Logic and Computation : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 - Guo-Qiang Zhang
bestellen
bij ZVAB.com
€ 171,19
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Guo-Qiang Zhang:

Domain Theory, Logic and Computation : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 - pocketboek

2010, ISBN: 9048165237

[EAN: 9789048165230], Neubuch, [SC: 0.0], [PU: Springer Netherlands], AREA; CONGRUENCE; LATTICE; MATHEMATICA; NATURAL; VOLUME; ALGORITHMS; DATASTRUCTURES; PROGRAMMINGLANGUAGE; SEMANTICS, … Meer...

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
dichtslaan (X)
2
Domain Theory, Logic and Computation - Guo-Qiang Zhang; J. Lawson; Ying Ming Liu; M.K. Luo
bestellen
bij Springer.com
€ 181,89
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link

Guo-Qiang Zhang; J. Lawson; Ying Ming Liu; M.K. Luo:

Domain Theory, Logic and Computation - pocketboek

ISBN: 9789048165230

Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reaso… Meer...

new in stock. Verzendingskosten:zzgl. Versandkosten. (EUR 0.00)
dichtslaan (X)
3
Domain Theory, Logic and Computation Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 - Guo-Qiang Zhang (Herausgeber); Luo, M. K. (Herausgeber); Ying Ming Liu (Herausgeber); Lawson, J. (Herausgeber)
bestellen
bij Achtung-Buecher.de
€ 189,07
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Guo-Qiang Zhang (Herausgeber); Luo, M. K. (Herausgeber); Ying Ming Liu (Herausgeber); Lawson, J. (Herausgeber):
Domain Theory, Logic and Computation Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 - pocketboek

2010

ISBN: 9048165237

Softcover reprint of the original 1st ed. 2003 Kartoniert / Broschiert Mathematische Grundlagen, Algebra, Geometrie, Philosophie: Logik, Compiler und Übersetzer, Area; Congruence; Latti… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
dichtslaan (X)
4
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 (Semantics Structures in Computation (3), Band 3)
bestellen
bij Amazon.de (Intern. Bücher)
€ 165,18
verzending: € 3,001
bestellen
Details aangeboden
Gesponsorde link
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 (Semantics Structures in Computation (3), Band 3) - pocketboek

2013, ISBN: 9789048165230

Springer, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 2003, 212 Seiten, Publiziert: 2013-10-04T00:00:01Z, Produktgruppe: Book, 0.76 kg, Logik, Philosophie, Sozialwisse… Meer...

Verzendingskosten:Les coûts d'expédition peuvent différer des coûts réels. (EUR 3.00)
dichtslaan (X)
5
Domain Theory, Logic and Computation - Guo-Qiang Zhang
bestellen
bij BookDepository.com
€ 152,86
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Guo-Qiang Zhang:
Domain Theory, Logic and Computation - pocketboek

2001, ISBN: 9789048165230

Paperback, [PU: Springer], Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001, Philosophy: Logic

Verzendingskosten:Sans frais d'envoi. (EUR 0.00)
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 (Semantics Structures in Computation (3), Band 3)
auteur:
Titel:
ISBN:

9789048165230


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.

Gedetalleerde informatie over het boek. - Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 (Semantics Structures in Computation (3), Band 3)


EAN (ISBN-13): 9789048165230
ISBN (ISBN-10): 9048165237
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Zhang, Guo-Qiang, Springer
212 Bladzijden
Gewicht: 0,345 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-03-25T03:00:51+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2022-08-15T02:25:38+02:00 (Amsterdam)
ISBN/EAN: 9789048165230

ISBN - alternatieve schrijfwijzen:
90-481-6523-7, 978-90-481-6523-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: ming, guo, luo
Titel van het boek: semantic domain, logic and structure, sichuan, domain theory, computation structures, china

Gegevens van de uitgever

Auteur: Guo-Qiang Zhang; J. Lawson; Ying Ming Liu; M.K. Luo
Titel: Semantics Structures in Computation; Domain Theory, Logic and Computation - Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Uitgeverij: Springer; Springer Netherland
197 Bladzijden
Verschijningsjaar: 2010-12-25
Dordrecht; NL
Gedrukt / Gemaakt in
Gewicht: 0,454 kg
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XII, 197 p.

BC; Logic; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Area; Congruence; Lattice; Mathematica; Natural; Volume; algorithms; data structures; logic; programming language; semantics; Order, Lattices, Ordered Algebraic Structures; Geometry; Mathematical Logic and Foundations; Programming Languages, Compilers, Interpreters; Logic; Order, Lattices, Ordered Algebraic Structures; Geometry; Mathematical Logic and Foundations; Compilers and Interpreters; Algebra; Geometrie; Mathematik: Logik; Mathematische Grundlagen; Compiler und Übersetzer

Preface. Contributing authors. 1: Playful, streamlike computation; P.-L. Curien. 1. Prologue: playing with Böhm trees. 2. Introduction. 3. Symmetric algorithms, sequential algorithms. 4. Related works. 5. Control. 6. A few more remarks. 2: Universal types and what they are good for; J.R. Longley. 1. Universal objects. 2. lambda-algebras. 3. Denotational semantics. 4. Universal types. 5. Syntax and semantics of PCF. 6. Examples of universal types. 7. Conclusions and further directions. 3: Relational representations of hyper-continuous lattices; Xiao-Quan Xu, Ying-Ming Liu. 1. Preliminaries. 2. Regular representations of completely distributive lattices. 3. Finitely regular representations of hyper-continuous lattices. 4: Convergence classes and spaces of partial functions; A.K. Seda, R. Heinze, P. Hitzler. 1. Introduction. 2. Convergence spaces and convergence classes. 3. Convergence classes and VDM. 4. Compactness of (X --> Y). 5. Conclusions and further work. 5: On meet-continuous dcpos; Hui Kou, Ying-Ming Liu, Mao-Kang Luo. 1. Introduction. 2. Basic properties of meet-continuous dcpos. 3. Dcpos with the Hausdorff Lawson topology. 4. Adjunctions between quasicontinuous domains and continuous domains. 5. Scott-open filters. 6. Concluding remarks. 6: External characterizations of continuous sL-domains; LuoshanXu. 1. Introduction. 2. Preliminaries. 3. Continuous sL-domains and their characterizations by function spaces. 4. External characterizations by posets of ideals. 7: Projectives and injectives in the category of quantales; Yong-Ming Li, Meng Zhou. 1. Introduction. 2. Regular projectives in the category of quantales. 3. Injective objects in the category of quantales. 8: On minimal event and concrete data structures; F. Bracho, M. Droste, I. Meinecke. 1. Introduction. 2. Event structures, concrete data structures and their domains. 3. Congruences on prime intervals and associated structures. 4. Maximal and minimal structures. 5. Conclusion. 9: A note on strongly finite sequent structures; D. Spreen, R. Greb. 1. Introduction. 2. Basic definitions and results. 3. Domain constructions. 4. Strongly finite sequent structures. 5. Sequent structures and preorders. 6. Constructions on preorders. 7. Conclusion.
Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9789401712910 Domain Theory, Logic and Computation (J. Lawson; Ying Ming Liu; M.K. Luo; Guo-Qiang Zhang)

< naar Archief...