|
|

avaa valikko

Dominique Méry | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 12 tuotetta
Haluatko tarkentaa hakukriteerejä?



Roy, Mickaël; Kusyk, Meryl; Bechmann, Dominique
Peter Lang AG, Internationaler Verlag der Wissenschaften
2016
Pehmeäkantinen kirja
Environnements numériques et interactions en langue étrangère : du formel à l’informel, du réel à la réalité virtuelle - Fremdsp
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
133,10 €
Méry, Dominique; Merz, Stephan
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja
Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Giannakopoulou, Dimitra; Mery, Dominique
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja
FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Ciobanu, Gabriel; Méry, Dominique
Springer International Publishing AG
2014
Pehmeäkantinen kirja
Theoretical Aspects of Computing – ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Procee
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Abdelwahed, El Hassan; Bellatreche, Ladjel; Golfarelli, Mattéo; Méry, Dominique; Ordonez, Carlos
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja
Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Abdelwahed, El Hassan; Bellatreche, Ladjel; Benslimane, Djamal; Golfarelli, Matteo; Jean, Stéphane; Mery, Dominique; Nakamatsu,
Springer
2018
Pehmeäkantinen kirja
New Trends in Model and Data Engineering : MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Ait-Ameur, Yamine; Nakajima, Shin; Méry, Dominique
Springer Verlag, Singapore
2020
Kovakantinen kirja
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems - Communications of NII Shonan Meeti
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
101,40 €
Raschke, Alexander; Méry, Dominique; Houdek, Frank
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Raschke, Alexander; Méry, Dominique
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja
Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
61,40 €
Ait-Ameur, Yamine; Nakajima, Shin; Méry, Dominique
Springer Verlag, Singapore
2021
Pehmeäkantinen kirja
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems - Communications of NII Shonan Meeti
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
101,40 €
Glässer, Uwe; Creissac Campos, Jose; Méry, Dominique; Palanque, Philippe
Springer International Publishing AG
2023
Pehmeäkantinen kirja
Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
76,40 €
Ogata, Kazuhiro; Mery, Dominique; Sun, Meng; Liu, Shaoying
Springer Nature Switzerland AG
2024
Pehmeäkantinen kirja
Formal Methods and Software Engineering - 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Ja
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
67,40 €

Näytä lisää...