Siirry pääsisältöön
SULJE VALIKKO
Suomenkielinen kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Romantiikka
Historialliset romaanit
Fantasia ja scifi
Pokkarit
Suomenkielinen jännitys
Dekkarit
Jännitys, trillerit ja kauhu
Suomenkielinen tietokirjallisuus
Elämänkerrat ja muistelmat
Yleistieto
Historia
Taide ja arkkitehtuuri
Yritykset ja talous
Hyvinvointikirjat
Elämäntaito
Ihmissuhteet
Kauneus ja terveys
Lastenkirjat
Suomenkieliset lastenkirjat
Ruotsinkieliset lastenkirjat
Kuvakirjat
KIRJAUDU
ostoskori
Suomi
|
English
|
Svenska
avaa valikko
Tarkennettu haku
Yamine Ait-Ameur | Akateeminen Kirjakauppa
Haullasi löytyi yhteensä 9 tuotetta
Haluatko tarkentaa hakukriteerejä?
Suosituimmat ensin
Aakkosjärjestys
Vuosijärjestys
Viimeksi lisätyt
Viimeksi julkaistut
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. P
Ait Ameur, Yamine; Schewe, Klaus-Dieter
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, Chi
Ait-Ameur, Yamine; Qin, Shengchao
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems - Communications of NII Shonan Meeti
Ait-Ameur, Yamine; Nakajima, Shin; Méry, Dominique
Springer Verlag, Singapore
2020
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
100,90 €
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems - Communications of NII Shonan Meeti
Ait-Ameur, Yamine; Nakajima, Shin; Méry, Dominique
Springer Verlag, Singapore
2021
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
100,90 €
Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Pr
Aït-Ameur, Yamine; Crăciun, Florin
Springer International Publishing AG
2022
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
86,00 €
Model and Data Engineering - 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings
Ait Ameur, Yamine; Bellatreche, Ladjel; Papadopoulos, George A.
Springer International Publishing AG
2014
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, A
Boniol, Frederic; Wiels, Virginie; Ait Ameur, Yamine; Schewe, Klaus-Dieter
Springer International Publishing AG
2014
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Model and Data Engineering - 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings
Bellatreche, Ladjel; Pastor, Óscar; Almendros Jiménez, Jesús M.; Aït-Ameur, Yamine
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Engineering of Complex Computer Systems - 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Procee
Bai, Guangdong; Ishikawa, Fuyuki; Ait-Ameur, Yamine; Papadopoulos, George A.
Springer International Publishing AG
2024
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
76,00 €