Arama Sonuçları - Daraltılmış: Başkent Kütüphanesi - Computer science. - Logic.SirsiDynix Enterprisehttp://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLIBRARY$002509K$0025C3$0025BCt$0025C3$0025BCphane$0025091$00253ABASKENT$002509Ba$0025C5$00259Fkent$002bK$0025C3$0025BCt$0025C3$0025BCphanesi$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Konu$002509Logic.$002509Logic.$0026ps$003d300?dt=list2024-09-27T00:35:06ZInductive Certificate Synthesis for Control Designent://SD_ILS/0/SD_ILS:6800652024-09-27T00:35:06Z2024-09-27T00:35:06Zby Ravanbakhsh, Hadi, author.<br/><a href="http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10792462">http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10792462</a><br/>Format: Kitap<br/>Working material for the lectures of Gerhard Jager.ent://SD_ILS/0/SD_ILS:617102024-09-27T00:35:06Z2024-09-27T00:35:06Zby Jager, Gerhard<br/>Format: Kitap<br/>Working material for the lectures of Stan S. Wainer.ent://SD_ILS/0/SD_ILS:617112024-09-27T00:35:06Z2024-09-27T00:35:06Zby Wainer, Stan S.<br/>Format: Kitap<br/>A framework for defining logicsent://SD_ILS/0/SD_ILS:618832024-09-27T00:35:06Z2024-09-27T00:35:06Zby Harper, Robert<br/>Format: Kitap<br/>