Arama Sonuçları Machine theory.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMachine$002btheory.$0026rm$003dTEZ$002bKOLEKSIYONU0$00257C$00257C$00257C1$00257C$00257C$00257C0$00257C$00257C$00257Ctrue$0026te$003dILS$0026ps$003d300?dt=list2025-01-18T13:12:34ZUtilization of timed automata as a verification tool for real-time security protocolsent://SD_ILS/0/SD_ILS:1067372025-01-18T13:12:34Z2025-01-18T13:12:34Zby Külahçıoğlu, Burcu.<br/><a href="http://hdl.handle.net/11147/3046">Access to Electronic Version.</a><br/>Format: El Yazması<br/>Fourier analysis based testing of finite state machinesent://SD_ILS/0/SD_ILS:21340172025-01-18T13:12:34Z2025-01-18T13:12:34Zby Takan, Savaş, author.<br/><a href="https://hdl.handle.net/11147/7488">Access to Electronic Versiyon.</a><br/>Format: El Yazması<br/>Design of a six degree-of-freedom haptic hybrid platform manipultorent://SD_ILS/0/SD_ILS:630502025-01-18T13:12:34Z2025-01-18T13:12:34Zby Bilgincan, Tunç.<br/><a href="http://hdl.handle.net/11147/3816">Access to Electronic Version.</a><br/>Format: El Yazması<br/>Design of HiDAM: highly deployable articulated mast for positioning of satellite componentsent://SD_ILS/0/SD_ILS:22805292025-01-18T13:12:34Z2025-01-18T13:12:34Zby Cebeci, Yunus, author.<br/><a href="https://hdl.handle.net/11147/12798">Access to Electronic Versiyon.</a><br/>Format: El Yazması<br/>Biokinematic analysis of human arment://SD_ILS/0/SD_ILS:186862025-01-18T13:12:34Z2025-01-18T13:12:34Zby Gezgin, Erkin.<br/><a href="http://hdl.handle.net/11147/3420">Access to Electronic Version.</a><br/>Format: El Yazması<br/>Biokinematic analysis of human bodyent://SD_ILS/0/SD_ILS:1293622025-01-18T13:12:34Z2025-01-18T13:12:34Zby Gezgin, Erkin.<br/><a href="http://hdl.handle.net/11147/2892">Access to Electronic Version.</a><br/>Format: El Yazması<br/>The Social and technical development of toilet designent://SD_ILS/0/SD_ILS:176972025-01-18T13:12:34Z2025-01-18T13:12:34Zby Aytaç, Sıdıka Mine.<br/><a href="http://hdl.handle.net/11147/3366">Access to Electronic Version.</a><br/>Format: El Yazması<br/>Heuristic Approaches to scheduling problems in a flexible job shop environmentent://SD_ILS/0/SD_ILS:514632025-01-18T13:12:34Z2025-01-18T13:12:34Zby İliş, Emin Özge.<br/><a href="http://hdl.handle.net/11147/3768">Access to Electronic Version.</a><br/>Format: El Yazması<br/>