Search Results for - Narrowed by: Tez Koleksiyonu - 2010 - Machine theory. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/tr_TR/default_tr/default_tr/qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253ATHESIS$002509Tez$002bKoleksiyonu$0026qf$003dPUBDATE$002509Publication$002bDate$0025092010$0025092010$0026qf$003dSUBJECT$002509Subject$002509Machine$002btheory.$002509Machine$002btheory.$0026rm$003dTEZ$002bKOLEKSIYONU0$00257C$00257C$00257C1$00257C$00257C$00257C0$00257C$00257C$00257Ctrue$0026te$003dILS$0026ps$003d300? 2024-05-22T15:54:15Z Design of a six degree-of-freedom haptic hybrid platform manipultor ent://SD_ILS/0/SD_ILS:63050 2024-05-22T15:54:15Z 2024-05-22T15:54:15Z by&#160;Bilgincan, Tun&ccedil;.<br/><a href="http://hdl.handle.net/11147/3816">Access to Electronic Version.</a><br/>Format:&#160;El Yazması<br/> Utilization of timed automata as a verification tool for real-time security protocols ent://SD_ILS/0/SD_ILS:106737 2024-05-22T15:54:15Z 2024-05-22T15:54:15Z by&#160;K&uuml;lah&ccedil;ıoğlu, Burcu.<br/><a href="http://hdl.handle.net/11147/3046">Access to Electronic Version.</a><br/>Format:&#160;El Yazması<br/>