• 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
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

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
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    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
      • Populära bokserier
      • 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 @ 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. Data och IT
      2. Systemvetenskap och AI

      Concurrency: Theory, Language, and Architecture

      UK/Japan Workshop, Oxford, UK, September 25–27, 1989, Proceedings

      AvAkinori Yonezawa,Takayasu Ito

      Häftad, Engelska, 1991

      Del i serien Lecture Notes in Computer Science

      566 kr

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

      Beskrivning

      This volume is a collection of papers on topics focused around concurrency, based on research work presented at the UK/Japan Workshop held at Wadham College, Oxford, September 25-27, 1989. The volume is organized into four parts: - Papers on theoretical aspects of concurrency which reflect strong research activities in the UK, including theories on CCS and temporal logic RDL. - Papers on object orientation and concurrent languages which reflect major research activities on concurrency in Japan. The languages presented include extensions of C, Prolog and Lisp as well as object-based concurrent languages. - Papers on parallel architectures and VLSI logic, including a rewrite rule machine, a graph rewriting machine, and a dataflow architecture. - An overview of the workshop including the abstracts of the talks and the list of participants. The appendix gives a brief report of the first UK/Japan Workshop in Computer Science, held at Sendai, Japan, July 6-9, 1987.

      Produktinformation

      • Utgivningsdatum:1991-04-10
      • Mått:170 x 244 x 20 mm
      • Vikt:608 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:341
      • Upplaga:1991
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540539322

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programmeringsböcker inom Data och IT

      Innehållsförteckning

      • An introduction to modal and temporal logics for CCS.- Some results on the ?-calculus.- Analysing TM FS : A study of nondeterminism in real-time concurrency.- Using the temporal logic RDL for design specifications.- Logic of execution: An outline.- Exception handling and real time features in an object-oriented concurrent language.- Reuse of concurrent object descriptions.- The computational field model for open distributed environments (extended abstract).- Concurrent programming in COB.- A parallel object oriented language Fleng++ and its control system on the parallel machine PIE64.- An operational semantics of ANDOR-II, a parallel logic programming language with AND- and OR- parallelism.- Premature return — Another interpretation of the future construct — (An extended abstract).- Semantic specifications for the rewrite rule machine.- Graph rewriting as a computational model.- An ultra-multiprocessing machine architecture for efficient parallel execution of functional languages.- A hierarchical approach to hardware design.- Transformational derivation of systolic arrays.- Locally computable coding for unary operations.- Overview of the workshop.- Abstracts of talks.
      Hoppa över listan

      Du kanske också är intresserad av

      John Kemm, John Kemm - Alcohol and the Public Health, Häftad

      Alcohol and the Public Health

      John Kemm, John Kemm

      Häftad, 1991

      607 kr

      John Kemm - Alcohol and the Public Health, E-bok

      Alcohol and the Public Health

      John Kemm

      E-bok
      1991

      653 kr

      Howard Gardner - To Open Minds, Häftad

      To Open Minds

      Howard Gardner

      Häftad, 1991

      328 kr

      Jeffrey H. Richards - Theater Enough, Inbunden

      Theater Enough

      Jeffrey H. Richards

      Inbunden, 1991

      1 934 kr

      Harald Martens, Tormod Næs - Multivariate Calibration, Häftad

      Multivariate Calibration

      Harald Martens, Tormod Næs

      Häftad, 1991

      4 252 kr

      J.M. Skowronski, H. Flashner, R.S. Guttalu - Mechanics and Control, Häftad
      Del 151

      Mechanics and Control

      J.M. Skowronski, H. Flashner, R.S. Guttalu

      Häftad, 1991

      549 kr

      Takayasu Ito, Akinori Yonezawa - Theory and Practice of Parallel Programming, Häftad

      Theory and Practice of Parallel Programming

      Takayasu Ito, Akinori Yonezawa

      Häftad, 1995

      566 kr

      Lutz Volkmann - Graphen und Digraphen, Häftad

      Graphen und Digraphen

      Lutz Volkmann

      Häftad, 1991

      517 kr

      Takayasu Ito, Albert R. Meyer - Theoretical Aspects of Computer Software, Häftad

      Theoretical Aspects of Computer Software

      Takayasu Ito, Albert R. Meyer

      Häftad, 1991

      1 124 kr

      Hans-Werner Waclawiczek, Oskar Boeckl, Gernot Pauser - Open Packing — Laparostomy —, Häftad

      Open Packing — Laparostomy —

      Hans-Werner Waclawiczek, Oskar Boeckl, Gernot Pauser

      Häftad, 1991

      1 127 kr