SULJE VALIKKO

Ajankohtaista
Viikon poiminnat
Aloita uusi sarja
Löydä neulomisen ilo 🧶
Löydä seuraava suosikkisi esikoiskirjoista
Halloween kirjoja kaikenikäisille 🎃
Finlandia-palkinnon ehdokkaat ja voittajat
Anna kirjalle uusi elämä! Akateeminen x Kierrätyskeskus
Tapahtumat
Akateemisen Kohtaamispaikka 55 vuotta! 20.–26.10.
8.10 Merete Mazzarella, Lina Bonde och Mia Franck
9.10. WTC Turku Book Club: Unstressable
11.10. Juha Hurme | Tampere
15.10. Romantasiailta: S.K. Rostedt, Siri Kolu ja Sarianna Silvonen
16.10 Monika Fagerholm och Sophia Jansson
18.10. Arundhati Roy
29.10. Mårten Westö, Kjell Westö och Peter Sandström
31.10. Matti Sankamo
1.11. Nuorten lauantai: Pinja Sanaksenaho, Taina Niemi ja Briitta Hepo-Oja
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
Kalenterit
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
Nuortenkirjat
Kaikki nuortenkirjat
Suosittelemme: Ajankohtaiset nuortenkirjat
Neropatin päiväkirja -sarja
Jännitystä ja kauhua nuorille
Lahjakortti
Tietoa verkkokaupasta
Uutishuone

avaa valikko

Kim G Larsen | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?



Computer Aided Verification - 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
Brinksma, Ed; Larsen, Kim G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2002
Pehmeäkantinen kirja
Computer Aided Verification - 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
101,40 €
Computer Aided Verification - 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
Larsen, Kim G.; Skou, Arne
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1992
Pehmeäkantinen kirja
Computer Aided Verification - 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
CONCUR 2001 - Concurrency Theory - 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
Larsen, Kim G.; Nielsen, Mogens
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2001
Pehmeäkantinen kirja
CONCUR 2001 - Concurrency Theory - 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Formal Modeling and Analysis of Timed Systems - First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 20
Larsen, Kim G.; Niebert, Peter
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Pehmeäkantinen kirja
Formal Modeling and Analysis of Timed Systems - First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Automata, Languages and Programming - 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings
Larsen, Kim G.; Skyum, Sven; Winskel, Glynn
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1998
Pehmeäkantinen kirja
Automata, Languages and Programming - 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
101,40 €
Tools and Algorithms for the Construction and Analysis of Systems - First International Workshop, TACAS '95, Aarhus, Denmark, Ma
Brinksma, Ed; Cleaveland, W. Rance; Larsen, Kim G.; Margaria, Tiziana; Steffen, Bernhard
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1995
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems - First International Workshop, TACAS '95, Aarhus, Denmark, Ma
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th B
Margaria, Tiziana; Graf, Susanne; Larsen, Kim G.
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th B
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Meistä
Yhteystiedot ja aukioloajat
Usein kysytyt
Akateemisen Ystäväklubi
Toimitusehdot
Maksutavat
Tietosuojaseloste
Evästeiden hallinta
Seuraa Akateemista
Instagram
Facebook
Threads
TikTok
YouTube
LinkedIn
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen
Oma tili
Omat tiedotOmat tilauksetOmat laskut
Meistä
Yhteystiedot ja aukioloajatUsein kysytyt Akateemisen YstäväklubiToimitusehdotTietosuojaselosteMaksutavatEvästeiden hallinta
Seuraa Akateemista
Instagram Facebook Threads TikTok YouTube LinkedIn
Ladataan sisältöä...