bib.howest.be Zoekresultaten

U zocht naar: Taal Engels

« Vorige | 231,311 - 231,320 van 238,347 | Volgende »

231311. Verification of Sequential and Concurrent Programs

Auteur:: Apt, Krzysztof R.; Boer, Frank S.; Olderog, Ernst-Rüdiger; de Boer, Frank S.; Pnueli, Amir
Uitgever:: Springer London 2009
Type:: e-book

231312. Verified Signal Processing Algorithms in Matlab and C : Advised by Israel Greiss

Auteur:: Dickman, Arie.
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

231313. Verified Software. Theories, Tools, and Experiments

Auteur:: Blazy; Chechik, Marsha
Uitgever:: Springer International Publishing 2016
Type:: e-book

231314. Verified Software: Theories, Tools and Experiments

Auteur:: Giannakopoulou; Kroening, Daniel
Uitgever:: Springer International Publishing 2014
Type:: e-book

231315. Verified Software. Theories, Tools, and Experiments

Auteur:: Chakraborty; Navas, Jorge A.
Uitgever:: Springer International Publishing 2020
Type:: e-book

231316. Verified Software. Theories, Tools, and Experiments

Auteur:: Paskevich; Wies, Thomas
Uitgever:: Springer International Publishing 2017
Type:: e-book

231317. Verified Software: Theories, Tools, and Experiments

Auteur:: Arie Gurfinkel, Sanjit A. Seshia; Seshia, Sanjit A.
Uitgever:: Springer International Publishing 2016
Type:: e-book

231318. Verified Software. Theories, Tools, and Experiments

Auteur:: Piskac; Philipp Rümmer; Rümmer, Philipp
Uitgever:: Springer International Publishing 2018
Type:: e-book

231319. Verified Software. Theories, Tools and Experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Auteur:: Lal, Akash.; Tonetta, Stefano
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

231320. Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers

Auteur:: Jonathan Protzenko
Uitgever:: Springer Nature 2025
Type:: e-book