- 5 resultaten
laagste prijs: € 117,69, hoogste prijs: € 167,96, gemiddelde prijs: € 145,18
1
Domain Theory, Logic and Computation - Guo-Qiang Zhang; J. Lawson; Ying Ming Liu; M.K. Luo
bestellen
bij Springer.com
€ 142,79
bestellen
Details en verzending
Gesponsorde link
Guo-Qiang Zhang; J. Lawson; Ying Ming Liu; M.K. Luo:

Domain Theory, Logic and Computation - nieuw boek

ISBN: 9789401712910

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., exclusief verzendingskosten
dichtslaan (X)
2
Domain Theory, Logic and Computation
bestellen
bij Springer.com
€ 117,69
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Domain Theory, Logic and Computation - nieuw boek

ISBN: 9789401712910

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

Nr. 978-94-017-1291-0. Verzendingskosten:Worldwide free shipping, , DE. (EUR 0.00)
dichtslaan (X)
3
Domain Theory, Logic and Computation - Guo-Qiang Zhang; J. Lawson; Ying Ming Liu; M.K. Luo
bestellen
bij Springer.com
€ 154,69
bestellen
Details en verzending
Gesponsorde link
Guo-Qiang Zhang; J. Lawson; Ying Ming Liu; M.K. Luo:
Domain Theory, Logic and Computation - nieuw boek

ISBN: 9789401712910

Philosophy; Logic; Order, Lattices, Ordered Algebraic Structures; Geometry; Mathematical Logic and Foundations; Programming Languages, Compilers, Interpreters Area, Congruence, Lattice, M… Meer...

  - Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
dichtslaan (X)
4
Domain Theory, Logic and Computation - Guo-Qiang Zhang; J. Lawson; Ying Ming Liu; M.K. Luo
bestellen
bij Springer.com
€ 142,79
bestellen
Details en verzending
Gesponsorde link
Guo-Qiang Zhang; J. Lawson; Ying Ming Liu; M.K. Luo:
Domain Theory, Logic and Computation - nieuw boek

ISBN: 9789401712910

Philosophy; Logic; Order, Lattices, Ordered Algebraic Structures; Geometry; Mathematical Logic and Foundations; Programming Languages, Compilers, Interpreters Area, Congruence, Lattice, M… Meer...

  - Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
dichtslaan (X)
5
Domain Theory, Logic and Computation - J. Lawson; Ying Ming Liu; M.K. Luo; Guo-Qiang Zhang
bestellen
bij lehmanns.de
€ 167,96
verzending: € 9,951
bestellen
Details aangeboden
Gesponsorde link
J. Lawson; Ying Ming Liu; M.K. Luo; Guo-Qiang Zhang:
Domain Theory, Logic and Computation - nieuw boek

2013, ISBN: 9789401712910

Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001, eBooks, eBook Download (PDF), [PU: Springer Netherlands], Springer Netherlands, 2013

Verzendingskosten:Download sofort lieferbar. (EUR 9.95)
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
auteur:
Titel:
ISBN:

9789401712910

Gedetalleerde informatie over het boek. - Domain Theory, Logic and Computation


EAN (ISBN-13): 9789401712910
Verschijningsjaar: 2013
Uitgever: Springer Netherlands

Boek bevindt zich in het datenbestand sinds 2017-02-07T23:51:03+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-01-21T17:23:43+01:00 (Amsterdam)
ISBN/EAN: 9789401712910

ISBN - alternatieve schrijfwijzen:
978-94-017-1291-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: luo, ming, guo
Titel van het boek: theory computation, computation logic

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: 2013-06-29
Dordrecht; NL
Taal: Engels
149,79 € (DE)
154,00 € (AT)
177,00 CHF (CH)
Available
XII, 197 p.

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

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