Arama Sonu&ccedil;lar&#305; COMPUTERS -- Mathematical SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCOMPUTERS$002b--$002bMathematical$0026te$003dILS$0026ps$003d300?dt=list 2026-01-14T12:53:46Z Mathematical methods for digital computers ent://SD_ILS/0/SD_ILS:34732 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Ralston, Anthony, ed.&#160;Wilf, Herbert S., ed.<br/>Yer Numaras&#305;&#160;QA 76.5 R3 1960- V.1<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~2<br/> Calculated Bets Computers, Gambling, and Mathematical Modeling to Win ent://SD_ILS/0/SD_ILS:235584 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Skiena, Steven.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9780511547089">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Windows on mathematical meanings : learning cultures and computers ent://SD_ILS/0/SD_ILS:112336 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Noss, Richard.&#160;Hoyles, Celia, 1946-<br/>Yer Numaras&#305;&#160;QA11 .N65 1996<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Random Number Generators on Computers ent://SD_ILS/0/SD_ILS:578351 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Nakazawa, Naoya, author.&#160;Nakazawa, Hiroshi, author.<br/>Yer Numaras&#305;&#160;QA276.5<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003410607">https://www.taylorfrancis.com/books/9781003410607</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> APPLIED STATISTICS WITH PYTHON ent://SD_ILS/0/SD_ILS:592818 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Kaganovskiy, Leon.<br/>Yer Numaras&#305;&#160;QA276<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003473114">https://www.taylorfrancis.com/books/9781003473114</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> COLLECTIVE INTELLIGENCE the rise of swarm systems and their impact on society. ent://SD_ILS/0/SD_ILS:590179 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Seebacher, Uwe G.&#160;Legat, Christoph.<br/>Yer Numaras&#305;&#160;Q337.3<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781032690711">https://www.taylorfrancis.com/books/9781032690711</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> PROBABILITY THEORY an introduction using r. ent://SD_ILS/0/SD_ILS:578540 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Deshmukh, Shailaja R.&#160;Kashikar, Akanksha S.<br/>Yer Numaras&#305;&#160;QA273.19 .E4<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781032619057">https://www.taylorfrancis.com/books/9781032619057</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Learn R : as a language ent://SD_ILS/0/SD_ILS:585088 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Aphalo, Pedro J., author.<br/>Yer Numaras&#305;&#160;QA76.73 .R3 2024<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003404187">https://www.taylorfrancis.com/books/9781003404187</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> SMART MEDICAL IMAGING FOR DIAGNOSIS AND TREATMENT PLANNING ent://SD_ILS/0/SD_ILS:569729 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Dey, Nilanjan, 1984- editor.&#160;Misra, Bitan, editor.&#160;Chakraborty, Sayan, PhD, editor.<br/>Yer Numaras&#305;&#160;R859<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003464884">https://www.taylorfrancis.com/books/9781003464884</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applied machine learning using mlr3 in R ent://SD_ILS/0/SD_ILS:592736 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Bischl, Bernd, editor.&#160;Sonabend, Raphael, editor.&#160;Kotthoff, Lars, editor.&#160;Lang, Michel, editor.<br/>Yer Numaras&#305;&#160;Q325.5<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003402848">https://www.taylorfrancis.com/books/9781003402848</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Learning Technology for Education Challenges 11th International Workshop, LTEC 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520455 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Uden, Lorna. editor.&#160;Liberona, Dario. editor. (orcid)&#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-34754-2">https://doi.org/10.1007/978-3-031-34754-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Reliability and Safety Assessment for Critical Systems Proceedings of the 5th National Conference on Reliability and Safety (NCRS 2022) ent://SD_ILS/0/SD_ILS:528353 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Senthil Kumar, C. editor.&#160;Sujatha, R. editor.&#160;Muthukumar, R. editor.&#160;Rao, K. Balaji. editor.&#160;Prakash, Raghu V. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-99-5049-2">https://doi.org/10.1007/978-981-99-5049-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Topological dynamics in metamodel discovery with artificial intelligence : from biomedical to cosmological technologies ent://SD_ILS/0/SD_ILS:583068 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Fern&aacute;ndez Stigliano, Ariel, author.<br/>Yer Numaras&#305;&#160;Q335 .F468 2023<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003333012">https://www.taylorfrancis.com/books/9781003333012</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> COMPUTER ARITHMETIC IN PRACTICE exercises and programming. ent://SD_ILS/0/SD_ILS:574387 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Gry&#347;, S&#322;awomir, author.<br/>Yer Numaras&#305;&#160;QA76.9 .C62<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003363286">https://www.taylorfrancis.com/books/9781003363286</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> STEM PROBLEMS WITH MATHCAD AND PYTHON ent://SD_ILS/0/SD_ILS:586718 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Ochkov, V. F. (Valeri&#301; Fedorovich), author.&#160;Stevens, Alan (Mathematician), author.&#160;Tikhonov, Anton (Information technology), author.<br/>Yer Numaras&#305;&#160;QA303.2<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003228356">https://www.taylorfrancis.com/books/9781003228356</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced R Solutions ent://SD_ILS/0/SD_ILS:553836 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Grosser, Malte.&#160;Bumann, Henning, author.&#160;Wickham, Hadley, author.<br/>Yer Numaras&#305;&#160;QA276.45 .R3 G76 2022<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003175414">https://www.taylorfrancis.com/books/9781003175414</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Bayesian Modelling of Spatio-Temporal Data with R. ent://SD_ILS/0/SD_ILS:553597 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Sahu, Sujit Kumar<br/>Yer Numaras&#305;&#160;QA279.5<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429318443">https://www.taylorfrancis.com/books/9780429318443</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Hybrid genetic optimization for IC chips thermal control : with MATLAB applications ent://SD_ILS/0/SD_ILS:577026 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Karvinkoppa, Mathew, author.&#160;Hotta, Tapano Kumar, author.<br/>Yer Numaras&#305;&#160;TK7874<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/e/9781003188506">https://www.taylorfrancis.com/books/e/9781003188506</a> Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003188506">https://www.taylorfrancis.com/books/9781003188506</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Supervised machine learning : optimization framework and applications with SAS and R ent://SD_ILS/0/SD_ILS:572906 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Kolosova, Tanya, author.&#160;Berestizhevsky, Samuel, author.<br/>Yer Numaras&#305;&#160;Q325.75 .K65 2021 EB<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429297595">https://www.taylorfrancis.com/books/9780429297595</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> R for health data science ent://SD_ILS/0/SD_ILS:589280 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Harrison, Ewen, author.&#160;Pius, Riinu, author.<br/>Yer Numaras&#305;&#160;QH324.2 .H37 2020<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367855420">https://www.taylorfrancis.com/books/9780367855420</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applied spatial statistics and econometrics : data analysis in R ent://SD_ILS/0/SD_ILS:559453 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Kopczewska, Katarzyna, editor.<br/>Yer Numaras&#305;&#160;HA30.6<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003033219">https://www.taylorfrancis.com/books/9781003033219</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> 25 problems for STEM education ent://SD_ILS/0/SD_ILS:579721 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Ochkov, V. F. (Valeri&#301; Fedorovich)<br/>Yer Numaras&#305;&#160;QA76.27<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429344251">https://www.taylorfrancis.com/books/9780429344251</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:482916 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Graf, Susanne. editor.&#160;Larsen, Kim G. 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-030-22348-9">https://doi.org/10.1007/978-3-030-22348-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:485008 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Rojas, Ignacio. editor.&#160;Valenzuela, Olga. editor.&#160;Rojas, Fernando. editor.&#160;Ortu&ntilde;o, Francisco. 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-030-17938-0">https://doi.org/10.1007/978-3-030-17938-0</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 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z 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/> Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486683 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Artho, Cyrille. editor.&#160;&Ouml;lveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721&#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-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&amp;TC 2019, Rhodes, Greece, October 21&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483434 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847&#160;Hepp, Martin. editor.&#160;Lewis, Dave. editor.&#160;Ardagna, Claudio Agostino. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-33246-4">https://doi.org/10.1007/978-3-030-33246-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 &ndash; November 2, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483469 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Mart&iacute;nez-Villase&ntilde;or, Lourdes. editor. (orcid)0000-0002-9038-7821&#160;Batyrshin, Ildar. editor.&#160;Mar&iacute;n-Hern&aacute;ndez, Antonio. 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-030-33749-0">https://doi.org/10.1007/978-3-030-33749-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:482984 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623&#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-14174-5">https://doi.org/10.1007/978-3-030-14174-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> AI*IA 2019 &ndash; Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19&ndash;22, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483088 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Alviano, Mario. editor. (orcid)0000-0002-2052-2063&#160;Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828&#160;Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563&#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-35166-3">https://doi.org/10.1007/978-3-030-35166-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2&ndash;5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484880 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Cuzzocrea, Alfredo. editor.&#160;Greco, Sergio. editor.&#160;Larsen, Henrik Legind. editor.&#160;Sacc&agrave;, Domenico. editor.&#160;Andreasen, Troels. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-27629-4">https://doi.org/10.1007/978-3-030-27629-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:485649 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Rojas, Ignacio. editor.&#160;Valenzuela, Olga. editor.&#160;Rojas, Fernando. editor.&#160;Ortu&ntilde;o, Francisco. 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-030-17935-9">https://doi.org/10.1007/978-3-030-17935-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Creativity Research: Towards Creative Machines ent://SD_ILS/0/SD_ILS:518589 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Besold, Tarek R. editor.&#160;Schorlemmer, Marco. editor.&#160;Smaill, Alan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.2991/978-94-6239-085-0">https://doi.org/10.2991/978-94-6239-085-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485597 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;George, Laurent. editor.&#160;Vardanega, Tullio. 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-08311-7">https://doi.org/10.1007/978-3-319-08311-7</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 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485725 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Merz, Stephan. editor.&#160;Pang, Jun. 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-11737-9">https://doi.org/10.1007/978-3-319-11737-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Concrete Semantics With Isabelle/HOL ent://SD_ILS/0/SD_ILS:485672 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Nipkow, Tobias. author.&#160;Klein, Gerwin. 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-10542-0">https://doi.org/10.1007/978-3-319-10542-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488926 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Cassez, Franck. editor.&#160;Raskin, Jean-Francois. 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-11936-6">https://doi.org/10.1007/978-3-319-11936-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489137 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Jones, Richard. 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-662-44202-9">https://doi.org/10.1007/978-3-662-44202-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489622 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Yahav, Eran. 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-13338-6">https://doi.org/10.1007/978-3-319-13338-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487419 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Cohen, Ernie. editor.&#160;Rybalchenko, Andrey. 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-642-54108-7">https://doi.org/10.1007/978-3-642-54108-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A handbook of statistical graphics using SAS ODS ent://SD_ILS/0/SD_ILS:541155 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Der, Geoff, author.&#160;Everitt, Brian Sidney, author.&#160;Taylor and Francis.<br/>Yer Numaras&#305;&#160;QA276.4 .D474<br/>Elektronik Eri&#351;im&#160;<a href="https://www.taylorfrancis.com/books/9781466599048">Click here to view.</a><br/>Format:&#160;Kitap<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:483100 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Abraham, Erika. editor.&#160;Havelund, Klaus. editor. (orcid)0000-0001-7079-0472&#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-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484531 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Giannakopoulou, Dimitra. editor.&#160;Kroening, Daniel. 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-12154-3">https://doi.org/10.1007/978-3-319-12154-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485637 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;J&uuml;rgensen, Helmut. editor.&#160;Karhum&auml;ki, Juhani. editor.&#160;Okhotin, Alexander. 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-09704-6">https://doi.org/10.1007/978-3-319-09704-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures ent://SD_ILS/0/SD_ILS:489017 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Remke, Anne. editor.&#160;Stoelinga, Mari&euml;lle. 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-662-45489-3">https://doi.org/10.1007/978-3-662-45489-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489028 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Bonakdarpour, Borzoo. editor.&#160;Smolka, Scott A. 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-11164-3">https://doi.org/10.1007/978-3-319-11164-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday ent://SD_ILS/0/SD_ILS:489074 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Calude, Cristian S. editor.&#160;Freivalds, R&#363;si&#326;&scaron;. editor.&#160;Kazuo, Iwama. 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-13350-8">https://doi.org/10.1007/978-3-319-13350-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489095 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Shur, Arseny M. editor.&#160;Volkov, Mikhail V. 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-09698-8">https://doi.org/10.1007/978-3-319-09698-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Regulated Grammars and Automata ent://SD_ILS/0/SD_ILS:489527 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Meduna, Alexander. author.&#160;Zemek, Petr. 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-1-4939-0369-6">https://doi.org/10.1007/978-1-4939-0369-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487329 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Diaz, Josep. editor.&#160;Lanese, Ivan. editor. (orcid)0000-0003-2527-9995&#160;Sangiorgi, Davide. 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-662-44602-7">https://doi.org/10.1007/978-3-662-44602-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Invisible in the storm : the role of mathematics in understanding weather ent://SD_ILS/0/SD_ILS:377060 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Roulstone, Ian.&#160;Norbury, John, 1945-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.jstor.org/stable/10.2307/j.ctt1r2dvw">http://www.jstor.org/stable/10.2307/j.ctt1r2dvw</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Dynamic documents with R and KNITR ent://SD_ILS/0/SD_ILS:539143 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Xie, Yihui., author.&#160;Taylor and Francis.<br/>Yer Numaras&#305;&#160;QA276.4<br/>Elektronik Eri&#351;im&#160;<a href="https://www.taylorfrancis.com/books/9781482203547">Click here to view.</a><br/>Format:&#160;Kitap<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Discrete dynamical systems and chaotic machines : theory and applications ent://SD_ILS/0/SD_ILS:545715 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Bahi, Jacques Mohcine., author.&#160;Guyeux, Christophe.<br/>Yer Numaras&#305;&#160;QA76.9 .A25 B344 2013<br/>Elektronik Eri&#351;im&#160;<a href="https://www.taylorfrancis.com/books/9781466554511">Click here to view.</a><br/>Format:&#160;Kitap<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> In pursuit of the traveling salesman : mathematics at the limits of computation ent://SD_ILS/0/SD_ILS:376126 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Cook, William, 1957-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.jstor.org/stable/10.2307/j.ctt7t8kc">http://www.jstor.org/stable/10.2307/j.ctt7t8kc</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A Numerical library in C for scientists and engineers ent://SD_ILS/0/SD_ILS:540571 2026-01-14T12:53:46Z 2026-01-14T12:53:46Z Yazar&#160;Lau, H. T. (Hang Tong), 1952-<br/>Yer Numaras&#305;&#160;QA76.73 .C15 L38 1995 EB<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781420050103">https://www.taylorfrancis.com/books/9781420050103</a> Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367802387">https://www.taylorfrancis.com/books/9780367802387</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>