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
28.4. Mihail Šiškin ja presidentti Sauli Niinistö
29.4. HS teema: Vakoilu
29.4. Akateeminen Business Book Club | Turku
4.5. Yrsa Sigurðardóttir
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
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 Selecte
ter Beek, Maurice H.; Lohmann, Niels
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
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 Industrial
ter Beek, Maurice H.; Gnesi, Stefania; Knapp, Alexander
Springer International Publishing AG
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 Nature Switzerland AG
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 65th
ter Beek, Maurice H.; Fantechi, Alessandro; Semini, Laura
Springer Nature Switzerland AG
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
79,00 €
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,00 €
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-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Näytä lisää...