• 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. Naturvetenskap och teknik
    2. Matematik och naturvetenskap
    3. Matematik
    4. Matematikens grunder

    Applying Automated Theorem Proving to Computer Security

    AvKelly McElroy

    Häftad, Engelska, 2012

    194 kr

    Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

    Produktinformation

    • Utgivningsdatum:2012-11-09
    • Mått:156 x 234 x 7 mm
    • Vikt:195 g
    • Format:Häftad
    • Språk:Engelska
    • Antal sidor:132
    • Förlag:BiblioBazaar, LLC
    • ISBN:9781288254507

    Utforska kategorier

    • Matematikens grunder inom Naturvetenskap och teknik
    • IT-säkerhet inom Data och IT
    • Systemvetenskap och AI inom Data och IT
    Hoppa över listan

    Mer från samma författare

    Nicole Pagowsky, Kelly McElroy - Critical Library Pedagogy Handbook, Volume One, Häftad

    Critical Library Pedagogy Handbook, Volume One

    Nicole Pagowsky, Kelly McElroy

    Häftad, 2016

    603 kr

    Nicole Pagowsky, Kelly McElroy - Critical Library Pedagogy Handbook, Volume Two, Häftad

    Critical Library Pedagogy Handbook, Volume Two

    Nicole Pagowsky, Kelly McElroy

    Häftad, 2016

    603 kr

    Nicole Pagowsky, Kelly McElroy - Critical Library Pedagogy Handbook, 2 Volume Set, Häftad

    Critical Library Pedagogy Handbook, 2 Volume Set

    Nicole Pagowsky, Kelly McElroy

    Häftad, 2016

    1 014 kr

    Hannah Gascho Rempel, Kelly McElroy, Laurie M. Bridges - Understanding How Students Develop, Häftad
    Del 34

    Understanding How Students Develop

    Hannah Gascho Rempel, Kelly McElroy, Laurie M. Bridges

    Häftad, 2017

    961 kr

    Angelo Moreno, Kelly McElroy, Meredith Kahn, Emily Drabinski - Organize Your Library!, Häftad

    Organize Your Library!

    Angelo Moreno, Kelly McElroy, Meredith Kahn, Emily Drabinski

    Häftad, 2025

    731 kr

    Hoppa över listan

    Du kanske också är intresserad av

    Nicole Pagowsky, Kelly McElroy - Critical Library Pedagogy Handbook, 2 Volume Set, Häftad

    Critical Library Pedagogy Handbook, 2 Volume Set

    Nicole Pagowsky, Kelly McElroy

    Häftad, 2016

    1 014 kr

    Hannah Gascho Rempel, Kelly McElroy, Laurie M. Bridges - Understanding How Students Develop, Häftad
    Del 34

    Understanding How Students Develop

    Hannah Gascho Rempel, Kelly McElroy, Laurie M. Bridges

    Häftad, 2017

    961 kr

    Nicole Pagowsky, Kelly McElroy - Critical Library Pedagogy Handbook, Volume One, Häftad

    Critical Library Pedagogy Handbook, Volume One

    Nicole Pagowsky, Kelly McElroy

    Häftad, 2016

    603 kr

    Angelo Moreno, Kelly McElroy, Meredith Kahn, Emily Drabinski - Organize Your Library!, Häftad

    Organize Your Library!

    Angelo Moreno, Kelly McElroy, Meredith Kahn, Emily Drabinski

    Häftad, 2025

    731 kr

    Nicole Pagowsky, Kelly McElroy - Critical Library Pedagogy Handbook, Volume Two, Häftad

    Critical Library Pedagogy Handbook, Volume Two

    Nicole Pagowsky, Kelly McElroy

    Häftad, 2016

    603 kr

    Klara Ingemyr - SIGNERAD - Klaras husman, Kartonnage
    • Signerad!

    SIGNERAD - Klaras husman

    Klara Ingemyr

    Kartonnage, 2026

    269 kr

    Carola Häggkvist - SIGNERAD - Jag är Carola, Inbunden
    • Signerad!

    SIGNERAD - Jag är Carola

    Carola Häggkvist

    Inbunden, 2026

    269 kr

    Frida Gråsjö - Vatten över huvudet, Pocket
    • -45%
    Del 1

    Vatten över huvudet

    Frida Gråsjö

    Pocket, 2024

    3,4 utav 5 stjärnor. Totalt antal röster:(26)

    49 kr89 kr

    Marcus Frank - SIGNERAD - Mackans kost : Middagar och matlådor, Inbunden
    • Signerad!

    SIGNERAD - Mackans kost : Middagar och matlådor

    Marcus Frank

    Inbunden, 2026

    269 kr

    Frida Gråsjö - Beska droppar, Pocket
    • -45%
    Del 2

    Beska droppar

    Frida Gråsjö

    Pocket, 2025

    3,9 utav 5 stjärnor. Totalt antal röster:(7)

    49 kr89 kr