• 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

      Intelligent Computer Mathematics

      9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

      AvFrank Tompa,Leonardo de Moura

      E-bok
      PDF, Engelska, 2016

      618 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 refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.

      The 10 full papers and 2 short papers presented were carefully reviewed and selected
      from a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.

      Produktinformation

      • Utgivningsdatum:2016-07-11
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783319425474
      • Förlag:Springer International Publishing

      Utforska kategorier

      • Programmeringsböcker inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa - Intelligent Computer Mathematics, Häftad
      Del 9791

      Intelligent Computer Mathematics

      Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa

      Häftad, 2016

      484 kr

      Moa Johansson - Avtryck : en textsamling om kärlek, smärta och saknad, Häftad

      Avtryck : en textsamling om kärlek, smärta och saknad

      Moa Johansson

      Häftad, 2024

      78 kr

      Moa Johansson, Jose Julio Alferes - Practical Aspects of Declarative Languages, E-bok

      Practical Aspects of Declarative Languages

      Moa Johansson, Jose Julio Alferes

      E-bok
      2018

      732 kr

      Leonardo de Moura, Juliano Iyoda - Formal Methods: Foundations and Applications, E-bok

      Formal Methods: Foundations and Applications

      Leonardo de Moura, Juliano Iyoda

      E-bok
      2013

      657 kr

      Juliano Iyoda, Leonardo de Moura - Formal Methods: Foundations and Applications, Häftad

      Formal Methods: Foundations and Applications

      Juliano Iyoda, Leonardo de Moura

      Häftad, 2013

      529 kr

      Leonardo de Moura - Automated Deduction - CADE 26, E-bok

      Automated Deduction - CADE 26

      Leonardo de Moura

      E-bok
      2017

      1 138 kr

      Moa Johansson - Avtryck: En textsamling om kärlek, smärta och saknad, E-bok

      Avtryck: En textsamling om kärlek, smärta och saknad

      Moa Johansson

      E-bok
      2024

      49 kr

      José Júlio Alferes, Moa Johansson - Practical Aspects of Declarative Languages, Häftad
      Del 11372

      Practical Aspects of Declarative Languages

      José Júlio Alferes, Moa Johansson

      Häftad, 2018

      574 kr

      Leonardo de Moura - Automated Deduction – CADE 26, Häftad
      Del 10395

      Automated Deduction – CADE 26

      Leonardo de Moura

      Häftad, 2017

      915 kr

      Airi Salminen, Frank Tompa - Communicating with XML, Inbunden

      Communicating with XML

      Airi Salminen, Frank Tompa

      Inbunden, 2011

      574 kr