• 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. Hårdvara

      Perspectives of System Informatics

      12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

      AvAndrei Voronkov,Irina Virbitskaite

      E-bok
      Engelska, 2019

      739 kr

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

      Beskrivning

      This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019.

      The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers cover various topics related to the Mathematics of Computing, Information Systems, Formal Languages, dependable and fault-tolerant Systems and Network, Automata Theory,  and much more.

      Produktinformation

      • Utgivningsdatum:2019-12-13
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783030374877
      • Förlag:Springer International Publishing

      Utforska kategorier

      • Hårdvara inom Data och IT
      • Programmeringsböcker inom Data och IT
      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov - Perspectives of System Informatics, Häftad
      Del 11964

      Perspectives of System Informatics

      Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov

      Häftad, 2019

      581 kr

      Andrei Voronkov, Nikolaj Bjorner - Logic for Programming, Artificial Intelligence, and Reasoning, E-bok

      Logic for Programming, Artificial Intelligence, and Reasoning

      Andrei Voronkov, Nikolaj Bjorner

      E-bok
      2012

      734 kr

      Nikolaj Bjorner, Sanjiva Prasad, Laxmi Parida - Distributed Computing and Internet Technology, Häftad
      Del 9581

      Distributed Computing and Internet Technology

      Nikolaj Bjorner, Sanjiva Prasad, Laxmi Parida

      Häftad, 2015

      557 kr

      Viorica Sofronie-Stokkermans, Nikolaj Bjorner - Automated Deduction -- CADE-23, E-bok

      Automated Deduction -- CADE-23

      Viorica Sofronie-Stokkermans, Nikolaj Bjorner

      E-bok
      2011

      734 kr

      Frank de Boer, Nikolaj Bjorner - FM 2015: Formal Methods, E-bok

      FM 2015: Formal Methods

      Frank de Boer, Nikolaj Bjorner

      E-bok
      2015

      732 kr

      Laxmi Parida, Sanjiva Prasad, Nikolaj Bjorner - Distributed Computing and Internet Technology, E-bok

      Distributed Computing and Internet Technology

      Laxmi Parida, Sanjiva Prasad, Nikolaj Bjorner

      E-bok
      2016

      650 kr

      Andrei Voronkov, Edmund M. Clarke - Logic for Programming, Artificial Intelligence, and Reasoning, E-bok

      Logic for Programming, Artificial Intelligence, and Reasoning

      Andrei Voronkov, Edmund M. Clarke

      E-bok
      2010

      739 kr

      Andrei Voronkov - Logic Programming, Häftad

      Logic Programming

      Andrei Voronkov

      Häftad, 1992

      581 kr

      Andrei Voronkov, Michel Parigot - Logic for Programming and Automated Reasoning, E-bok

      Logic for Programming and Automated Reasoning

      Andrei Voronkov, Michel Parigot

      E-bok
      2003

      712 kr

      Andrei Voronkov, Robert Nieuwenhuis - Logic for Programming, Artificial Intelligence, and Reasoning, E-bok

      Logic for Programming, Artificial Intelligence, and Reasoning

      Andrei Voronkov, Robert Nieuwenhuis

      E-bok
      2003

      1 470 kr