Arama Sonuçları Language. - Daraltılmış: Compilers (Computer programs).SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLanguage.$0026qf$003dSUBJECT$002509Konu$002509Compilers$002b$002528Computer$002bprograms$002529.$002509Compilers$002b$002528Computer$002bprograms$002529.$0026ps$003d300?dt=list2026-03-15T13:12:59ZProgramming Language Conceptsent://SD_ILS/0/SD_ILS:6174922026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Sestoft, Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60789-4">https://doi.org/10.1007/978-3-319-60789-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming with Scala Language Explorationent://SD_ILS/0/SD_ILS:6132982026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Upadhyaya, Bhim P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-69368-2">https://doi.org/10.1007/978-3-319-69368-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Scala: From a Functional Programming Perspective An Introduction to the Programming Languageent://SD_ILS/0/SD_ILS:6111202026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Torra, Vicenç. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46481-7">https://doi.org/10.1007/978-3-319-46481-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6126742026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-31220-0">https://doi.org/10.1007/978-3-319-31220-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modern X86 Assembly Language Programming 32-bit, 64-bit, SSE, and AVXent://SD_ILS/0/SD_ILS:6186692026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Kusswurm, Daniel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0064-3">https://doi.org/10.1007/978-1-4842-0064-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6069612026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-74776-2">https://doi.org/10.1007/978-3-031-74776-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Concise Introduction to Software Engineering With Open Source and GenAIent://SD_ILS/0/SD_ILS:6071112026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Jalote, Pankaj. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-74318-4">https://doi.org/10.1007/978-3-031-74318-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083272026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-91121-7">https://doi.org/10.1007/978-3-031-91121-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6083002026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-91118-7">https://doi.org/10.1007/978-3-031-91118-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction Fundamentals and Applicationsent://SD_ILS/0/SD_ILS:6082772026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-84813-1">https://doi.org/10.1007/978-3-031-84813-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedingsent://SD_ILS/0/SD_ILS:6068162026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-80607-0">https://doi.org/10.1007/978-3-031-80607-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>FPGA EDA Design Principles and Implementationent://SD_ILS/0/SD_ILS:6024812026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7755-0">https://doi.org/10.1007/978-981-99-7755-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedingsent://SD_ILS/0/SD_ILS:6029422026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-55630-2">https://doi.org/10.1007/978-3-031-55630-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Learn coding with Python and JavaScript A practical introduction for beginnersent://SD_ILS/0/SD_ILS:6042312026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-42912-6">https://doi.org/10.1007/978-3-658-42912-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6052882026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Calvaresi, Davide. editor. (orcid)0000-0001-9816-7439 Najjar, Amro. editor. (orcid)0000-0001-7784-6176 Omicini, Andrea. editor. (orcid)0000-0002-6655-3869 Aydogan, Reyhan. editor. (orcid)0000-0002-5260-9999 Carli, Rachele. editor. (orcid)0000-0002-8689-285X<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-70074-3">https://doi.org/10.1007/978-3-031-70074-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6062672026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-0617-7">https://doi.org/10.1007/978-981-96-0617-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Compiler Designent://SD_ILS/0/SD_ILS:6022302026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Mogensen, Torben Ægidius. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-46460-7">https://doi.org/10.1007/978-3-031-46460-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031622026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Weirich, Stephanie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57267-8">https://doi.org/10.1007/978-3-031-57267-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031532026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Weirich, Stephanie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57262-3">https://doi.org/10.1007/978-3-031-57262-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Present and Ulterior Software Engineeringent://SD_ILS/0/SD_ILS:6107592026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Mazzara, Manuel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67425-4">https://doi.org/10.1007/978-3-319-67425-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Finite Element Simulation with MSC Marc Application of User Subroutinesent://SD_ILS/0/SD_ILS:6129332026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Javanbakht, Zia. author. Öchsner, Andreas. author. (orcid)0000-0002-8844-3206 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47668-1">https://doi.org/10.1007/978-3-319-47668-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Programming Languagesent://SD_ILS/0/SD_ILS:6175552026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Lee, Kent D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70790-7">https://doi.org/10.1007/978-3-319-70790-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Scientific Computing in C++ent://SD_ILS/0/SD_ILS:6175612026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-73132-2">https://doi.org/10.1007/978-3-319-73132-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Practical Approach to Compiler Constructionent://SD_ILS/0/SD_ILS:6174862026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Watson, Des. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-52789-5">https://doi.org/10.1007/978-3-319-52789-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6160442026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-53354-4">https://doi.org/10.1007/978-3-319-53354-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160132026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar de Lara, Juan. editor. Plump, Detlef. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61470-0">https://doi.org/10.1007/978-3-319-61470-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6130582026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Esposito, Floriana. editor. Basili, Roberto. editor. (orcid)0000-0001-5140-0694 Ferilli, Stefano. editor. Lisi, Francesca A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70169-1">https://doi.org/10.1007/978-3-319-70169-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexityent://SD_ILS/0/SD_ILS:6163212026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Zeume, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54314-6">https://doi.org/10.1007/978-3-662-54314-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semanticsent://SD_ILS/0/SD_ILS:6112402026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Draheim, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-55198-7">https://doi.org/10.1007/978-3-642-55198-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6137382026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68015-6">https://doi.org/10.1007/978-3-319-68015-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Compiler Designent://SD_ILS/0/SD_ILS:6110512026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Mogensen, Torben Ægidius. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66966-3">https://doi.org/10.1007/978-3-319-66966-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6162342026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63139-4">https://doi.org/10.1007/978-3-319-63139-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161172026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61482-3">https://doi.org/10.1007/978-3-319-61482-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160002026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar ten Teije, Annette. editor. Popow, Christian. editor. (orcid)0000-0002-0496-1453 Holmes, John H. editor. Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-59758-4">https://doi.org/10.1007/978-3-319-59758-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering: Specification, Implementation, Verificationent://SD_ILS/0/SD_ILS:6168172026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Alagić, Suad. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61518-9">https://doi.org/10.1007/978-3-319-61518-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lecturesent://SD_ILS/0/SD_ILS:6163722026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60074-1">https://doi.org/10.1007/978-3-319-60074-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Numeric Computation and Statistical Data Analysis on the Java Platforment://SD_ILS/0/SD_ILS:6180822026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Chekanov, Sergei V. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28531-3">https://doi.org/10.1007/978-3-319-28531-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>More Math Into LaTeXent://SD_ILS/0/SD_ILS:6177482026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Grätzer, George. author. (orcid)0000-0002-5149-3883 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23796-1">https://doi.org/10.1007/978-3-319-23796-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Deductive Software Verification - The KeY Book From Theory to Practiceent://SD_ILS/0/SD_ILS:6160092026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-49812-6">https://doi.org/10.1007/978-3-319-49812-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6167452026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42061-5">https://doi.org/10.1007/978-3-319-42061-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6122882026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Thiemann, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Programming for Numerical Analysisent://SD_ILS/0/SD_ILS:6186072026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0295-1">https://doi.org/10.1007/978-1-4842-0295-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Beginning Haskell A Project-Based Approachent://SD_ILS/0/SD_ILS:6186942026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Serrano Mena, Alejandro. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6251-0">https://doi.org/10.1007/978-1-4302-6251-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Differential and Integral Calculusent://SD_ILS/0/SD_ILS:6186862026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0304-0">https://doi.org/10.1007/978-1-4842-0304-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dart for Absolute Beginnersent://SD_ILS/0/SD_ILS:6186872026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Kopec, David. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6482-8">https://doi.org/10.1007/978-1-4302-6482-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pro TypeScript Application-Scale JavaScript Developmentent://SD_ILS/0/SD_ILS:6186722026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Fenton, Steve. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6790-4">https://doi.org/10.1007/978-1-4302-6790-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Symbolic Algebra and Calculus Toolsent://SD_ILS/0/SD_ILS:6186442026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0343-9">https://doi.org/10.1007/978-1-4842-0343-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Optimization Techniquesent://SD_ILS/0/SD_ILS:6185772026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0292-0">https://doi.org/10.1007/978-1-4842-0292-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Linear Algebraent://SD_ILS/0/SD_ILS:6185602026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0322-4">https://doi.org/10.1007/978-1-4842-0322-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Beginning COBOL for Programmersent://SD_ILS/0/SD_ILS:6185622026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Coughlan, Michael. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6254-1">https://doi.org/10.1007/978-1-4302-6254-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Control Systems Engineeringent://SD_ILS/0/SD_ILS:6185542026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0289-0">https://doi.org/10.1007/978-1-4842-0289-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Matrix Algebraent://SD_ILS/0/SD_ILS:6185222026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0307-1">https://doi.org/10.1007/978-1-4842-0307-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Learn C++ for Game Developmentent://SD_ILS/0/SD_ILS:6186912026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Sutherland, Bruce. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6458-3">https://doi.org/10.1007/978-1-4302-6458-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transitioning to Swiftent://SD_ILS/0/SD_ILS:6186582026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Gardner, Scott. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0406-1">https://doi.org/10.1007/978-1-4842-0406-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Beginning C++ent://SD_ILS/0/SD_ILS:6186412026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Horton, Ivor. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0007-0">https://doi.org/10.1007/978-1-4842-0007-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Beginning Java 8 Games Developmentent://SD_ILS/0/SD_ILS:6185832026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Jackson, Wallace. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0415-3">https://doi.org/10.1007/978-1-4842-0415-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Differential Equationsent://SD_ILS/0/SD_ILS:6185342026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0310-1">https://doi.org/10.1007/978-1-4842-0310-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>C++ 2013 for C# Developersent://SD_ILS/0/SD_ILS:6185392026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Wills, Dean C. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6707-2">https://doi.org/10.1007/978-1-4302-6707-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>C++ Game Development Primerent://SD_ILS/0/SD_ILS:6185422026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Sutherland, Bruce. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0814-4">https://doi.org/10.1007/978-1-4842-0814-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Numerical Calculationsent://SD_ILS/0/SD_ILS:6185452026-03-15T13:12:59Z2026-03-15T13:12:59ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0346-0">https://doi.org/10.1007/978-1-4842-0346-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>