• 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. Programmeringsböcker
      3. Programvaruutveckling

      Reachability Problems

      18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings

      AvAna Sokolova,Laura Kovacs

      E-bok
      Engelska, 2024

      903 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet

      Beskrivning

      This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25–27, 2024.

      The 13 full papers included in these proceedings were carefully reviewed and selected from 37 submissions. The book also contains two invited talks in full paper length. The contributions in these proceedings cover topics from computability and reachability; automata and complexity; linear systems and recurrences; and games and abstractions.

      Produktinformation

      • Utgivningsdatum:2024-09-19
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783031726217
      • Förlag:Springer Nature Switzerland

      Utforska kategorier

      • Programvaruutveckling inom Data och IT
      • Systemvetenskap och AI inom Data och IT
      • Artificiell intelligens inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Laura Kovács, Ana Sokolova - Reachability Problems, Häftad
      Del 15050

      Reachability Problems

      Laura Kovács, Ana Sokolova

      Häftad, 2024

      744 kr

      Ana Sokolova, Alexey Gotsman - Formal Techniques for Distributed Objects, Components, and Systems, E-bok

      Formal Techniques for Distributed Objects, Components, and Systems

      Ana Sokolova, Alexey Gotsman

      E-bok
      2020

      903 kr

      Alfons Laarman, Ana Sokolova - Model Checking Software, Häftad
      Del 12864

      Model Checking Software

      Alfons Laarman, Ana Sokolova

      Häftad, 2021

      574 kr

      Ana Sokolova, Alfons Laarman - Model Checking Software, E-bok

      Model Checking Software

      Ana Sokolova, Alfons Laarman

      E-bok
      2021

      732 kr

      Alexey Gotsman, Ana Sokolova - Formal Techniques for Distributed Objects, Components, and Systems, Häftad
      Del 12136

      Formal Techniques for Distributed Objects, Components, and Systems

      Alexey Gotsman, Ana Sokolova

      Häftad, 2020

      744 kr

      Karl Meinke, Laura Kovacs - Tests and Proofs, E-bok

      Tests and Proofs

      Karl Meinke, Laura Kovacs

      E-bok
      2022

      718 kr

      Laura Kovacs, Nikolai Kosmatov - Integrated Formal Methods, E-bok

      Integrated Formal Methods

      Laura Kovacs, Nikolai Kosmatov

      E-bok
      2024

      1 942 kr

      Laura Kovacs, Andrea Kohlhase - Intelligent Computer Mathematics, E-bok

      Intelligent Computer Mathematics

      Laura Kovacs, Andrea Kohlhase

      E-bok
      2024

      1 550 kr

      Laura Kovács, Karl Meinke - Tests and Proofs, Häftad
      Del 13361

      Tests and Proofs

      Laura Kovács, Karl Meinke

      Häftad, 2022

      558 kr

      Nikolai Kosmatov, Laura Kovács - Integrated Formal Methods, Häftad
      Del 15234

      Integrated Formal Methods

      Nikolai Kosmatov, Laura Kovács

      Häftad, 2024

      1 595 kr