Arama Sonu&ccedil;lar&#305; Critical theory. - Daralt&#305;lm&#305;&#351;: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCritical$002btheory.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?dt=list 2026-03-27T01:40:41Z Principle of Petri Nets ent://SD_ILS/0/SD_ILS:606870 2026-03-27T01:40:41Z 2026-03-27T01:40:41Z Yazar&#160;Yuan, Chongyi. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-97-7336-7">https://doi.org/10.1007/978-981-97-7336-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python ent://SD_ILS/0/SD_ILS:608772 2026-03-27T01:40:41Z 2026-03-27T01:40:41Z Yazar&#160;Caligiore, Daniele. author.&#160;Carli, Samuele. author. (orcid)0000-0002-3250-2465&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-96-2718-9">https://doi.org/10.1007/978-981-96-2718-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings ent://SD_ILS/0/SD_ILS:614261 2026-03-27T01:40:41Z 2026-03-27T01:40:41Z Yazar&#160;Barrett, Clark. editor.&#160;Davies, Misty. editor.&#160;Kahsai, Temesghen. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-57288-8">https://doi.org/10.1007/978-3-319-57288-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures ent://SD_ILS/0/SD_ILS:617841 2026-03-27T01:40:41Z 2026-03-27T01:40:41Z Yazar&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>