- 5 resultaten
laagste prijs: € 160,49, hoogste prijs: € 189,07, gemiddelde prijs: € 173,89
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
bestellen
bij booklooker.de
€ 160,49
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link

Guo-Qiang Zhang:

Domain Theory, Logic and Computation - pocketboek

2025, ISBN: 9789048165230

[ED: Taschenbuch], [PU: Springer Netherlands], Neuware - Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological idea… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) AHA-BUCH GmbH
dichtslaan (X)
3
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)
4
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)
5
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
€ 166,82
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, Logik, Compiler und Übersetzer, Congruence; Lattice; Mathematica; Na… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
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 2024-01-21T17:23:39+01: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
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XII, 197 p.

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

1 Playful, streamlike computation.- 2 Universal types and what they are good for.- 3 Relational representations of hyper-continuous lattices.- 4 Convergence classes and spaces of partial functions.- 5 On meet-continuous dcpos.- 6 External characterizations of continuous sL-domains.- 7 Projectives and injectives in the category of quantales.- 8 On minimal event and concrete data structures.- 9 A note on strongly finite sequent structures.

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...