کتاب های Huisman
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Marieke Huisman, Corina Păsăreanu, Naijun Zhan, 2021
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Marieke Huisman, Corina Păsăreanu, Naijun Zhan, 2021
Pediatric Imaging:Case Review Series
Thierry A. G. M. Huisman MD, 2010
Researching Higher Education: International perspectives on theory, policy and practice
Jennifer M. Case, Jeroen Huisman (eds.), 2016
Haptics: Science, Technology, Applications: 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022 Hamburg, Germany, May 22–25, 2022 Proceedings
Hasti Seifi, Astrid M. L. Kappers, Oliver Schneider, Knut Drewing, Claudio Pacchierotti, Alireza Abbasimoshaei, Gijs Huisman, Thorsten A. Kern, 2022
Concise Guide to Software Verification : From Model Checking to Annotation Checking
Marieke Huisman; Anton Wijs, 2023
Fetal, Neonatal and Pediatric Neuroradiology
Stephen Kralik, Nilesh Desai, Avner Meoded MD, Thierry A. G. M. Huisman MD, 2023
