Siirry pääsisältöön
SULJE VALIKKO
Ajankohtaista
Viikon poiminnat
Sukella suosittuun Game Changers -sarjaan! 🏒🌶️
Hurahda väritys- ja puuhakirjojen maailmaan!
Aloita uusi sarja
Uppoudu uudelleen suosikkisarjaan!
Löydä neulomisen ilo 🧶
Tapahtumat
2.6. Anneli Kanto
4.6. Kaj Kunnas, Christoffer Holm ja Pekka Hyysalo | Turku
4.6. Laura Pollari | Tapiola
9.6. Kaj Kunnas ja Christoffer Holm
10.6. Terhi Rannela | Tampere
17.6. Akateeminen Business Book Club | Turku
6.8. Kirjojen Yö | Tampere
13.8. Kirjojen Yö | Turku
20.8. Kirjojen Yö! | Helsinki
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! 🐎
Nuortenkirjat
Kaikki nuortenkirjat
Nuorten selkokirjat
Nuorten sarjakuvat
Neropatin päiväkirja -sarja
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
Blockchain Foundations
Savant, Nagnath
APRESS L.P.
2026
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
65,50 €
Automated Technology for Verification and Analysis : 23rd International Symposium, ATVA 2025, Bengaluru, India, October
D´Souza, Meenakshi; Komondoor, Raghavan; Srivathsan, B.
Springer
2025
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
109,50 €
Applied Cryptography and Network Security Workshops : ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt,
Manulis, Mark
Springer
2025
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
92,50 €
Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig
Heckel, Reiko; Taentzer, Gabriele
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Applied Cryptography and Network Security Workshops : ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt,
Manulis, Mark
Springer
2025
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
93,70 €
Integrated Formal Methods : 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings
Damiani, Ferruccio; Farrell, Marie
Springer
2025
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
107,50 €
Countering Disinformation in the Era of Generative AI
Papadopoulos, Symeon; Bontcheva, Kalina; Mezaris, Vasileios; Rogers, Richard
Springer
2026
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
223,60 €
Identity Development and Maintenance in Context - Cases from Higher Education, Health Care, and Other Settings
Markowski, Kelly L.; Harrod, Michael M.; Brenner, Philip S.
Springer Nature Switzerland AG
2026
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
201,70 €
Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
Podelski, Andreas; Taïani, François
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Formal Methods for Industrial Critical Systems : 30th International Conference, FMICS 2025, Aarhus, Denmark, August
Remke, Anne; Steffen, Bernhard
Springer
2025
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
81,00 €
Reachability Problems : 19th International Conference, RP 2025, Madrid, Spain, October 1–3, 2025, Proceedings
Ganty, Pierre; Mansutti, Alessio
Springer
2025
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
79,50 €
Embedding Sequential Circuits for their Polynomial Formal Verification
Dominik, Caroline
Springer Vieweg
2026
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
121,00 €
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 €
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 €
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria,
De Nicola, Rocco; Kühn, Eva
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Information Systems Security - 12th International Conference, ICISS 2016, Jaipur, India, December 16-20, 2016, Proceedings
Ray, Indrajit; Gaur, Manoj Singh; Conti, Mauro; Sanghi, Dheeraj; Kamakoti, V.
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Lahiri, Shuvendu; Reger, Giles
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
2018
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
137,30 €
Electroweak Baryogenesis and Its Phenomenology
Fuyuto, Kaori
Springer
2019
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
100,90 €
Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Podelski, Andreas
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Näytä lisää...