bib.howest.be Zoekresultaten

U zocht naar: Type e-book

« Vorige | 168,211 - 168,220 van 173,163 | Volgende »

168211. Verification and Evaluation of Computer and Communication Systems

Auteur:: Barkaoui; Boucheneb, Hanifa; Mili, Ali; Tahar, Sofiène
Uitgever:: Springer International Publishing 2017
Type:: e-book

168212. Verification and Evaluation of Computer and Communication Systems

Auteur:: Atig; Bruno Monsuez; Saddek Bensalem; Simon Bliudze; Bensalem, Saddek; Bliudze, Simon; Monsuez, Bruno
Uitgever:: Springer International Publishing 2018
Type:: e-book

168213. Verification and Validation in Systems Engineering

Auteur:: Debbabi, Mourad; Hassaïne, Fawzi; Alawneh, Luay; Jarraya, Yosr; Soeanu, Andrei
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

168214. Verification, Induction, Termination Analysis

Auteur:: Siegler, Simon; Kanade, Takeo; Wasser, Nathan; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

168215. Verification Methodology Manual for SystemVerilog

Auteur:: Bergeron, Janick; Cerny, Eduard; Hunter, Alan; Bergeron, Janick; Cerny, Eduard; Hunter, Alan; Nightingale, Andy
Uitgever:: Springer US 2006
Type:: e-book

168216. Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Auteur:: Dragoi, Cezara.; Emmi, Michael; Wang, Jingbo
Uitgever:: Cham Springer 2023
Type:: e-book

168217. Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Auteur:: Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Uitgever:: Cham Springer 2025
Type:: e-book

168218. Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Auteur:: Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Uitgever:: Cham Springer 2025
Type:: e-book

168219. Verification, Model Checking, and Abstract Interpretation

Auteur:: Emerson, E. Allen; Kanade, Takeo; Namjoshi, Kedar S.; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

168220. Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

Auteur:: Finkbeiner, Bernd.; Wies, Thomas
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book