bib.howest.be Zoekresultaten

U zocht naar: Auteur Bowen, Jonathan P. Taal Engels

1 - 10 van 10

1. Museums and Digital Culture

Auteur:: Giannini; Bowen, Jonathan P.
Uitgever:: Springer International Publishing 2019
Type:: e-book

2. Provably Correct Systems

Auteur:: Hinchey, Mike; Bowen, Jonathan P.; Olderog, Ernst-Rüdiger; Bowen, Jonathan P.; Olderog, Ernst-Rüdiger
Uitgever:: Springer International Publishing 2017
Type:: e-book

3. Electronic Visualisation in Arts and Culture

Auteur:: Bowen, Jonathan P.; Keene, Suzanne; Ng, Kia
Uitgever:: Springer London 2013
Type:: e-book

4. Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Auteur:: Bowen, Jonathan P.; Gomes, Cláudio; Liu, Zhiming
Uitgever:: Singapore Springer 2025
Type:: e-book

5. Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Auteur:: Bowen, Jonathan P.; Li, Qin; Xu, Qiwen
Uitgever:: Springer 2023
Type:: e-book

6. Engineering Trustworthy Software Systems

Auteur:: Bowen; Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Uitgever:: Springer International Publishing 2019
Type:: e-book

7. Engineering Trustworthy Software Systems

Auteur:: Bowen; Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Uitgever:: Springer International Publishing 2017
Type:: e-book

8. Formal Methods: State of the Art and New Directions

Auteur:: Paul Boca; Boca, Paul; Bowen, Jonathan P.; Siddiqi, Jawed
Uitgever:: Springer London 2010
Type:: e-book

9. Formal Methods and Testing

Auteur:: Hierons, Robert M.; Bowen, Jonathan P.; Bowen, Jonathan Peter; Harman, Mark; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

10. Abstract State Machines, B and Z

Auteur:: Börger, Egon; Boca, Paul; Bowen, Jonathan P.; Butler, Michael; Kanade, Takeo; Boca, Paul P.; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book