Siirry pääsisältöön
SULJE VALIKKO
Ajankohtaista
Lahjaksi valmistuvalle! 💚
Viikon poiminnat
Sukella suosittuun Game Changers -sarjaan! 🏒🌶️
Hurahda väritys- ja puuhakirjojen maailmaan!
Aloita uusi sarja
Uppoudu uudelleen suosikkisarjaan!
Löydä neulomisen ilo 🧶
Helsinki Lit -käännöskirjallisuusfestivaali
Tapahtumat
21.5. Lena Andersson, Tara Menon ja Lina Wolff
22.5. Jevhenija Kuznjetsova ja Vincenzo Latronico
23.5. Juha Hurme | Tampere
27.5. Jarmo Lindberg
2.6. Anneli Kanto
4.6. Kaj Kunnas ja Christoffer Holm | Turku
9.6. Kaj Kunnas ja Christoffer Holm
10.6. Terhi Rannela | Tampere
17.6. Akateeminen Business Book Club | Turku
Näistä puhumme juuri nyt!
Henkilökunta suosittelee
Suomenkielinen kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Nykykirjallisuus ja muut kaunokirjat
Keltainen Kirjasto
Romantiikka
Historialliset romaanit
Sotakirjallisuus
Fantasia ja scifi
Pokkarit
Sarjakuvat
Runous
Mietelauseet
Selkokirjat
Suomenkielinen jännitys
Dekkarit
Jännitys, trillerit ja kauhu
Suosittelemme: Satu Rämö
Suosittelemme: Max Seeck
Suomenkielinen tietokirjallisuus
Suosittelemme: Ajankohtaisimmat tietokirjat
Elämänkerrat ja muistelmat
Yleistieto
Historia
Yhteiskunta
Taide ja arkkitehtuuri
Yritykset ja talous
Oikeustiede
Lääketiede
Tietotekniikka
Ajoneuvot
Käsityötaide
Hyvinvointikirjat
Elämäntaito
Ihmissuhteet
Kauneus ja terveys
Psykologia
Lapset, vauvat, raskaus
Voimistelu
Harrastekirjat
Keittokirjat
Sisustus
Käsityöt
Talo ja piha
Puutarha ja kasvit
Urheilu ja ulkoilu
Matkakirjat
Eläimet
Musiikki
Valokuvaus
Metsästys ja kalastus
Lastenkirjat
Suomenkieliset lastenkirjat
Ruotsinkieliset lastenkirjat
Englanninkieliset lastenkirjat
Kuvakirjat
Oppi&ilo tuotteet kaikenikäisille
Harry Potter -sarja
Rambon talli! 🐎
Yökoulu
Ella ja kaverit
Tammen kultaiset kirjat
Selkee-selkokirjasarja
Nuortenkirjat
Kaikki nuortenkirjat
Nuorten selkokirjat
Nuorten sarjakuvat
Neropatin päiväkirja -sarja
Lahjakortti
Uutishuone
KIRJAUDU
ostoskori
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
Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem
Sähköposti
