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
proving | Akateeminen Kirjakauppa
Haullasi löytyi yhteensä 105 tuotetta
Haluatko tarkentaa hakukriteerejä?
Suosituimmat ensin
Aakkosjärjestys
Vuosijärjestys
Viimeksi lisätyt
Viimeksi julkaistut
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 20
Finkbeiner, Bernd; Pu, Geguang; Zhang, Lijun
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Noise
Daniel Kahneman; Olivier Sibony; Cass R. Sunstein
Harper Collins Publ. UK
2021
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
21,90 €
Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach
Zhan, Naijun; Wang, Shuling; Zhao, Hengjun
Springer
2016
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
115,90 €
Handbook of Parallel Constraint Reasoning
Hamadi, Youssef; Sais, Lakhdar
Springer
2018
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
137,30 €
Innovations in Social Marketing and Public Health Communication : Improving the Quality of Life for Individuals and
Wymer, Walter
Springer
2016
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
100,90 €
Advances in Air Traffic Engineering - Selected Papers from 6th International Scientific Conference on Air Traffic Engineering, A
Kwasiborska, Anna; Skorupski, Jacek; Yatskiv, Irina
Springer Nature Switzerland AG
2021
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
182,70 €
Advances in Physical, Social & Occupational Ergonomics : Proceedings of the AHFE 2021 Virtual Conferences on Physical
Goonetilleke, Ravindra S.; Xiong, Shuping; Kalkis, Henrijs; Roja, Zenija; Karwowski, Waldemar; Murata, Atsuo
Springer
2021
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
182,70 €
How to Read a Book
Adler, Mortimer J.; Van Doren, Charles
Simon & Schuster
2008
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
11,70 €
Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
Olivetti, Nicola; Tiwari, Ashish
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
81,00 €
Logics for Computer Science : Classical and Non-Classical
Wasilewska, Anita
Springer
2018
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
130,80 €
Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018,
Galmiche, Didier; Schulz, Stephan; Sebastiani, Roberto
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Ben Hogan's Five Lessons - The Modern Fundamentals of Golf
Hogan, Ben
Simon & Schuster
1990
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
58,60 €
International Comparative Studies in Mathematics : Lessons for Improving Students’ Learning
Cai, Jinfa; Mok, Ida A.C.; Reddy, Vijay; Stacey, Kaye
Springer
2016
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
10,70 €
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part
Majumdar, Rupak; Kunčak, Viktor
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Good Strategy/Bad Strategy - The difference and why it matters
Rumelt, Richard
Profile Books Ltd
2013
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
12,80 €
Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November
Tian, Cong; Nagoya, Fumiko; Liu, Shaoying; Duan, Zhenhua
Springer
2018
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Human/Machine - The Future of our Partnership with Machines
Newman, Daniel; Blanchard, Olivier
Kogan Page Ltd
2019
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
31,00 €
Purposeful Practice for Poker - The Modern Approach to Studying Poker
Cardner, Patricia; James, Gareth
D&B Publishing
2019
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
25,00 €
Developments in International Bridge Engineering - Selected Papers from Istanbul Bridge Conference 2018
Gülkan, Polat; Caner, Alp; Memisoglu Apaydin, Nurdan
Springer Nature Switzerland AG
2021
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
164,60 €
Developments in International Bridge Engineering - Selected Papers from Istanbul Bridge Conference 2018
Gülkan, Polat; Caner, Alp; Memisoglu Apaydin, Nurdan
Springer Nature Switzerland AG
2022
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
164,60 €
Näytä lisää...