Siirry pääsisältöön
SULJE VALIKKO
Ajankohtaista
Viikon poiminnat
Äitienpäivä lähestyy! 🌸
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
5.5 Johannes Ekholm
7.5. Markku Henriksson
7.5. Leena Paasio | Tapiola
9.5. Anneli Kanto | Tampere
15.5. Siri Hustvedt
16.5. Mika Aaltola ja Henri Vanhanen
16.5. Marika Riikonen ja Päivi Haanpää | Tampere
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
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
Jännitystä ja kauhua nuorille
Lahjakortti
Tietoa verkkokaupasta
Uutishuone
KIRJAUDU
ostoskori
Suomi
|
English
|
Svenska
avaa valikko
Tarkennettu haku
Verification | Akateeminen Kirjakauppa
Haullasi löytyi yhteensä 192 tuotetta
Haluatko tarkentaa hakukriteerejä?
Suosituimmat ensin
Aakkosjärjestys
Vuosijärjestys
Viimeksi lisätyt
Viimeksi julkaistut
Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025,
ter Beek, Maurice H.; Teixeira, Leopoldo
Springer
2025
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
79,10 €
Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, A
Echahed, Rachid; Minas, Mark
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, N
El-Fakih, Khaled; Barlas, Gerassimos; Yevtushenko, Nina
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA,
Jobstmann, Barbara; Leino, K. Rustan M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
IP Cores Design from Specifications to Production : Modeling, Verification, Optimization, and Protection
Mohamed, Khaled Salah
Springer
2015
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Efficient Enforcement of Truth-Telling in the Grandfathering Process of an Emissions Trading Scheme
Eckermann, Frauke
Peter Lang AG
2008
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
40,40 €
Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig
Heckel, Reiko; Taentzer, Gabriele
Springer
2018
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Requirements
Lohmann, Sven
Shaker Verlag
2012
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
79,50 €
Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
Costantini, Stefania; Franconi, Enrico; Van Woensel, William; Kontchakov, Roman; Sadri, Fariba; Roman, Dumitru
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
Springer International Publishing AG
2019
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
137,30 €
Formal Methods and Software Engineering : 26th International Conference on Formal Engineering Methods, ICFEM 2025,
André, Étienne; Wang, Jingyi; Zhan, Naijun
Springer
2025
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
99,60 €
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 6th
ter Beek, Maurice H.; Collart-Dutilleul, Simon; Lecomte, Thierry
Springer
2025
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
79,10 €
SDL 2015: Model-Driven Engineering for Smart Cities - 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Procee
Fischer, Joachim; Scheidgen, Markus; Schieferdecker, Ina; Reed, Rick
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
49,20 €
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China,
Li, Xuandong; Liu, Zhiming; Yi, Wang
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
49,20 €
Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proce
Feng, Xinyu; Park, Sungwoo
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Cryptology and Network Security - 14th International Conference, CANS 2015, Marrakesh, Morocco, December 10-12, 2015, Proceeding
Reiter, Michael; Naccache, David
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
49,20 €
Advanced Automated Software Testing - Frameworks for Refined Practice
Alsmadi, Izzat
Idea Group,U.S.
2012
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
223,70 €
Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceed
Ribeiro, Leila; Lecomte, Thierry
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
Springer International Publishing AG
2018
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
137,30 €
Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held
Baier, Christel; Caires, Luís
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Näytä lisää...