• 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

10% studentrabatt med kod TERM26

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 @ 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. Diskret matematik

      Relational and Algebraic Methods in Computer Science

      14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

      AvMartin Eric Muller,Wolfram Kahl

      E-bok
      PDF, Engelska, 2014

      710 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

      This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.
      The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.

      Produktinformation

      • Utgivningsdatum:2014-04-08
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783319062518
      • Förlag:Springer International Publishing

      Utforska kategorier

      • Diskret matematik inom Naturvetenskap och teknik
      • Programvaruutveckling inom Data och IT
      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller - Relational and Algebraic Methods in Computer Science, Häftad
      Del 8428

      Relational and Algebraic Methods in Computer Science

      Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller

      Häftad, 2014

      566 kr

      Martin Eric Muller, Kurt-Ulrich Witt - Algorithmische Informationstheorie, E-bok

      Algorithmische Informationstheorie

      Martin Eric Muller, Kurt-Ulrich Witt

      E-bok
      2020

      316 kr

      Georg Struth, Damien Pous, Peter Hofner - Relational and Algebraic Methods in Computer Science, E-bok

      Relational and Algebraic Methods in Computer Science

      Georg Struth, Damien Pous, Peter Hofner

      E-bok
      2017

      710 kr

      Kurt-Ulrich Witt, Martin Eric Müller - Algorithmische Informationstheorie, Häftad

      Algorithmische Informationstheorie

      Kurt-Ulrich Witt, Martin Eric Müller

      Häftad, 2020

      311 kr

      Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono - Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Inbunden
      Del 151

      Residuated Lattices: An Algebraic Glimpse at Substructural Logics

      Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono

      Inbunden, 2007

      2 038 kr

      Henry Rose, Peter Jipsen - Varieties of Lattices, E-bok

      Varieties of Lattices

      Henry Rose, Peter Jipsen

      E-bok
      2006

      363 kr

      Hiroakira Ono, Tomasz Kowalski, Peter Jipsen, Nikolaos Galatos - Residuated Lattices: An Algebraic Glimpse at Substructural Logics, E-bok

      Residuated Lattices: An Algebraic Glimpse at Substructural Logics

      Hiroakira Ono, Tomasz Kowalski, Peter Jipsen, Nikolaos Galatos

      E-bok
      2007

      1 499 kr

      Chris Brink, Wolfram Kahl, Günther Schmidt - Relational Methods in Computer Science, Häftad

      Relational Methods in Computer Science

      Chris Brink, Wolfram Kahl, Günther Schmidt

      Häftad, 1997

      566 kr

      Michael Winter, Peter Jipsen, Uli Fahrenberg - Relational and Algebraic Methods in Computer Science, E-bok

      Relational and Algebraic Methods in Computer Science

      Michael Winter, Peter Jipsen, Uli Fahrenberg

      E-bok
      2020

      710 kr

      Timothy G. Griffin, Wolfram Kahl - Relational and Algebraic Methods in Computer Science, E-bok

      Relational and Algebraic Methods in Computer Science

      Timothy G. Griffin, Wolfram Kahl

      E-bok
      2012

      710 kr