Zoeken

U zocht naar: Auteur Mery Filter Auteur: Mery weghalen
| 11 - 17 van 17 | Volgende »
Aantal zoekresultaten per pagina

Zoekresultaten

11. Theoretical Aspects of Computing – ICTAC 2014
thumbnail
Full text!
Auteur:
Ciobanu; Méry, Dominique
Uitgever:
Springer International Publishing 2014
Type:
e-book
12. Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings
thumbnail
Full text!
Auteur:
Raschke, Alexander; Méry, Dominique
Uitgever:
Springer International Publishing 2021
Type:
e-book
13. Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
thumbnail
Full text!
Auteur:
Ait-Ameur; Méry, Dominique; Nakajima, Shin
Uitgever:
Springer Singapore 2021
Type:
e-book
14. Rigorous State-Based Methods
thumbnail
Full text!
Auteur:
Raschke, Alexander; Houdek, Frank; Méry, Dominique
Uitgever:
Springer International Publishing 2020
Type:
e-book
15. Model and Data Engineering
thumbnail
Full text!
Auteur:
Abdelwahed; Carlos Ordonez; Dominique Méry; Ladjel Bellatreche; Mattéo Golfarelli; Bellatreche, Ladjel; Golfarelli, Mattéo; Méry, Dominique; Ordonez, Carlos
Uitgever:
Springer International Publishing 2018
Type:
e-book
16. Integrated Formal Methods
thumbnail
Full text!
Auteur:
Méry, Dominique; Kanade, Takeo; Merz, Stephan; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
17. Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
thumbnail
Full text!
Auteur:
Glässer, Uwe.; Creissac Campos, Jose; Méry, Dominique; Palanque, Philippe
Uitgever:
Cham Springer 2023
Type:
e-book