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 🧶
Helsinki Lit -käännöskirjallisuusfestivaali
Tapahtumat
1.4. Olli Jalonen
8.4. Lauri Nurmi ja Onni Kari
8.4 Kaisu Tuokko och Michaela von Kügelgen
11.4. Ike Korpela | Turku
11.4. Tamperelaiset kirjailijat Kohtaamispaikalla | Tampere
14.4. Anna-Leena Härkönen
15.4. Dekkari-ilta
18.4 Barnens lördag på Akademen
18.4. Ike Korpela | Tapiola
18.4. Ann-Christin Antell | Turku
21.4. Kometjakten fyller 80 år!
22.4. Markku Haussila ja Evelin Kask
25.4. Jenna Kostet ja Patricia G. Bertényi | Turku
4.5. Yrsa Sigurðardóttir
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
Anna kirjalle uusi elämä! Akateeminen x Kierrätyskeskus
Uutishuone
KIRJAUDU
ostoskori
Suomi
|
English
|
Svenska
avaa valikko
Tarkennettu haku
Maurice H ter Beek | Akateeminen Kirjakauppa
Haullasi löytyi yhteensä 11 tuotetta
Haluatko tarkentaa hakukriteerejä?
Suosituimmat ensin
Aakkosjärjestys
Vuosijärjestys
Viimeksi lisätyt
Viimeksi julkaistut
Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised
ter Beek, Maurice H.; Lohmann, Niels
Springer
2013
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
47,20 €
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for
ter Beek, Maurice H.; Gnesi, Stefania; Knapp, Alexander
Springer
2016
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Formal Methods – The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
ter Beek, Maurice H.; McIver, Annabelle; Oliveira, José N.
Springer
2019
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her
ter Beek, Maurice H.; Fantechi, Alessandro; Semini, Laura
Springer
2019
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September
ter Beek, Maurice H.; Ničković, Dejan
Springer
2020
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings
ter Beek, Maurice H.; Monahan, Rosemary
Springer
2022
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
76,00 €
Coordination Models and Languages : 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th
ter Beek, Maurice H.; Sirjani, Marjan
Springer
2022
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
120,90 €
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
80,60 €
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
80,60 €
Journeys Between Formal Methods and the Railway Industry : Essays Dedicated to Alessandro Fantechi on the Occasion of His
ter Beek, Maurice H.; Gnesi, Stefania; Haxthausen, Anne E.; Semini, Laura
Springer
2026
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
98,90 €
Architecting Dependable Systems VI
de Lemos, Rogério; Fabre, Jean-Charles; Gacek, Cristina; Gadducci, Fabio; ter Beek, Maurice H.
Springer
2009
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Näytä lisää...