Arama Sonu&ccedil;lar&#305; Hinchey, Michael. - Daralt&#305;lm&#305;&#351;: Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dHinchey$00252C$002bMichael.$0026qf$003dSUBJECT$002509Konu$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ps$003d300?dt=list 2024-12-24T19:53:10Z Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182479 2024-12-24T19:53:10Z 2024-12-24T19:53:10Z Yazar&#160;Hinchey, Michael G. editor.&#160;Rash, James L. editor.&#160;Truszkowski, Walter F. editor.&#160;Rouff, Christopher A. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b105317">http://dx.doi.org/10.1007/b105317</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187645 2024-12-24T19:53:10Z 2024-12-24T19:53:10Z Yazar&#160;Butler, Michael. editor.&#160;Hinchey, Michael G. editor.&#160;Larrondo-Petrie, Mar&iacute;a M. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-76650-6">http://dx.doi.org/10.1007/978-3-540-76650-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>