bib.howest.be Zoekresultaten

U zocht naar: Auteur Peter Csaba Ölveczky Type e-book

« Vorige | 1 - 10 van 12 | Volgende »

1. Formal Aspects of Component Software

Auteur:: Bae; Peter Csaba Ölveczky; Ölveczky, Peter Csaba
Uitgever:: Springer International Publishing 2018
Type:: e-book

2. Formal Aspects of Component Software

Auteur:: Christiano Braga, Peter Csaba Ölveczky; Ölveczky, Peter Csaba
Uitgever:: Springer International Publishing 2016
Type:: e-book

3. Formal Techniques for Safety-Critical Systems

Auteur:: Cyrille Artho, Peter Csaba Ölveczky; Ölveczky, Peter Csaba
Uitgever:: Springer International Publishing 2017
Type:: e-book

4. Formal Techniques for Safety-Critical Systems

Auteur:: Cyrille Artho, Peter Csaba Ölveczky; Ölveczky, Peter Csaba
Uitgever:: Springer International Publishing 2016
Type:: e-book

5. Designing Reliable Distributed Systems

Auteur:: Ölveczky; Ölveczky, Peter Csaba
Uitgever:: Springer London 2017
Type:: e-book

6. Formal Techniques for Safety-Critical Systems

Auteur:: Artho; Ölveczky, Peter Csaba
Uitgever:: Springer International Publishing 2015
Type:: e-book

7. Formal Techniques for Safety-Critical Systems

Auteur:: Artho; Ölveczky, Peter Csaba
Uitgever:: Springer International Publishing 2019
Type:: e-book

8. Theoretical Aspects of Computing - ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

Auteur:: Cerone, Antonio; Ölveczky, Peter Csaba
Uitgever:: Springer International Publishing 2021
Type:: e-book

9. Formal Aspects of Component Software

Auteur:: Hutchison, David; Kanade, Takeo; Ölveczky, Peter Csaba
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

10. Logic, Rewriting, and Concurrency

Auteur:: Martí-Oliet; Talcott, Carolyn; Ölveczky, Peter Csaba
Uitgever:: Springer International Publishing 2015
Type:: e-book