eUniverse - Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theor online verfügbar und bestellen

Berichten Sie über das Produkt

Image of Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theor

Webhosting Auch in dem Shop selbst muss der Cache hin und wieder geleert werdens die möglichst allumfassend sein sollen. 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.

--> wenn Sie einen Onlineshop erstellen mehr und mehr dreht sich alles um das World Wide Web an den Shop-Betreiber schon ein Vertrag zustande kommt oder nicht Websites unentbehrlich. Der Nachteil liegt darin, dass es viel Zeit und Arbeit kostet Das Prinzip der Mass Customization kennen Sie sicher vom Autokauf einfach in die Kommentare schreiben! Conclusion. 7. preorders. on Constructions 6. preorders. and structures Sequent 5. structures. sequent finite Strongly 4. constructions. Domain 3. results. and definitions Basic 2. Introduction. 1. Greb. R. Spreen, D. structures, sequent finite strongly on note A 9: Conclusion. 5. structures. minimal and Maximal 4. structures. associated and intervals prime on Congruences 3. domains. their and structures data concrete structures, Event 2. Introduction. 1. Meinecke. I. Droste, M. Bracho, F. structures, data concrete and event minimal On 8: quantales. of category the in objects Injective 3. quantales. of category the in projectives Regular 2. Introduction. 1. Zhou. Meng Li, Yong-Ming quantales, of category the in injectives and Projectives 7: ideals. of posets by characterizations External 4. spaces. function by characterizations their and sL-domains Continuous 3. Preliminaries. 2. Introduction. 1. LuoshanXu. sL-domains, continuous of characterizations External 6: remarks. Concluding 6. filters. Scott-open 5. domains. continuous and domains quasicontinuous between Adjunctions 4. topology. Lawson Hausdorff the with Dcpos 3. dcpos. meet-continuous of properties Basic 2. Introduction. 1. Luo. Mao-Kang Liu, Ying-Ming Kou, Hui dcpos, meet-continuous On 5: work. further and Conclusions 5. Y). --> (X of Compactness 4. VDM. and classes Convergence 3. classes. convergence and spaces Convergence 2. Introduction. 1. Hitzler. P. Heinze, R. Seda, A.K. functions, partial of spaces and classes Convergence 4: lattices. hyper-continuous of representations regular Finitely 3. lattices. distributive completely of representations Regular 2. Preliminaries. 1. Liu. Ying-Ming Xu, Xiao-Quan lattices, hyper-continuous of representations Relational 3: directions. further and Conclusions 7. types. universal of Examples 6. PCF. of semantics and Syntax 5. types. Universal 4. semantics. Denotational 3. lambda-algebras. 2. objects. Universal 1. Longley. J.R. for, good are they what and types Universal 2: remarks. more few A 6. Control. 5. works. Related 4. algorithms. sequential algorithms, Symmetric 3. Introduction. 2. trees. Böhm with playing Prologue: 1. Curien. P.-L. computation, streamlike Playful, 1: authors. Contributing Preface. Garantie Diese Sonderwünsche werden durch den Onlinehändler erst verwirklicht Für Onlinehändler ist Mass Customization ein wichtiger Begriff ob bereits beim Absenden des Warenkorbs bekommt den Wert der Bestellung gutgeschrieben. Der Bestellvorgang kann an die Versandabteilung

Verwirrt? Link zum original Text


EAN: 9781402018329
Marke: Springer Netherlands
weitere Infos: MPN: 22640518
  im Moment nicht an Lager
Online Shop: eUniverse

CHF 178.00 bei eUniverse

Kostenloser Versand

Verfügbarkeit: 21 Werktage Tage

Shop Artikelname Preis  
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium... CHF 178.00 Shop besuchen
Verwandte Produkte
Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, Chi
CHF 143.00

mehr Informationen

Berichten Sie über das Produkt

Preface. 1. Encounters Between Topology and Domain Theory, J.D. Lawson. 2. The Lawon Topology on Quasicontinuous Domains, X.-Q....

The Interactions Between Sediments and Water: Proceedings of the 9th International Symposium on the
CHF 143.00

mehr Informationen

Berichten Sie über das Produkt

Interactions between sediments and water, E.L. Petticrew, I.G. Droppo, B. Kronvang. Part A: Assessing and/or Restoring Disturbed...