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

Skapa nya rutiner – hälsoböcker upp till 50% →

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
    • 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. Data och IT
    2. Programmeringsböcker

    Logic Programming

    19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings

    AvCatuscia Palamidessi

    E-bok
    PDF, Engelska, 2003

    1 780 kr

    Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

    Produktinformation

    • Utgivningsdatum:2003-12-01
    • Språk:Engelska
    • Filformat:PDF
    • Kopieringsskydd:LCP
    • ISBN:9783540245995
    • Förlag:Springer Berlin Heidelberg

    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

    Peter J. Stuckey, Yehoshua Sagiv, Luis M. Pereira, Catuscia Palamidessi, Kung-Kiu Lau, Manfred Kerber, Ulrich Furbach, Veronica Dahl, John Lloyd - Computational Logic - CL 2000, E-bok

    Computational Logic - CL 2000

    Peter J. Stuckey, Yehoshua Sagiv, Luis M. Pereira, Catuscia Palamidessi, Kung-Kiu Lau, Manfred Kerber, Ulrich Furbach, Veronica Dahl, John Lloyd

    E-bok
    2003

    732 kr

    Jan Rutten, Catuscia Palamidessi, Elham Kashefi, Franck van Breugel - Horizons of the Mind. A Tribute to Prakash Panangaden, E-bok

    Horizons of the Mind. A Tribute to Prakash Panangaden

    Jan Rutten, Catuscia Palamidessi, Elham Kashefi, Franck van Breugel

    E-bok
    2014

    710 kr

    Erika Ábrahám, Catuscia Palamidessi - Formal Techniques for Distributed Objects, Components, and Systems, Häftad

    Formal Techniques for Distributed Objects, Components, and Systems

    Erika Ábrahám, Catuscia Palamidessi

    Häftad, 2014

    560 kr

    Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith - Science of Quantitative Information Flow, Inbunden

    Science of Quantitative Information Flow

    Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith

    Inbunden, 2020

    651 kr

    Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank Valencia - SOFSEM 2009: Theory and Practice of Computer Science, Häftad

    SOFSEM 2009: Theory and Practice of Computer Science

    Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank Valencia

    Häftad, 2009

    1 113 kr

    Moti Yung, Catuscia Palamidessi, Luis Monteiro, Guiseppe F. Italiano, Luis Caires - Automata, Languages and Programming, E-bok

    Automata, Languages and Programming

    Moti Yung, Catuscia Palamidessi, Luis Monteiro, Guiseppe F. Italiano, Luis Caires

    E-bok
    2005

    1 416 kr

    Catuscia Palamidessi, Sebastian Moedersheim - Theory of Security and Applications, E-bok

    Theory of Security and Applications

    Catuscia Palamidessi, Sebastian Moedersheim

    E-bok
    2012

    732 kr

    John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey - Computational Logic — CL 2000, Övrigt

    Computational Logic — CL 2000

    John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey

    660 kr

    Catuscia Palamidessi, Erika Abraham - Formal Techniques for Distributed Objects, Components, and Systems, E-bok

    Formal Techniques for Distributed Objects, Components, and Systems

    Catuscia Palamidessi, Erika Abraham

    E-bok
    2014

    732 kr

    Mark D. Ryan, Catuscia Palamidessi - Trustworthy Global Computing, E-bok

    Trustworthy Global Computing

    Mark D. Ryan, Catuscia Palamidessi

    E-bok
    2013

    652 kr