Siirry pääsisältöön
SULJE VALIKKO
Kanta-asiakkuus yrityksille!
Ajankohtaista
Me luemme nyt: Henkilöstön kirjavinkit
Tietokirjat puhutuimmista aiheista
Mitä Suomi lukee?
Suosituimmat | Käännetty kauno
Suosituimmat | Kotimainen kauno
Suosituimmat | Lasten- ja nuortenkirjat
Suosituimmat | Pokkarit
Suosituimmat | Tietokirjat
Parhaat kesäpuuhat: Oppi&ilo uutuudet ja suosikit
Finlandia-palkinnot
Tietokirjallisuuden Finlandia-ehdokkaat 2025
Lasten- ja nuortenkirjallisuuden Finlandia-ehdokkaat 2025
Kaunokirjallisuuden Finlandia-ehdokkaat 2025
Finlandia 2024
Finlandia 2023
Finlandia 2022
Finlandia 2021
Murdle - ratkaise mysteerit!
Selkokirjat: Helpompia lukuhetkiä
Selkokielinen kaunokirjallisuus
Lasten selkokirjat
Nuorten selkokirjat
Nobelin kirjallisuuspalkinto
Kirjallisuuden Nobel 2024
Botnia kirjallisuuspalkinto
Botnia-palkinto 2024
Botnia-palkinto 2023
Botnia-palkinto 2022
Botnia-palkinto 2021
Englanninkieliset kirjat
Englanninkieliset kaunokirjat
Englanninkieliset sarjakuvat
Englanninkieliset tietokirjat
Englanninkieliset lastenkirjat
Englanninkieliset nuortenkirjat
Goodreads -hyllyssä: Suosituimmat kirjat
Ammattikirjallisuus
Ammattikirjallisuuden uutuudet 2026
Ammattikirjallisuuden uutuudet 2025
Suomen ekonomien kirjallisuuspalkinto
Johtaminen ja HR
Juridiikka, lainsäädäntö, lakikokoelmat
Kasvatus- ja opetustyö
Liike-elämä ja yrittäjyys
Markkinointi ja viestintä
Sijoittaminen ja rahoitus
Sosiaali- ja terveysala
Taloushallinto ja verotus
Työhyvinvointi ja työelämätaidot
Oppikirjat
Suomi toisena kielenä S2
Esiopetus, ruotsinkielinen
Alakoulu, suomenkielinen
Alakoulu, ruotsinkielinen
Lukio-opetus, ruotsinkielinen
Ammatti- ja aikuiskoulutus
Valintakokeet
Omakauppa: hanki kirjasi käytettynä
Ryhmätilaukset
Suomi toisena kielenä
S2 Suosituimmat oppikirjat
S2 Esiopetus
S2 Alakoulu
S2 Yläkoulu
S2 Lukio
S2 Ammatti- ja aikuiskoulutus
Selkokirjat
BOOKY OUTLET
Kaunokirjallisuus
Runot ja näytelmät
Kirjallisuustiede
Historialliset kaunot & sotaromaanit
Kaunokirjoja ulkomaisilta tekijöiltä
Kaunoa kotimaisilta kirjoittajilta
Tietokirjat
Filosofia, psykologia, elämäntaito, hyvinvointi
Henkilökuvat
Yhteiskunta
Lasten- ja nuortenkirjat
Sadut ja kuvakirjat
Nuorten romaanit
Hengelliset kirjat
Englanninkielinen kirjallisuus
Kaunoa englanniksi
Lastenkirjoja englanniksi
Lasten tietokirjoja englanniksi
Tietokirjallisuutta englanniksi
Musiikki
Blues & Jazz
Country, Folk & Perinnemusiikki
Dance & Viihdemusiikki
Heavy & Hard rock
Rock & pop
Reggae, soul & rap
Klassinen
Lahjakortti
Omakauppa: kierrätä kirjasi
Suomenkielinen kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Runous
Sarjakuvat
Mietelauseet
Pokkarit
Dekkarit
Jännitys, trillerit ja kauhu
Romantiikka
Fantasia ja scifi
Historialliset romaanit
Sotakirjallisuus
Nykykirjallisuus ja muut kaunokirjat
Kaunokirjallisuus, muut kielet
Dekkarit & mysteerit
Kauhu
Trillerit
Jännitys
Romantiikka
Fantasia
Scifi
Historialliset
Sota ja armeija
Runot
Huumori
Kokoelmateokset
Sarjakuvat & graafiset romaanit
Suomenkieliset hyvinvoinnin kirjat
Elämäntaito
Ihmissuhteet
Kauneus ja terveys
Psykologia
Lapset, vauvat, raskaus
Liikunta
Hyvinvointi, muut kielet
Keho ja mieli
Perhe & ihmissuhteet
Terveys
Psykologia
Self-help
Suomenkieliset harrastekirjat
Keittokirjat
Sisustus
Käsityöt
Talo ja piha
Puutarha ja kasvit
Liikunta
Matkakirjat
Eläimet
Musiikki
Valokuvaus
Metsästys ja kalastus
Vapaa-aika & harrastukset, muut kielet
Keräilyesineet & antiikki
Taide
Käsityöt
Pelit
Puutarha
Talo & koti
Musiikki
Esittävät taiteet
Lemmikkieläimet
Valokuvaus
Urheilu & virkistys
Matkustaminen
Suomenkieliset tietokirjat
Elämäkerrat ja muistelmat
Yleistieto
Tietotekniikka
Ajoneuvot
Taide ja arkkitehtuuri
Käsityötaide
Historia
Yhteiskunta
Yritykset ja talous
Oikeustiede
Lääketiede
Tietokirjat, muut kielet
Arkkitehtuuri
Elämäkerrat
Tietokoneet
Ruoanlaitto
Historia
Luonto
Filosofia
Valtiotiede
Tiede
Sosiaalitieteet
Teknologia
Liikenne
True crime
Bisneskirjat
Laki
Lääketiede
Matematiikka
Lastenkirjat
Nuortenkirjat
Lasten ja nuorten kaunokirjat, muut kielet
Lasten ja nuorten tietokirjat, muut kielet
Kalenterit
Seinäkalenterit
Tasku- ja pöytäkalenterit
Opetuksen ja varhaiskasvatuksen kalenterit
Kalenterien kannet ja vuosipaketit
Joulukalenterit
Muistikirjat ja päiväkirjat
Tilaa uutiskirje
Tietoa meistä
Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
ostoskori
TILAA UUTISKIRJE
Suomi
|
English
|
Svenska
avaa valikko
Tarkennettu haku
Seuraa saatavuutta
Seuraa tuotteita, jotka eivät ole vielä ilmestyneet tai jotka ovat tilapäisesti loppu. Kun seuraat tuotetta, lähetämme sähköpostitse tiedon heti, kun se on saatavissa!
Tuote
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Sähköposti
