Arama Sonu&ccedil;lar&#305; Application software. - Daralt&#305;lm&#305;&#351;: Compilers (Computer programs). SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dApplication$002bsoftware.$0026qf$003dSUBJECT$002509Konu$002509Compilers$002b$002528Computer$002bprograms$002529.$002509Compilers$002b$002528Computer$002bprograms$002529.$0026ps$003d300?dt=list 2026-03-14T04:32:38Z Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning 17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28-30, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605504 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Pluh&aacute;r, Zsuzsa. editor. (orcid)0000-0003-2688-4652&#160;Ga&aacute;l, Bence. editor. (orcid)0000-0001-8771-7140&#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-73474-8">https://doi.org/10.1007/978-3-031-73474-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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 Proceedings ent://SD_ILS/0/SD_ILS:606816 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Artale, Alessandro. editor. (orcid)0000-0002-3852-9351&#160;Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575&#160;Montali, Marco. editor. (orcid)0000-0002-8021-3430&#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-80607-0">https://doi.org/10.1007/978-3-031-80607-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A Concise Introduction to Software Engineering With Open Source and GenAI ent://SD_ILS/0/SD_ILS:607111 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Jalote, Pankaj. 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-74318-4">https://doi.org/10.1007/978-3-031-74318-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606961 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960&#160;Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080&#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-74776-2">https://doi.org/10.1007/978-3-031-74776-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604788 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872&#160;Serwe, Wendelin. 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-68150-9">https://doi.org/10.1007/978-3-031-68150-9</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 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606267 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259&#160;Mery, Dominique. editor. (orcid)0000-0001-5231-6611&#160;Sun, Meng. editor.&#160;Liu, Shaoying. editor. (orcid)0000-0002-6748-5052&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604005 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551&#160;Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131&#160;Leuschel, Michael. editor. (orcid)0000-0002-4595-1518&#160;Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026&#160;Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-63790-2">https://doi.org/10.1007/978-3-031-63790-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612292 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Yang, Hongseok. 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-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612752 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Tonetta, Stefano. editor.&#160;Schoitsch, Erwin. editor.&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#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-66266-4">https://doi.org/10.1007/978-3-319-66266-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming with Scala Language Exploration ent://SD_ILS/0/SD_ILS:613298 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Upadhyaya, Bhim P. 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-69368-2">https://doi.org/10.1007/978-3-319-69368-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616111 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Botterweck, Goetz. editor.&#160;Werner, Claudia. 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-56856-0">https://doi.org/10.1007/978-3-319-56856-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch&acirc;tel, Switzerland, June 19-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616124 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Jacquet, Jean-Marie. editor.&#160;Massink, Mieke. 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-59746-1">https://doi.org/10.1007/978-3-319-59746-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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, Proceedings ent://SD_ILS/0/SD_ILS:613058 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Esposito, Floriana. editor.&#160;Basili, Roberto. editor. (orcid)0000-0001-5140-0694&#160;Ferilli, Stefano. editor.&#160;Lisi, Francesca 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-70169-1">https://doi.org/10.1007/978-3-319-70169-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613142 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Drira, Khalil. editor. (orcid)0000-0002-4770-1563&#160;Wang, Hongbing. editor.&#160;Yu, Qi. editor.&#160;Wang, Yan. editor.&#160;Yan, Yuhong. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-68136-8">https://doi.org/10.1007/978-3-319-68136-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613144 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Dastani, Mehdi. editor.&#160;Sirjani, Marjan. 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-68972-2">https://doi.org/10.1007/978-3-319-68972-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613145 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;An, Bo. editor.&#160;Bazzan, Ana. editor.&#160;Leite, Jo&atilde;o. editor.&#160;Villata, Serena. editor.&#160;van der Torre, Leendert. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-69131-2">https://doi.org/10.1007/978-3-319-69131-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613269 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Ouhammou, Yassine. editor.&#160;Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384&#160;Abell&oacute;, Alberto. editor.&#160;Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066&#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-66854-3">https://doi.org/10.1007/978-3-319-66854-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613621 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Costantini, Stefania. editor.&#160;Franconi, Enrico. editor.&#160;Van Woensel, William. editor.&#160;Kontchakov, Roman. editor.&#160;Sadri, Fariba. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-61252-2">https://doi.org/10.1007/978-3-319-61252-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings ent://SD_ILS/0/SD_ILS:614261 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Barrett, Clark. editor.&#160;Davies, Misty. editor.&#160;Kahsai, Temesghen. 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-57288-8">https://doi.org/10.1007/978-3-319-57288-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615972 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Tonetta, Stefano. editor.&#160;Schoitsch, Erwin. editor.&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#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-66284-8">https://doi.org/10.1007/978-3-319-66284-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616021 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Cranefield, Stephen. editor.&#160;Mahmoud, Samhar. editor.&#160;Padget, Julian. editor.&#160;Rocha, Ana Paula. 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-66595-5">https://doi.org/10.1007/978-3-319-66595-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616044 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X&#160;Filipe, Joaquim. 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-53354-4">https://doi.org/10.1007/978-3-319-53354-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Economics of Grids, Clouds, Systems, and Services 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings ent://SD_ILS/0/SD_ILS:618355 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Pham, Congduc. editor.&#160;Altmann, J&ouml;rn. editor.&#160;Ba&ntilde;ares, Jos&eacute; &Aacute;ngel. 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-68066-8">https://doi.org/10.1007/978-3-319-68066-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V ent://SD_ILS/0/SD_ILS:611911 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor.&#160;Borruso, Giuseppe. editor.&#160;Torre, Carmelo M. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-62404-4">https://doi.org/10.1007/978-3-319-62404-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612151 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Dang, Tran Khanh. editor.&#160;Wagner, Roland. editor.&#160;K&uuml;ng, Josef. editor.&#160;Thoai, Nam. editor.&#160;Takizawa, Makoto. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-70004-5">https://doi.org/10.1007/978-3-319-70004-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616222 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Perner, Petra. 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-62701-4">https://doi.org/10.1007/978-3-319-62701-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A Practical Approach to Compiler Construction ent://SD_ILS/0/SD_ILS:617486 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Watson, Des. 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-52789-5">https://doi.org/10.1007/978-3-319-52789-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616267 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Mart&iacute;nez de Pis&oacute;n, Francisco Javier. editor.&#160;Urraca, Rub&eacute;n. editor.&#160;Quinti&aacute;n, H&eacute;ctor. editor.&#160;Corchado, Emilio. 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-59650-1">https://doi.org/10.1007/978-3-319-59650-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616270 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990&#160;Sirjani, Marjan. 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-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings ent://SD_ILS/0/SD_ILS:611427 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Perner, Petra. 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-41561-1">https://doi.org/10.1007/978-3-319-41561-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611434 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Skavhaug, Amund. editor.&#160;Guiochet, J&eacute;r&eacute;mie. editor.&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#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-45477-1">https://doi.org/10.1007/978-3-319-45477-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures ent://SD_ILS/0/SD_ILS:611797 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Bernardo, Marco. editor.&#160;De Nicola, Rocco. editor.&#160;Hillston, Jane. editor. (orcid)0000-0003-4914-9255&#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-34096-8">https://doi.org/10.1007/978-3-319-34096-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611800 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Gorentla Venkata, Manjunath. editor.&#160;Imam, Neena. editor.&#160;Pophale, Swaroop. editor.&#160;Mintz, Tiffany M. 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-50995-2">https://doi.org/10.1007/978-3-319-50995-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Instruction Level Parallelism ent://SD_ILS/0/SD_ILS:611976 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Aiken, Alex. author.&#160;Banerjee, Utpal. author.&#160;Kejariwal, Arun. author.&#160;Nicolau, Alexandru. 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-4899-7797-7">https://doi.org/10.1007/978-1-4899-7797-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Using Microsoft Dynamics AX The New Dynamics 'AX 7' ent://SD_ILS/0/SD_ILS:612295 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Luszczak, Andreas. 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-658-13622-2">https://doi.org/10.1007/978-3-658-13622-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613607 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408&#160;Chopra, Amit K. editor.&#160;Son, Tran Cao. editor.&#160;Hirayama, Katsutoshi. editor.&#160;Torroni, Paolo. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-44832-9">https://doi.org/10.1007/978-3-319-44832-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:613592 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings ent://SD_ILS/0/SD_ILS:615967 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Sarro, Federica. editor.&#160;Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939&#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-47106-8">https://doi.org/10.1007/978-3-319-47106-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Architecture 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616700 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Tekinerdogan, Bedir. editor. (orcid)0000-0002-8538-7261&#160;Zdun, Uwe. editor. (orcid)0000-0002-6233-2591&#160;Babar, Ali. 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-48992-6">https://doi.org/10.1007/978-3-319-48992-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616739 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings ent://SD_ILS/0/SD_ILS:618325 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Bogdan, Cristian. editor.&#160;Gulliksen, Jan. editor.&#160;Sauer, Stefan. editor. (orcid)0000-0003-3084-0409&#160;Forbrig, Peter. editor.&#160;Winckler, Marco. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-44902-9">https://doi.org/10.1007/978-3-319-44902-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays ent://SD_ILS/0/SD_ILS:617743 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Probst, Christian W. editor.&#160;Hankin, Chris. editor.&#160;Hansen, Ren&eacute; Rydhof. 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-27810-0">https://doi.org/10.1007/978-3-319-27810-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> More Math Into LaTeX ent://SD_ILS/0/SD_ILS:617748 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Gr&auml;tzer, George. author. (orcid)0000-0002-5149-3883&#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-23796-1">https://doi.org/10.1007/978-3-319-23796-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB &amp; DFT 2016, M&uuml;nster, Germany, April 4-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611725 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Remke, Anne. editor.&#160;Haverkort, Boudewijn R. 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-31559-1">https://doi.org/10.1007/978-3-319-31559-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:618449 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Kapitsaki, Georgia M. editor.&#160;Santana de Almeida, Eduardo. 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-35122-3">https://doi.org/10.1007/978-3-319-35122-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Beginning Java 8 Games Development ent://SD_ILS/0/SD_ILS:618583 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Jackson, Wallace. 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-4842-0415-3">https://doi.org/10.1007/978-1-4842-0415-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Beginning Application Lifecycle Management ent://SD_ILS/0/SD_ILS:618616 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Rossberg, Joachim. 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-4302-5813-1">https://doi.org/10.1007/978-1-4302-5813-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Modern X86 Assembly Language Programming 32-bit, 64-bit, SSE, and AVX ent://SD_ILS/0/SD_ILS:618669 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Kusswurm, Daniel. 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-4842-0064-3">https://doi.org/10.1007/978-1-4842-0064-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> MATLAB Mathematical Analysis ent://SD_ILS/0/SD_ILS:618674 2026-03-14T04:32:38Z 2026-03-14T04:32:38Z Yazar&#160;Lopez, Cesar. 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-4842-0349-1">https://doi.org/10.1007/978-1-4842-0349-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>