• 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

    Domains and Processes

    Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

    AvYixiang Chen,Ying Ming Liu

    E-bok
    PDF, Engelska, 2012

    1 413 kr

    Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

    Beskrivning

    Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi.
    This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.

    Produktinformation

    • Utgivningsdatum:2012-12-06
    • Språk:Engelska
    • Filformat:PDF
    • Kopieringsskydd:LCP
    • ISBN:9789401006545
    • Förlag:Springer Netherlands

    Utforska kategorier

    • Matematikens grunder inom Naturvetenskap och teknik
    • Filosofiska discipliner inom Filosofi och religion
    • Programmeringsböcker inom Data och IT
    Hoppa över listan

    Du kanske också är intresserad av

    Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo - Domain Theory, Logic and Computation, Häftad
    Del 3

    Domain Theory, Logic and Computation

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

    Häftad, 2010

    1 618 kr

    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

    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

    Walter Roth, Klaus Keimel - Ordered Cones and Approximation, E-bok

    Ordered Cones and Approximation

    Walter Roth, Klaus Keimel

    E-bok
    2006

    363 kr

    Klaus Keimel, Walter Roth - Ordered Cones and Approximation, Häftad
    Del 1517

    Ordered Cones and Approximation

    Klaus Keimel, Walter Roth

    Häftad, 1992

    275 kr

    Marcello Bonsangue, Yixiang Chen - Artificial Intelligence Logic and Applications, Häftad

    Artificial Intelligence Logic and Applications

    Marcello Bonsangue, Yixiang Chen

    Häftad, 2026

    837 kr

    Songmao Zhang, Yixiang Chen - Artificial Intelligence Logic and Applications, E-bok

    Artificial Intelligence Logic and Applications

    Songmao Zhang, Yixiang Chen

    E-bok
    2022

    1 056 kr

    Yixiang Chen, Marcello Bonsangue - Artificial Intelligence Logic and Applications, E-bok

    Artificial Intelligence Logic and Applications

    Yixiang Chen, Marcello Bonsangue

    E-bok
    2026

    1 056 kr