Arama Sonuçları 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 Ralston, Anthony, ed. Wilf, Herbert S., ed.<br/>Yer Numarası QA 76.5 R3 1960- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütü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 Skiena, Steven.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511547089">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Noss, Richard. Hoyles, Celia, 1946-<br/>Yer Numarası QA11 .N65 1996<br/>Format: Kitap<br/>Durum Beytepe Kütü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 Nakazawa, Naoya, author. Nakazawa, Hiroshi, author.<br/>Yer Numarası QA276.5<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Kaganovskiy, Leon.<br/>Yer Numarası QA276<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Seebacher, Uwe G. Legat, Christoph.<br/>Yer Numarası Q337.3<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Deshmukh, Shailaja R. Kashikar, Akanksha S.<br/>Yer Numarası QA273.19 .E4<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Aphalo, Pedro J., author.<br/>Yer Numarası QA76.73 .R3 2024<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Dey, Nilanjan, 1984- editor. Misra, Bitan, editor. Chakraborty, Sayan, PhD, editor.<br/>Yer Numarası R859<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Bischl, Bernd, editor. Sonabend, Raphael, editor. Kotthoff, Lars, editor. Lang, Michel, editor.<br/>Yer Numarası Q325.5<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Uden, Lorna. editor. Liberona, Dario. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Senthil Kumar, C. editor. Sujatha, R. editor. Muthukumar, R. editor. Rao, K. Balaji. editor. Prakash, Raghu V. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Fernández Stigliano, Ariel, author.<br/>Yer Numarası Q335 .F468 2023<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Gryś, Sławomir, author.<br/>Yer Numarası QA76.9 .C62<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Ochkov, V. F. (Valeriĭ Fedorovich), author. Stevens, Alan (Mathematician), author. Tikhonov, Anton (Information technology), author.<br/>Yer Numarası QA303.2<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced R Solutions
ent://SD_ILS/0/SD_ILS:553836
2026-01-14T12:53:46Z
2026-01-14T12:53:46Z
Yazar Grosser, Malte. Bumann, Henning, author. Wickham, Hadley, author.<br/>Yer Numarası QA276.45 .R3 G76 2022<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Sahu, Sujit Kumar<br/>Yer Numarası QA279.5<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Karvinkoppa, Mathew, author. Hotta, Tapano Kumar, author.<br/>Yer Numarası TK7874<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Kolosova, Tanya, author. Berestizhevsky, Samuel, author.<br/>Yer Numarası Q325.75 .K65 2021 EB<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Harrison, Ewen, author. Pius, Riinu, author.<br/>Yer Numarası QH324.2 .H37 2020<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Kopczewska, Katarzyna, editor.<br/>Yer Numarası HA30.6<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Ochkov, V. F. (Valeriĭ Fedorovich)<br/>Yer Numarası QA76.27<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486274
2026-01-14T12:53:46Z
2026-01-14T12:53:46Z
Yazar Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483434
2026-01-14T12:53:46Z
2026-01-14T12:53:46Z
Yazar Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483469
2026-01-14T12:53:46Z
2026-01-14T12:53:46Z
Yazar Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Batyrshin, Ildar. editor. Marín-Hernández, Antonio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:482984
2026-01-14T12:53:46Z
2026-01-14T12:53:46Z
Yazar Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483088
2026-01-14T12:53:46Z
2026-01-14T12:53:46Z
Yazar Alviano, Mario. editor. (orcid)0000-0002-2052-2063 Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828 Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484880
2026-01-14T12:53:46Z
2026-01-14T12:53:46Z
Yazar Cuzzocrea, Alfredo. editor. Greco, Sergio. editor. Larsen, Henrik Legind. editor. Saccà, Domenico. editor. Andreasen, Troels. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Besold, Tarek R. editor. Schorlemmer, Marco. editor. Smaill, Alan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reliable Software Technologies – 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 George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Jones, Richard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Yahav, Eran. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Der, Geoff, author. Everitt, Brian Sidney, author. Taylor and Francis.<br/>Yer Numarası QA276.4 .D474<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466599048">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütü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 Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Calude, Cristian S. editor. Freivalds, Rūsiņš. editor. Kazuo, Iwama. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Meduna, Alexander. author. Zemek, Petr. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Diaz, Josep. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Sangiorgi, Davide. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Roulstone, Ian. Norbury, John, 1945-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt1r2dvw">http://www.jstor.org/stable/10.2307/j.ctt1r2dvw</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Xie, Yihui., author. Taylor and Francis.<br/>Yer Numarası QA276.4<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781482203547">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütü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 Bahi, Jacques Mohcine., author. Guyeux, Christophe.<br/>Yer Numarası QA76.9 .A25 B344 2013<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466554511">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütü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 Cook, William, 1957-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt7t8kc">http://www.jstor.org/stable/10.2307/j.ctt7t8kc</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Lau, H. T. (Hang Tong), 1952-<br/>Yer Numarası QA76.73 .C15 L38 1995 EB<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>