Arama Sonu&ccedil;lar&#305; Science -- Computer simulation. - Daralt&#305;lm&#305;&#351;: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dScience$002b--$002bComputer$002bsimulation.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?dt=list 2026-04-15T04:16:30Z Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:607822 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094&#160;Takata, Masami. editor. (orcid)0000-0003-3475-7565&#160;Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142&#160;Rivas, Pablo. editor. (orcid)0000-0002-8690-0987&#160;Ohue, Masahito. editor. (orcid)0000-0002-0120-1643<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-85884-0">https://doi.org/10.1007/978-3-031-85884-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Scientific Computing and Bioinformatics and Computational Biology 22nd International Conference, CSC 2024, and 25th International Conference, BIOCOMP 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608140 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Hodson, Douglas D. editor.&#160;Grimaila, Michael R. editor. (orcid)0000-0002-8355-7992&#160;Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094&#160;Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142&#160;Wagner, Torrey J. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-85902-1">https://doi.org/10.1007/978-3-031-85902-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:608160 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Moreno-D&iacute;az, Roberto. 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-031-82949-9">https://doi.org/10.1007/978-3-031-82949-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:608161 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Moreno-D&iacute;az, Roberto. 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-031-82957-4">https://doi.org/10.1007/978-3-031-82957-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III ent://SD_ILS/0/SD_ILS:608165 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Moreno-D&iacute;az, Roberto. 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-031-83885-9">https://doi.org/10.1007/978-3-031-83885-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:609244 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#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-031-97554-7">https://doi.org/10.1007/978-3-031-97554-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:609245 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#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-031-97557-8">https://doi.org/10.1007/978-3-031-97557-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III ent://SD_ILS/0/SD_ILS:609246 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#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-031-97564-6">https://doi.org/10.1007/978-3-031-97564-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:609219 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#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-031-97573-8">https://doi.org/10.1007/978-3-031-97573-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:609226 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#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-031-97567-7">https://doi.org/10.1007/978-3-031-97567-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V ent://SD_ILS/0/SD_ILS:609229 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#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-031-97570-7">https://doi.org/10.1007/978-3-031-97570-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Understanding Modelling and Programming ent://SD_ILS/0/SD_ILS:606763 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Prinz, Andreas. author. (orcid)0000-0002-0646-2877&#160;M&oslash;ller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260&#160;Fischer, Joachim. author. (orcid)0000-0003-2476-3996&#160;Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786&#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-031-71280-7">https://doi.org/10.1007/978-3-031-71280-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:604091 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-63749-0">https://doi.org/10.1007/978-3-031-63749-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:604092 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-63759-9">https://doi.org/10.1007/978-3-031-63759-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII ent://SD_ILS/0/SD_ILS:604093 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-63783-4">https://doi.org/10.1007/978-3-031-63783-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:604114 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-63778-0">https://doi.org/10.1007/978-3-031-63778-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Performance Engineering Learning Through Applications Using JMT ent://SD_ILS/0/SD_ILS:601766 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Serazzi, Giuseppe. 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-3-031-36763-2">https://doi.org/10.1007/978-3-031-36763-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602425 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Jordan, Vladimir. editor.&#160;Tarasov, Ilya. editor.&#160;Shurina, Ella. editor.&#160;Filimonov, Nikolay. editor.&#160;Faerman, Vladimir A. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-51057-1">https://doi.org/10.1007/978-3-031-51057-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:604078 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-63751-3">https://doi.org/10.1007/978-3-031-63751-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:604079 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-63772-8">https://doi.org/10.1007/978-3-031-63772-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V ent://SD_ILS/0/SD_ILS:604080 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-63775-9">https://doi.org/10.1007/978-3-031-63775-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399551 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Dutle, Aaron. editor.&#160;Mu&ntilde;oz, C&eacute;sar. editor.&#160;Narkawicz, Anthony. 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-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab ent://SD_ILS/0/SD_ILS:401217 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;de Boer, Frank. editor.&#160;Bonsangue, Marcello. editor.&#160;Rutten, Jan. 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-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401564 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Gallardo, Mar&iacute;a del Mar. editor.&#160;Merino, Pedro. 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-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:617888 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Figueroa-Garc&iacute;a, Juan Carlos. editor. (orcid)0000-0001-5544-5937&#160;L&oacute;pez-Santana, Eduyn Ramiro. editor.&#160;Villa-Ram&iacute;rez, Jos&eacute; Luis. editor.&#160;Ferro-Escobar, Roberto. 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-66963-2">https://doi.org/10.1007/978-3-319-66963-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:617812 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Aceto, Luca. editor.&#160;Bacci, Giorgio. editor.&#160;Bacci, Giovanni. editor.&#160;Ing&oacute;lfsd&oacute;ttir, Anna. editor.&#160;Legay, Axel. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612150 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Cavalheiro, Simone. editor.&#160;Fiadeiro, Jos&eacute;. 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-70848-5">https://doi.org/10.1007/978-3-319-70848-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transactions on Computational Collective Intelligence XXVII ent://SD_ILS/0/SD_ILS:613757 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Mercik, Jacek. 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-70647-4">https://doi.org/10.1007/978-3-319-70647-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applied Computer Sciences in Engineering Third Workshop on Engineering Applications, WEA 2016, Bogot&aacute;, Colombia, September 21-23, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617903 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Figueroa-Garc&iacute;a, Juan Carlos. editor. (orcid)0000-0001-5544-5937&#160;L&oacute;pez-Santana, Eduyn Ramiro. editor.&#160;Ferro-Escobar, Roberto. 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-50880-1">https://doi.org/10.1007/978-3-319-50880-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Behavioural Models From Modelling Finite Automata to Analysing Business Processes ent://SD_ILS/0/SD_ILS:614579 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Kunze, Matthias. author.&#160;Weske, Mathias. 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-3-319-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613083 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Bartocci, Ezio. editor.&#160;Lio, Pietro. editor. (orcid)0000-0002-0540-5053&#160;Paoletti, Nicola. 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-45177-0">https://doi.org/10.1007/978-3-319-45177-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616257 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Cinquemani, Eugenio. editor.&#160;Donz&eacute;, Alexandre. 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-47151-8">https://doi.org/10.1007/978-3-319-47151-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283&ndash; October 4, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485724 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Dingel, Juergen. editor.&#160;Schulte, Wolfram. editor.&#160;Ramos, Isidro. editor.&#160;Abrahao, Silvia. editor.&#160;Insfran, Emilio. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer and Computing Technologies in Agriculture III Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191927 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Li, Daoliang. editor.&#160;Zhao, Chunjiang. 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-642-12220-0">http://dx.doi.org/10.1007/978-3-642-12220-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer and Computing Technologies in Agriculture II, Volume 2 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China ent://SD_ILS/0/SD_ILS:171897 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Li, Daoliang. editor.&#160;Zhao, Chunjiang. 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-1-4419-0211-5">http://dx.doi.org/10.1007/978-1-4419-0211-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL&rsquo;08 ent://SD_ILS/0/SD_ILS:170626 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Radetzki, Martin. 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-1-4020-9714-0">http://dx.doi.org/10.1007/978-1-4020-9714-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer and Computing Technologies in Agriculture II, Volume 1 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China ent://SD_ILS/0/SD_ILS:171896 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Li, Daoliang. editor.&#160;Zhao, Chunjiang. 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-1-4419-0209-2">http://dx.doi.org/10.1007/978-1-4419-0209-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer and Computing Technologies in Agriculture II, Volume 3 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China ent://SD_ILS/0/SD_ILS:171898 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Zhao, Chunjiang. editor.&#160;Li, Daoliang. 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-1-4419-0213-9">http://dx.doi.org/10.1007/978-1-4419-0213-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&amp;D Workshop, Bangalore, India, January 2007 ent://SD_ILS/0/SD_ILS:169733 2026-04-15T04:16:30Z 2026-04-15T04:16:30Z Yazar&#160;Ramesh, S. editor.&#160;Sampath, Prahladavaradan. 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-1-4020-6254-4">http://dx.doi.org/10.1007/978-1-4020-6254-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>