bib.howest.be Zoekresultaten

U zocht naar: Type e-book

« Vorige | 16,511 - 16,520 van 173,163 | Volgende »

16511. Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Auteur:: Hung; Sokolsky, Oleg
Uitgever:: Springer International Publishing 2020
Type:: e-book

16512. Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Auteur:: Bouajjani, Ahmed.; Holík, Lukás; Wu, Zhilin
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

16513. Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Auteur:: André, Étienne.; Sun, Jun
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

16514. Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Auteur:: André, Étienne.; Sun, Jun
Uitgever:: Cham Springer 2023
Type:: e-book

16515. Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I

Auteur:: S. Akshay; Niemetz, Aina; Sankaranarayanan, Sriram
Uitgever:: Springer Nature 2025
Type:: e-book

16516. Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II

Auteur:: S. Akshay; Niemetz, Aina; Sankaranarayanan, Sriram
Uitgever:: Springer Nature 2025
Type:: e-book

16517. Automated Trading with R

Auteur:: Conlan, Christopher
Uitgever:: Apress 2016
Type:: e-book

16518. Automated Unit Testing with ABAP

Auteur:: McDonough
Uitgever:: Apress 2021
Type:: e-book

16519. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Auteur:: Przigoda, Nils; Drechsler, Rolf; Przigoda, Judith; Wille, Robert
Uitgever:: Springer International Publishing 2018
Type:: e-book

16520. Automated Workflow Scheduling in Self-Adaptive Clouds

Auteur:: Kousalya, G.(; Balakrishnan, P.; Pethuru Raj, C.
Uitgever:: Cham Springer International Publishing 2017
Type:: e-book