Siirry pääsisältöön
SULJE VALIKKO
Tapahtumat
6.8. Kirjojen Yö | Tampere
13.8. Kirjojen Yö | Turku
20.8. Kirjojen Yö! | Helsinki
Näistä puhumme juuri nyt!
Suomenkielinen kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Nykykirjallisuus ja muut kaunokirjat
Romantiikka
Historialliset romaanit
Sotakirjallisuus
Fantasia ja scifi
Pokkarit
Sarjakuvat
Runous
Selkokirjat
Suomenkielinen jännitys
Dekkarit
Jännitys, trillerit ja kauhu
Suomenkielinen tietokirjallisuus
Elämänkerrat ja muistelmat
Yleistieto
Historia
Yhteiskunta
Taide ja arkkitehtuuri
Yritykset ja talous
Oikeustiede
Tietotekniikka
Hyvinvointikirjat
Elämäntaito
Ihmissuhteet
Kauneus ja terveys
Psykologia
Harrastekirjat
Keittokirjat
Käsityöt
Puutarha ja kasvit
Urheilu ja ulkoilu
Matkakirjat
Eläimet
Lastenkirjat
Suomenkieliset lastenkirjat
Ruotsinkieliset lastenkirjat
Kuvakirjat
Nuortenkirjat
Henkilökunta suosittelee
KIRJAUDU
ostoskori
Suomi
|
English
|
Svenska
avaa valikko
Tarkennettu haku
Richard Bubel | Akateeminen Kirjakauppa
Haullasi löytyi yhteensä 5 tuotetta
Haluatko tarkentaa hakukriteerejä?
Suosituimmat ensin
Aakkosjärjestys
Vuosijärjestys
Viimeksi lisätyt
Viimeksi julkaistut
Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY
Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Genetic Resources and Traditional Knowledge - Case Studies and Conflicting Interests
Tania Bubela; E. Richard Gold
Edward Elgar
2013
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
55,00 €
Genetic Resources and Traditional Knowledge - Case Studies and Conflicting Interests
Tania Bubela; E. Richard Gold
Edward Elgar
2012
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
187,60 €
Deductive Software Verification – The KeY Book : From Theory to Practice
Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Schmitt, Peter H.; Ulbrich, Mattias
Springer
2016
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
120,90 €
The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th
Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Johnsen, Einar Broch
Springer
2022
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
100,90 €