Arama Sonu&ccedil;lar&#305; Computer Simulation. - Daralt&#305;lm&#305;&#351;: Mathematical logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002bSimulation.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026te$003dILS$0026ps$003d300?dt=list 2024-12-24T17:01:31Z Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483829 2024-12-24T17:01:31Z 2024-12-24T17:01:31Z Yazar&#160;Herzig, Andreas. editor. (orcid)0000-0003-0833-2782&#160;Popescu, Andrei. editor. (orcid)0000-0001-8747-0619&#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-030-29007-8">https://doi.org/10.1007/978-3-030-29007-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:485282 2024-12-24T17:01:31Z 2024-12-24T17:01:31Z Yazar&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. editor.&#160;Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#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-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486274 2024-12-24T17:01:31Z 2024-12-24T17:01:31Z Yazar&#160;Collart-Dutilleul, Simon. editor.&#160;Lecomte, Thierry. editor.&#160;Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331&#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-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> KI 2014: Advances in Artificial Intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488915 2024-12-24T17:01:31Z 2024-12-24T17:01:31Z Yazar&#160;Lutz, Carsten. editor.&#160;Thielscher, Michael. 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-11206-0">https://doi.org/10.1007/978-3-319-11206-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Language Engineering 7th International Conference, SLE 2014, V&auml;ster&aring;s, Sweden, September 15-16, 2014. Proceedings ent://SD_ILS/0/SD_ILS:486822 2024-12-24T17:01:31Z 2024-12-24T17:01:31Z Yazar&#160;Combemale, Benoit. editor.&#160;Pearce, David. editor.&#160;Barais, Olivier. editor.&#160;Vinju, Jurgen. 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-11245-9">https://doi.org/10.1007/978-3-319-11245-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>