• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Naturvetenskap och teknik
    2. Matematik och naturvetenskap
    3. Matematik
    4. Matematikens grunder

    Domain Theory, Logic and Computation

    Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

    AvGuo-Qiang Zhang,J. Lawson

    Häftad, Engelska, 2010

    Del 3 i serien Semantics Structures in Computation

    1 618 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    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.

    Produktinformation

    • Utgivningsdatum:2010-12-25
    • Mått:155 x 235 x 12 mm
    • Vikt:330 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Semantics Structures in Computation
    • Antal sidor:197
    • Förlag:Springer
    • ISBN:9789048165230

    Utforska kategorier

    • Matematikens grunder inom Naturvetenskap och teknik
    • Matematik inom Naturvetenskap och teknik
    • Algebra inom Naturvetenskap och teknik

    Innehållsförteckning

    • 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.
    Hoppa över listan

    Du kanske också är intresserad av

    Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen - Domains and Processes, Häftad

    Domains and Processes

    Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen

    Häftad, 2012

    1 081 kr

    Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen - Domains and Processes, Inbunden

    Domains and Processes

    Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen

    Inbunden, 2001

    1 081 kr

    Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo - Domain Theory, Logic and Computation, Inbunden

    Domain Theory, Logic and Computation

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

    Inbunden, 2004

    1 618 kr

    P.B. Levy - Call-By-Push-Value, Häftad

    Call-By-Push-Value

    P.B. Levy

    Häftad, 2012

    1 296 kr

    P.B. Levy - Call-By-Push-Value, Inbunden

    Call-By-Push-Value

    P.B. Levy

    Inbunden, 2003

    1 833 kr

    Yixiang Chen, Ying Ming Liu, Guo-Qiang Zhang, Klaus Keimel - Domains and Processes, E-bok

    Domains and Processes

    Yixiang Chen, Ying Ming Liu, Guo-Qiang Zhang, Klaus Keimel

    E-bok
    2012

    1 413 kr

    M.K. Luo, Ying Ming Liu, J. Lawson, Guo-Qiang Zhang - Domain Theory, Logic and Computation, E-bok

    Domain Theory, Logic and Computation

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

    E-bok
    2013

    2 049 kr

    A. Kinney, J. Lawson - Titled Elizabethans, Häftad

    Titled Elizabethans

    A. Kinney, J. Lawson

    Häftad, 2014

    1 113 kr

    A. Kinney, J. Lawson - Titled Elizabethans, Inbunden

    Titled Elizabethans

    A. Kinney, J. Lawson

    Inbunden, 2014

    1 113 kr

    J. Lawson, A. Kinney - Titled Elizabethans, E-bok

    Titled Elizabethans

    J. Lawson, A. Kinney

    E-bok
    2014

    1 455 kr