Siirry pääsisältöön
SULJE VALIKKO
Ajankohtaista
Viikon poiminnat
Sukella suosittuun Game Changers -sarjaan! 🏒🌶️
Hurahda väritys- ja puuhakirjojen maailmaan!
Tapahtumat
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
Romantiikka
Historialliset romaanit
Sotakirjallisuus
Fantasia ja scifi
Pokkarit
Sarjakuvat
Runous
Selkokirjat
Suomenkielinen jännitys
Dekkarit
Jännitys, trillerit ja kauhu
Suosittelemme: Satu Rämö
Suosittelemme: Max Seeck
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
Englanninkieliset lastenkirjat
Kuvakirjat
Nuortenkirjat
Kaikki nuortenkirjat
Nuorten sarjakuvat
KIRJAUDU
ostoskori
Suomi
|
English
|
Svenska
avaa valikko
Tarkennettu haku
architectureverificationandvalidation | Akateeminen Kirjakauppa
Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?
Suosituimmat ensin
Aakkosjärjestys
Vuosijärjestys
Viimeksi lisätyt
Viimeksi julkaistut
Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September
Simonis, Helmut
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
137,30 €
Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Pro
Pun, Violet Ka I; Stolz, Volker; Simao, Adenilso
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, Oct
Ben Hedia, Belgacem; Chen, Yu-Fang; Liu, Gaiyun; Yu, Zhenhua
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part
Lahiri, Shuvendu K.; Wang, Chao
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
41,20 €
Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25
Janicki, Ryszard; Sidorova, Natalia; Chatain, Thomas
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Si
Lin, Shang-Wei; Hou, Zhe; Mahony, Brendan
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €