Siirry pääsisältöön
SULJE VALIKKO
Ajankohtaista
Viikon poiminnat
Suosituimmat kirjat lahjapakettiin! 🎁
Hurahda väritys- ja puuhakirjojen maailmaan!
Finlandia-palkinnon ehdokkaat ja voittajat
Uppoudu uudelleen suosikkisarjaan!
Tapahtumat
7.1. Minna Eväsoja ja Jussi Ahlroth
10.1. Sirpa Kähkönen ja Mari Leppänen
14.1. Pekka Visuri ja Timo Hellenberg
21.1. Ville Jalovaara
30.1. Karl Ove Knausgård
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
Nuorten selkokirjat
Nuorten sarjakuvat
Neropatin päiväkirja -sarja
Jännitystä ja kauhua nuorille
Lahjakortti
Tietoa verkkokaupasta
Uutishuone
KIRJAUDU
ostoskori
Suomi
|
English
|
Svenska
avaa valikko
Tarkennettu haku
Reiner Hähnle | Akateeminen Kirjakauppa
Haullasi löytyi yhteensä 14 tuotetta
Haluatko tarkentaa hakukriteerejä?
Suosituimmat ensin
Aakkosjärjestys
Vuosijärjestys
Viimeksi lisätyt
Viimeksi julkaistut
Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, held
Hähnle, Reiner; Knoop, Jens; Margaria, Tiziana; Schreiner, Dietmar; Steffen, Bernhard
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,40 €
Automated Deduction in Multiple-Valued Logics
Hähnle, Reiner
Oxford University Press
1994
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
140,10 €
Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Co
Hähnle, Reiner; van der Aalst, Wil
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,40 €
Handbook of Tableau Methods
D'Agostino, M.; Gabbay, Dov M.; Hähnle, Reiner; Posegga, J.
Kluwer Academic Publishers
1999
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
179,00 €
Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino
Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H.
Springer
2007
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
101,40 €
Theorem Proving with Analytic Tableaux and Related Methods - 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar
Baumgartner, Peter; Hähnle, Reiner; Posegga, Joachim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1995
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,40 €
Tests and Proofs - Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Beckert, Bernhard; Hähnle, Reiner
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,40 €
Automated Reasoning - 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Giesl, Jürgen; Hähnle, Reiner
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
101,40 €
Handbook of Tableau Methods
D'Agostino, M.; Gabbay, Dov M.; Hähnle, Reiner; Posegga, J.
Springer
2010
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
179,00 €
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28,
Giachino, Elena; Hähnle, Reiner; de Boer, Frank S.; Bonsangue, Marcello M.
Springer
2013
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
47,40 €
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
121,40 €
Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl
Bennaceur, Amel; Hähnle, Reiner; Meinke, Karl
Springer
2018
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
59,40 €
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,40 €
Active Object Languages: Current Research Trends
de Boer, Frank; Damiani, Ferruccio; Hähnle, Reiner; Broch Johnsen, Einar; Kamburjan, Eduard
Springer
2024
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
76,40 €
Näytä lisää...