Arama Sonuçları Computer programs - Daraltılmış: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002bprograms$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-30T03:26:26ZProgramming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6057752026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-8943-6">https://doi.org/10.1007/978-981-97-8943-6</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-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6088852026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-7956-0">https://doi.org/10.1007/978-981-96-7956-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6055002026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-74234-7">https://doi.org/10.1007/978-3-031-74234-7</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-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6069612026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>FPGA EDA Design Principles and Implementationent://SD_ILS/0/SD_ILS:6024812026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar 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-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>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-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6047882026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6050842026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71291-3">https://doi.org/10.1007/978-3-031-71291-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The French School of Programmingent://SD_ILS/0/SD_ILS:6033902026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</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-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritageent://SD_ILS/0/SD_ILS:3994642026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Gonzalez-Perez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-72652-6">https://doi.org/10.1007/978-3-319-72652-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6122462026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6122532026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-72044-9">https://doi.org/10.1007/978-3-319-72044-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6127522026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: 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-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:6133422026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-72308-2">https://doi.org/10.1007/978-3-319-72308-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162702026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6166112026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-65765-3">https://doi.org/10.1007/978-3-319-65765-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6167142026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</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-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6170272026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54580-5">https://doi.org/10.1007/978-3-662-54580-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>String Analysis for Software Verification and Securityent://SD_ILS/0/SD_ILS:6111572026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68670-7">https://doi.org/10.1007/978-3-319-68670-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6116002026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Petrucci, Laure. editor. (orcid)0000-0003-3154-5268 Seceleanu, Cristina. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67113-0">https://doi.org/10.1007/978-3-319-67113-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6116082026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-65948-0">https://doi.org/10.1007/978-3-319-65948-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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, Proceedingsent://SD_ILS/0/SD_ILS:6122922026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Yang, Hongseok. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6124042026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-52228-9">https://doi.org/10.1007/978-3-319-52228-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:6131442026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6131452026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar An, Bo. editor. Bazzan, Ana. editor. Leite, João. editor. Villata, Serena. editor. van der Torre, Leendert. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6132402026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67729-3">https://doi.org/10.1007/978-3-319-67729-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6132422026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68167-2">https://doi.org/10.1007/978-3-319-68167-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6135322026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67549-7">https://doi.org/10.1007/978-3-319-67549-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-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6137422026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68953-1">https://doi.org/10.1007/978-3-319-68953-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6142602026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66845-1">https://doi.org/10.1007/978-3-319-66845-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6142612026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162332026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-62075-6">https://doi.org/10.1007/978-3-319-62075-6</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-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6108512026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-51046-0">https://doi.org/10.1007/978-3-319-51046-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6109112026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6111482026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68690-5">https://doi.org/10.1007/978-3-319-68690-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6111512026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-71237-6">https://doi.org/10.1007/978-3-319-71237-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-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6115992026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66107-0">https://doi.org/10.1007/978-3-319-66107-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6125572026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68034-7">https://doi.org/10.1007/978-3-319-68034-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6178122026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lecturesent://SD_ILS/0/SD_ILS:6178412026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6178562026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6127962026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-52234-0">https://doi.org/10.1007/978-3-319-52234-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6151662026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-53946-1">https://doi.org/10.1007/978-3-319-53946-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6159302026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54577-5">https://doi.org/10.1007/978-3-662-54577-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159932026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54494-5">https://doi.org/10.1007/978-3-662-54494-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159972026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60588-3">https://doi.org/10.1007/978-3-319-60588-3</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-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163182026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Ranzato, Francesco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66706-5">https://doi.org/10.1007/978-3-319-66706-5</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-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159722026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160412026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-51676-9">https://doi.org/10.1007/978-3-319-51676-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162112026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66902-1">https://doi.org/10.1007/978-3-319-66902-1</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-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6130632026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47958-3">https://doi.org/10.1007/978-3-319-47958-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6136402026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Evolutionary Computer Vision The First Footprintsent://SD_ILS/0/SD_ILS:6144722026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Olague, Gustavo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-43693-6">https://doi.org/10.1007/978-3-662-43693-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Directed Algebraic Topology and Concurrencyent://SD_ILS/0/SD_ILS:6154952026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15398-8">https://doi.org/10.1007/978-3-319-15398-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 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:6160082026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49674-9">https://doi.org/10.1007/978-3-662-49674-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 19th International Conference, FASE 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:6163852026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49665-7">https://doi.org/10.1007/978-3-662-49665-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedingsent://SD_ILS/0/SD_ILS:6166342026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Cornélio, Márcio. editor. Roscoe, Bill. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29473-5">https://doi.org/10.1007/978-3-319-29473-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6168862026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46982-9">https://doi.org/10.1007/978-3-319-46982-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6169192026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41579-6">https://doi.org/10.1007/978-3-319-41579-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6107922026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46520-3">https://doi.org/10.1007/978-3-319-46520-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6109332026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30936-1">https://doi.org/10.1007/978-3-319-30936-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6110912026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Ábrahám, Erika. editor. Huisman, Marieke. editor. (orcid)0000-0003-4467-072X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-33693-0">https://doi.org/10.1007/978-3-319-33693-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6111112026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-32582-8">https://doi.org/10.1007/978-3-319-32582-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6111122026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-33600-8">https://doi.org/10.1007/978-3-319-33600-8</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-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6113312026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Gavanelli, Marco. editor. Reppy, John. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28228-2">https://doi.org/10.1007/978-3-319-28228-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6120222026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46750-4">https://doi.org/10.1007/978-3-319-46750-4</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-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6122982026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28934-2">https://doi.org/10.1007/978-3-319-28934-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6123792026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47846-3">https://doi.org/10.1007/978-3-319-47846-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6125812026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-48869-1">https://doi.org/10.1007/978-3-319-48869-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6126142026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Castor, Fernando. editor. Liu, Yu David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45279-1">https://doi.org/10.1007/978-3-319-45279-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6132752026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 IIent://SD_ILS/0/SD_ILS:6135922026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6136072026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Chopra, Amit K. editor. Son, Tran Cao. editor. Hirayama, Katsutoshi. editor. Torroni, Paolo. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lecturesent://SD_ILS/0/SD_ILS:6161342026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29628-9">https://doi.org/10.1007/978-3-319-29628-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6161352026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rival, Xavier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-53413-7">https://doi.org/10.1007/978-3-662-53413-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6161612026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Devitt, Simon. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40578-0">https://doi.org/10.1007/978-3-319-40578-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6108452026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41591-8">https://doi.org/10.1007/978-3-319-41591-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6108972026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Serrano, Manuel. editor. Hage, Jurriaan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39110-6">https://doi.org/10.1007/978-3-319-39110-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6112302026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6114232026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40648-0">https://doi.org/10.1007/978-3-319-40648-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6114332026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46613-2">https://doi.org/10.1007/978-3-319-46613-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6114342026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6114362026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41135-4">https://doi.org/10.1007/978-3-319-41135-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6115642026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Zholtkevych, Grygoriy. editor. Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30246-1">https://doi.org/10.1007/978-3-319-30246-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6117182026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Lluch Lafuente, Alberto. editor. Proença, José. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39519-7">https://doi.org/10.1007/978-3-319-39519-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Lecturesent://SD_ILS/0/SD_ILS:6117972026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6118322026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-49815-7">https://doi.org/10.1007/978-3-319-49815-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdaysent://SD_ILS/0/SD_ILS:6177432026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Foundations for Mastering Change Ient://SD_ILS/0/SD_ILS:6178152026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46508-1">https://doi.org/10.1007/978-3-319-46508-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6179352026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29510-7">https://doi.org/10.1007/978-3-319-29510-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6181222026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49122-5">https://doi.org/10.1007/978-3-662-49122-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6184492026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6127272026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6159672026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Sarro, Federica. editor. Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: 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-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6165272026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45943-1">https://doi.org/10.1007/978-3-319-45943-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6165792026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6166472026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29604-3">https://doi.org/10.1007/978-3-319-29604-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Ient://SD_ILS/0/SD_ILS:6167392026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: 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-30T03:26:26Z2026-03-30T03:26:26ZYazar 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/>Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6169862026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47443-4">https://doi.org/10.1007/978-3-319-47443-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 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:6171342026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49630-5">https://doi.org/10.1007/978-3-662-49630-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6160282026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42547-4">https://doi.org/10.1007/978-3-319-42547-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6163292026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Lucanu, Dorel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44802-2">https://doi.org/10.1007/978-3-319-44802-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6183052026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39083-3">https://doi.org/10.1007/978-3-319-39083-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 12th China National Conference, CCL 2013 and First International Symposium, NLP-NABD 2013, Suzhou, China, October 10-12, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3351122026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Sun, Maosong. editor. Zhang, Min. editor. Lin, Dekang. editor. Wang, Haifeng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335112.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41491-6">http://dx.doi.org/10.1007/978-3-642-41491-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Generative Lexicon Theoryent://SD_ILS/0/SD_ILS:3359102026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Pustejovsky, James. editor. Bouillon, Pierrette. editor. Isahara, Hitoshi. editor. Kanzaki, Kyoko. editor. Lee, Chungmin. editor.<br/>Yer Numarası ONLINE(335910.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-5189-7">http://dx.doi.org/10.1007/978-94-007-5189-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Systems and Frameworks for Computational Morphology Third International Workshop, SFCM 2013, Berlin, Germany, September 6, 2013 Proceedingsent://SD_ILS/0/SD_ILS:3349532026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334953.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40486-3">http://dx.doi.org/10.1007/978-3-642-40486-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Flexible Query Answering Systems 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350002026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Vila, María Amparo. editor. Andreasen, Troels. editor. Christiansen, Henning. editor.<br/>Yer Numarası ONLINE(335000.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40769-7">http://dx.doi.org/10.1007/978-3-642-40769-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information Access Evaluation. Multilinguality, Multimodality, and Visualization 4th International Conference of the CLEF Initiative, CLEF 2013, Valencia, Spain, September 23-26, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350072026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Forner, Pamela. editor. Müller, Henning. editor. Paredes, Roberto. editor. Rosso, Paolo. editor. Stein, Benno. editor.<br/>Yer Numarası ONLINE(335007.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40802-1">http://dx.doi.org/10.1007/978-3-642-40802-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Robust Emotion Recognition using Spectral and Prosodic Featuresent://SD_ILS/0/SD_ILS:3320152026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rao, K. Sreenivasa. author. Koolagudi, Shashidhar G. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332015.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-6360-3">http://dx.doi.org/10.1007/978-1-4614-6360-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cognitive Aspects of Computational Language Acquisitionent://SD_ILS/0/SD_ILS:3334992026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Villavicencio, Aline. editor. Poibeau, Thierry. editor. Korhonen, Anna. editor. Alishahi, Afra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333499.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31863-4">http://dx.doi.org/10.1007/978-3-642-31863-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hierarchical Neural Network Structures for Phoneme Recognitionent://SD_ILS/0/SD_ILS:3338482026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Vasquez, Daniel. author. Gruhn, Rainer. author. Minker, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333848.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34425-1">http://dx.doi.org/10.1007/978-3-642-34425-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340592026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Magnini, Bernardo. editor. Cutugno, Francesco. editor. Falcone, Mauro. editor. Pianta, Emanuele. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334059.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35828-9">http://dx.doi.org/10.1007/978-3-642-35828-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Chinese Lexical Semantics 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3341802026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Ji, Donghong. editor. Xiao, Guozheng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334180.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36337-5">http://dx.doi.org/10.1007/978-3-642-36337-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>META-NET Strategic Research Agenda for Multilingual Europe 2020ent://SD_ILS/0/SD_ILS:3341822026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334182.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36349-8">http://dx.doi.org/10.1007/978-3-642-36349-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Language of Mathematics A Linguistic and Philosophical Investigationent://SD_ILS/0/SD_ILS:3343412026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Ganesalingam, Mohan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334341.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37012-0">http://dx.doi.org/10.1007/978-3-642-37012-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Nonlinear Speech Processing 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346812026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Drugman, Thomas. editor. Dutoit, Thierry. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334681.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38847-7">http://dx.doi.org/10.1007/978-3-642-38847-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Natural Language Processing and Chinese Computing Second CCF Conference, NLPCC 2013, Chongqing, China, November 15-19, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351342026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Zhou, Guodong. editor. Li, Juanzi. editor. Zhao, Dongyan. editor. Feng, Yansong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335134.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41644-6">http://dx.doi.org/10.1007/978-3-642-41644-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Chinese Lexical Semantics 14th Workshop, CLSW 2013, Zhengzhou, China, May 10-12, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:3351932026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Liu, Pengyuan. editor. Su, Qi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335193.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45185-0">http://dx.doi.org/10.1007/978-3-642-45185-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Linguistic Identity Matchingent://SD_ILS/0/SD_ILS:3353592026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Lisbach, Bertrand. author. Meyer, Victoria. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335359.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-2095-2">http://dx.doi.org/10.1007/978-3-8348-2095-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Wissensakquisition mithilfe maschineller Lernverfahren auf tiefen semantischen Repräsentationenent://SD_ILS/0/SD_ILS:3383822026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Brück, Tim. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(338382.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-2503-2">http://dx.doi.org/10.1007/978-3-8348-2503-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Building and Using Comparable Corporaent://SD_ILS/0/SD_ILS:3330872026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Sharoff, Serge. editor. Rapp, Reinhard. editor. Zweigenbaum, Pierre. editor. Fung, Pascale. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333087.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20128-8">http://dx.doi.org/10.1007/978-3-642-20128-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Artificial Intelligence 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346022026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Zaïane, Osmar R. editor. Zilles, Sandra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334602.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38457-8">http://dx.doi.org/10.1007/978-3-642-38457-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Natural Language Processing and Information Systems 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346742026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Métais, Elisabeth. editor. Meziane, Farid. editor. Saraee, Mohamad. editor. Sugumaran, Vijayan. editor. Vadera, Sunil. editor.<br/>Yer Numarası ONLINE(334674.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38824-8">http://dx.doi.org/10.1007/978-3-642-38824-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Entropy Guided Transformation Learning: Algorithms and Applicationsent://SD_ILS/0/SD_ILS:1735132026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Santos, Cícero Nogueira. author. Milidiú, Ruy Luiz. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2978-3">http://dx.doi.org/10.1007/978-1-4471-2978-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Language Grounding in Robotsent://SD_ILS/0/SD_ILS:1741862026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Steels, Luc. editor. Hild, Manfred. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-3064-3">http://dx.doi.org/10.1007/978-1-4614-3064-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The German Language in the Digital Ageent://SD_ILS/0/SD_ILS:1961132026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27166-3">http://dx.doi.org/10.1007/978-3-642-27166-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Finnish Language in the Digital Ageent://SD_ILS/0/SD_ILS:1961412026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27248-6">http://dx.doi.org/10.1007/978-3-642-27248-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Bulgarian Language in the Digital Ageent://SD_ILS/0/SD_ILS:1968382026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30168-1">http://dx.doi.org/10.1007/978-3-642-30168-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Icelandic Language in the Digital Ageent://SD_ILS/0/SD_ILS:1968392026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30174-2">http://dx.doi.org/10.1007/978-3-642-30174-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Artificial Intelligence 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1968642026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Kosseim, Leila. editor. Inkpen, Diana. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30353-1">http://dx.doi.org/10.1007/978-3-642-30353-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Slovak Language in the Digital Ageent://SD_ILS/0/SD_ILS:1968682026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30370-8">http://dx.doi.org/10.1007/978-3-642-30370-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Hungarian Language in the Digital Ageent://SD_ILS/0/SD_ILS:1968712026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30379-1">http://dx.doi.org/10.1007/978-3-642-30379-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics Third International Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, September 17-20, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973402026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Catarci, Tiziana. editor. Forner, Pamela. editor. Hiemstra, Djoerd. editor. Peñas, Anselmo. editor. Santucci, Giuseppe. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33247-0">http://dx.doi.org/10.1007/978-3-642-33247-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Natural Language Processing and Chinese Computing First CCF Conference, NLPCC 2012, Beijing, China, October 31-November 5, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975192026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Zhou, Ming. editor. Zhou, Guodong. editor. Zhao, Dongyan. editor. Liu, Qun. editor. Zou, Lei. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34456-5">http://dx.doi.org/10.1007/978-3-642-34456-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cross-Word Modeling for Arabic Speech Recognitionent://SD_ILS/0/SD_ILS:1738852026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar AbuZeina, Dia. author. Elshafei, Moustafa. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-1213-7">http://dx.doi.org/10.1007/978-1-4614-1213-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Grammars for Language and Genes Theoretical and Empirical Investigationsent://SD_ILS/0/SD_ILS:1943732026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Chiang, David. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20444-9">http://dx.doi.org/10.1007/978-3-642-20444-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Linked Data in Linguistics Representing and Connecting Language Data and Language Metadataent://SD_ILS/0/SD_ILS:1963922026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Chiarcos, Christian. editor. Nordhoff, Sebastian. editor. Hellmann, Sebastian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28249-2">http://dx.doi.org/10.1007/978-3-642-28249-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Portuguese Language in the Digital Ageent://SD_ILS/0/SD_ILS:1967322026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29593-5">http://dx.doi.org/10.1007/978-3-642-29593-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Danish Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969302026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30627-3">http://dx.doi.org/10.1007/978-3-642-30627-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Slovene Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969332026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30636-5">http://dx.doi.org/10.1007/978-3-642-30636-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Catalan Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969382026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30678-5">http://dx.doi.org/10.1007/978-3-642-30678-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Czech Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969432026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30706-5">http://dx.doi.org/10.1007/978-3-642-30706-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Shall We Play the Festschrift Game? Essays on the Occasion of Lauri Carlson's 60th Birthdayent://SD_ILS/0/SD_ILS:1969562026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Santos, Diana. editor. Lindén, Krister. editor. Ng’ang’a, Wanjiku. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30773-7">http://dx.doi.org/10.1007/978-3-642-30773-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Italian Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969572026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30776-8">http://dx.doi.org/10.1007/978-3-642-30776-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Estonian Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969602026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30785-0">http://dx.doi.org/10.1007/978-3-642-30785-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Basque Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969632026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30796-6">http://dx.doi.org/10.1007/978-3-642-30796-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Galician Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969642026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30799-7">http://dx.doi.org/10.1007/978-3-642-30799-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Polish Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969682026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30811-6">http://dx.doi.org/10.1007/978-3-642-30811-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Swedish Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969722026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30832-1">http://dx.doi.org/10.1007/978-3-642-30832-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Spanish Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969742026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30841-3">http://dx.doi.org/10.1007/978-3-642-30841-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Latvian Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969802026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30876-5">http://dx.doi.org/10.1007/978-3-642-30876-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1970482026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Béchet, Denis. editor. Dikovsky, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31262-5">http://dx.doi.org/10.1007/978-3-642-31262-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multilingual Information Retrieval From Research To Practiceent://SD_ILS/0/SD_ILS:1952102026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Peters, Carol. author. Braschler, Martin. author. Clough, Paul. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23008-0">http://dx.doi.org/10.1007/978-3-642-23008-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Dutch Language in the Digital Ageent://SD_ILS/0/SD_ILS:1960942026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25978-4">http://dx.doi.org/10.1007/978-3-642-25978-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Greek Language in the Digital Ageent://SD_ILS/0/SD_ILS:1965682026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28936-1">http://dx.doi.org/10.1007/978-3-642-28936-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Croatian Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969812026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30882-6">http://dx.doi.org/10.1007/978-3-642-30882-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Controlled Natural Language Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papersent://SD_ILS/0/SD_ILS:1970332026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rosner, Michael. editor. Fuchs, Norbert E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31175-8">http://dx.doi.org/10.1007/978-3-642-31175-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Natural Language Processing and Information Systems 17th International Conference on Applications of Natural Language to Information Systems, NLDB 2012, Groningen, The Netherlands, June 26-28, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1970342026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Bouma, Gosse. editor. Ittoo, Ashwin. editor. Métais, Elisabeth. editor. Wortmann, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31178-9">http://dx.doi.org/10.1007/978-3-642-31178-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Issues in Fluid Construction Grammar A New Formalism for the Representation of Lexicons and Grammarsent://SD_ILS/0/SD_ILS:1974762026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Steels, Luc. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34120-5">http://dx.doi.org/10.1007/978-3-642-34120-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Artificial Intelligence – IBERAMIA 2012 13th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975382026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Pavón, Juan. editor. Duque-Méndez, Néstor D. editor. Fuentes-Fernández, Rubén. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34654-5">http://dx.doi.org/10.1007/978-3-642-34654-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Maltese Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969392026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30681-5">http://dx.doi.org/10.1007/978-3-642-30681-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The English Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969402026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30684-6">http://dx.doi.org/10.1007/978-3-642-30684-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Romanian Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969422026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30703-4">http://dx.doi.org/10.1007/978-3-642-30703-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Serbian Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969522026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30755-3">http://dx.doi.org/10.1007/978-3-642-30755-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Lithuanian Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969532026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30758-4">http://dx.doi.org/10.1007/978-3-642-30758-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The French Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969542026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30761-4">http://dx.doi.org/10.1007/978-3-642-30761-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Norwegian Language in the Digital Age Bokmalsversjonent://SD_ILS/0/SD_ILS:1970682026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31389-9">http://dx.doi.org/10.1007/978-3-642-31389-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Norwegian Language in the Digital Age Nynorskversjonent://SD_ILS/0/SD_ILS:1970772026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31433-9">http://dx.doi.org/10.1007/978-3-642-31433-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1970862026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Aloni, Maria. editor. Kimmelman, Vadim. editor. Roelofsen, Floris. editor. Sassoon, Galit W. editor. Schulz, Katrin. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31482-7">http://dx.doi.org/10.1007/978-3-642-31482-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Controlled Natural Language Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1972442026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Kuhn, Tobias. editor. Fuchs, Norbert E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32612-7">http://dx.doi.org/10.1007/978-3-642-32612-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Speech and Language Technologies for Iberian Languages IberSPEECH 2012 Conference, Madrid, Spain, November 21-23, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975912026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Torre Toledano, Doroteo. editor. Ortega Giménez, Alfonso. editor. Teixeira, António. editor. González Rodríguez, Joaquín. editor. Hernández Gómez, Luis. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35292-8">http://dx.doi.org/10.1007/978-3-642-35292-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integration of World Knowledge for Natural Language Understandingent://SD_ILS/0/SD_ILS:2070412026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Ovchinnikova, Ekaterina. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.2991/978-94-91216-53-4">http://dx.doi.org/10.2991/978-94-91216-53-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Irish Language in the Digital Ageent://SD_ILS/0/SD_ILS:1969162026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30558-0">http://dx.doi.org/10.1007/978-3-642-30558-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Natural Language Processing and Machine Translation DARPA Global Autonomous Language Exploitationent://SD_ILS/0/SD_ILS:1729562026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Olive, Joseph. editor. Christianson, Caitlin. editor. McCary, John. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-7713-7">http://dx.doi.org/10.1007/978-1-4419-7713-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information Systems for Indian Languages International Conference, ICISIL 2011, Patiala, India, March 9-11, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1940322026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Singh, Chandan. editor. Singh Lehal, Gurpreet. editor. Sengupta, Jyotsna. editor. Sharma, Dharam Veer. editor. Goyal, Vishal. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19403-0">http://dx.doi.org/10.1007/978-3-642-19403-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Flexible Query Answering Systems 9th International Conference, FQAS 2011, Ghent, Belgium, October 26-28, 2011 Proceedingsent://SD_ILS/0/SD_ILS:1957392026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Christiansen, Henning. editor. Tré, Guy. editor. Yazici, Adnan. editor. Zadrozny, Slawomir. editor. Andreasen, Troels. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24764-4">http://dx.doi.org/10.1007/978-3-642-24764-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reinforcement Learning for Adaptive Dialogue Systems A Data-driven Methodology for Dialogue Management and Natural Language Generationent://SD_ILS/0/SD_ILS:1957992026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rieser, Verena. author. Lemon, Oliver. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24942-6">http://dx.doi.org/10.1007/978-3-642-24942-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Nonlinear Speech Processing 5th International Conference on Nonlinear Speech Processing, NOLISP 2011, Las Palmas de Gran Canaria, Spain, November 7-9, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1958222026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Travieso-González, Carlos M. editor. Alonso-Hernández, Jesús B. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25020-0">http://dx.doi.org/10.1007/978-3-642-25020-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Thinkquest~2010 Proceedings of the First International Conference on Contours of Computing Technologyent://SD_ILS/0/SD_ILS:2040802026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Pise, S. J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-81-8489-989-4">http://dx.doi.org/10.1007/978-81-8489-989-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Spoken Dialogue Systems Technology and Designent://SD_ILS/0/SD_ILS:1730202026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Minker, Wolfgang. editor. Lee, Gary Geunbae. editor. Nakamura, Satoshi. editor. Mariani, Joseph. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-7934-6">http://dx.doi.org/10.1007/978-1-4419-7934-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Contemporary Methods for Speech Parameterizationent://SD_ILS/0/SD_ILS:1731412026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Ganchev, Todor. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-8447-0">http://dx.doi.org/10.1007/978-1-4419-8447-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Commercial Deployment of Spoken Dialog Systemsent://SD_ILS/0/SD_ILS:1732552026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Suendermann, David. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-9610-7">http://dx.doi.org/10.1007/978-1-4419-9610-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Domain-Level Reasoning for Spoken Dialogue Systemsent://SD_ILS/0/SD_ILS:1732912026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Bühler, Dirk. author. Minker, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-9728-9">http://dx.doi.org/10.1007/978-1-4419-9728-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proceedings of the Paralinguistic Information and its Integration in Spoken Dialogue Systems Workshopent://SD_ILS/0/SD_ILS:1739182026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Delgado, Ramón López-Cózar. editor. Kobayashi, Tetsunori. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-1335-6">http://dx.doi.org/10.1007/978-1-4614-1335-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Human Language Technology. Challenges for Computer Science and Linguistics 4th Language and Technology Conference, LTC 2009, Poznan, Poland, November 6-8, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1942602026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Vetulani, Zygmunt. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20095-3">http://dx.doi.org/10.1007/978-3-642-20095-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Natural Language Processing and Information Systems 16th International Conference on Applications of Natural Language to Information Systems, NLDB 2011, Alicante, Spain, June 28-30, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1949892026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Muñoz, Rafael. editor. Montoyo, Andrés. editor. Métais, Elisabeth. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22327-3">http://dx.doi.org/10.1007/978-3-642-22327-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ambient Media and Systems Second International ICST Conference, AMBI-SYS 2011, Porto, Portugal, March 24-25, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1954822026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Gabrielli, Silvia. editor. Elias, Dirk. editor. Kahol, Kanav. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23902-1">http://dx.doi.org/10.1007/978-3-642-23902-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Language Technology for Cultural Heritage Selected Papers from the LaTeCH Workshop Seriesent://SD_ILS/0/SD_ILS:1942992026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Sporleder, Caroline. editor. Bosch, Antal. editor. Zervanou, Kalliopi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20227-8">http://dx.doi.org/10.1007/978-3-642-20227-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Artificial Intelligence 24th Canadian Conference on Artificial Intelligence, Canadian AI 2011, St. John’s, Canada, May 25-27, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1945722026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Butz, Cory. editor. Lingras, Pawan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21043-3">http://dx.doi.org/10.1007/978-3-642-21043-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Language Grid Service-Oriented Collective Intelligence for Language Resource Interoperabilityent://SD_ILS/0/SD_ILS:1946192026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Ishida, Toru. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21178-2">http://dx.doi.org/10.1007/978-3-642-21178-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1947172026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Pogodalla, Sylvain. editor. Quatrini, Myriam. editor. Retoré, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21490-5">http://dx.doi.org/10.1007/978-3-642-21490-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Internationalization, Design and Global Development 4th International Conference, IDGD 2011, Held as part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1947742026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rau, P. L. Patrick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21660-2">http://dx.doi.org/10.1007/978-3-642-21660-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Linguistics and Talking Robots Processing Content in Database Semanticsent://SD_ILS/0/SD_ILS:1950252026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Hausser, Roland. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22432-4">http://dx.doi.org/10.1007/978-3-642-22432-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language, and Computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1949812026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Bezhanishvili, Nick. editor. Löbner, Sebastian. editor. Schwabe, Kerstin. editor. Spada, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22303-7">http://dx.doi.org/10.1007/978-3-642-22303-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Systems and Frameworks for Computational Morphology Second International Workshop, SFCM 2011, Zurich, Switzerland, August 26, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1952482026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23138-4">http://dx.doi.org/10.1007/978-3-642-23138-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multilingual and Multimodal Information Access Evaluation Second International Conference of the Cross-Language Evaluation Forum, CLEF 2011, Amsterdam, The Netherlands, September 19-22, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1954222026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Forner, Pamela. editor. Gonzalo, Julio. editor. Kekäläinen, Jaana. editor. Lalmas, Mounia. editor. Rijke, Marteen. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23708-9">http://dx.doi.org/10.1007/978-3-642-23708-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Anaphora Processing and Applications 8th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2011, Faro, Portugal, October 6-7, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:1960822026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Hendrickx, Iris. editor. Lalitha Devi, Sobha. editor. Branco, António. editor. Mitkov, Ruslan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25917-3">http://dx.doi.org/10.1007/978-3-642-25917-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Codecharts roadmaps and blueprints for object-oriented programsent://SD_ILS/0/SD_ILS:3189292026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Eden, A. H., 1967- Nicholson, J. (Jonathan), 1983-<br/>Yer Numarası ONLINE(318929.1)<br/>Elektronik Erişim Wiley InterScience <a href="http://dx.doi.org/10.1002/9780470891032">An electronic book accessible through the World Wide Web; click for information</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=41806">http://www.books24x7.com/marc.asp?bookid=41806</a>
Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=700550">http://public.eblib.com/choice/publicfullrecord.aspx?p=700550</a>
ebrary <a href="http://site.ebrary.com/id/10465941">http://site.ebrary.com/id/10465941</a>
EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=364832">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=364832</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design of multithreaded software the entity-life modeling approachent://SD_ILS/0/SD_ILS:2493202026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Sandén, Bo. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381797">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381797</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Genres on the Web Computational Models and Empirical Studiesent://SD_ILS/0/SD_ILS:2054222026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Mehler, Alexander. editor. Sharoff, Serge. editor. Santini, Marina. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-9178-9">http://dx.doi.org/10.1007/978-90-481-9178-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Syntax-Based Collocation Extractionent://SD_ILS/0/SD_ILS:2057582026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Seretan, Violeta. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0134-2">http://dx.doi.org/10.1007/978-94-007-0134-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Nonlinear Speech Processing International Conference on Nonlinear Speech Processing, NOLISP 2009, Vic, Spain, June 25-27. Revised Selected Papersent://SD_ILS/0/SD_ILS:1917052026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Solé-Casals, Jordi. editor. Zaiats, Vladimir. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11509-7">http://dx.doi.org/10.1007/978-3-642-11509-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Artificial Intelligence 23rd Canadian Conference on Artificial Intelligence, Canadian AI 2010, Ottawa, Canada, May 31 – June 2, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1922052026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Farzindar, Atefeh. editor. Kešelj, Vlado. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13059-5">http://dx.doi.org/10.1007/978-3-642-13059-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Natural Language Processing and Information Systems 15th International Conference on Applications of Natural Language to Information Systems, NLDB 2010, Cardiff, UK, June 23-25, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1924792026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Hopfe, Christina J. editor. Rezgui, Yacine. editor. Métais, Elisabeth. editor. Preece, Alun. editor. Li, Haijiang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13881-2">http://dx.doi.org/10.1007/978-3-642-13881-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1927362026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Yli-Jyrä, Anssi. editor. Kornai, András. editor. Sakarovitch, Jacques. editor. Watson, Bruce. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14684-8">http://dx.doi.org/10.1007/978-3-642-14684-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Artificial Intelligence – IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1934732026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Kuri-Morales, Angel. editor. Simari, Guillermo R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16952-6">http://dx.doi.org/10.1007/978-3-642-16952-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Linguistic Values Based Intelligent Information Processing: Theory, Methods, and Applicationsent://SD_ILS/0/SD_ILS:2070282026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Pei, Zheng. author. Ruan, Da. author. Liu, Jun. author. Xu, Yang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.2991/978-94-91216-28-2">http://dx.doi.org/10.2991/978-94-91216-28-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Speech Recognition Mobile Environments, Call Centers and Clinicsent://SD_ILS/0/SD_ILS:1724682026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Neustein, Amy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-5951-5">http://dx.doi.org/10.1007/978-1-4419-5951-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proactive Spoken Dialogue Interaction in Multi-Party Environmentsent://SD_ILS/0/SD_ILS:1724792026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Strauß, Petra-Maria. author. Minker, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-5992-8">http://dx.doi.org/10.1007/978-1-4419-5992-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Culture and Computing Computing and Communication for Crosscultural Interactionent://SD_ILS/0/SD_ILS:1935192026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Ishida, Toru. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17184-0">http://dx.doi.org/10.1007/978-3-642-17184-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sanskrit Computational Linguistics 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1936292026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Jha, Girish Nath. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17528-2">http://dx.doi.org/10.1007/978-3-642-17528-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computerlinguistik und Sprachtechnologie Eine Einführungent://SD_ILS/0/SD_ILS:1987062026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Carstensen, Kai-Uwe. editor. Ebert, Christian. editor. Ebert, Cornelia. editor. Jekat, Susanne J. editor. Klabunde, Ralf. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8274-2224-8">http://dx.doi.org/10.1007/978-3-8274-2224-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multilingual Information Access Evaluation II. Multimedia Experiments 10th Workshop of the Cross-Language Evaluation Forum, CLEF 2009, Corfu, Greece, September 30 - October 2, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1930742026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Peters, Carol. editor. Caputo, Barbara. editor. Gonzalo, Julio. editor. Jones, Gareth J. F. editor. Kalpathy-Cramer, Jayashree. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15751-6">http://dx.doi.org/10.1007/978-3-642-15751-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multilingual Information Access Evaluation I. Text Retrieval Experiments 10th Workshop of the Cross-Language Evaluation Forum, CLEF 2009, Corfu, Greece, September 30 - October 2, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1930752026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Peters, Carol. editor. Nunzio, Giorgio Maria. editor. Kurimo, Mikko. editor. Mandl, Thomas. editor. Mostefa, Djamel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15754-7">http://dx.doi.org/10.1007/978-3-642-15754-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multilingual and Multimodal Information Access Evaluation International Conference of the Cross-Language Evaluation Forum, CLEF 2010, Padua, Italy, September 20-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1931532026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Agosti, Maristella. editor. Ferro, Nicola. editor. Peters, Carol. editor. Rijke, Maarten. editor. Smeaton, Alan. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15998-5">http://dx.doi.org/10.1007/978-3-642-15998-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Linguistic Modeling of Information and Markup Languages Contributions to Language Technologyent://SD_ILS/0/SD_ILS:2050462026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Witt, Andreas. editor. Metzing, Dieter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-3331-4">http://dx.doi.org/10.1007/978-90-481-3331-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ergonomics and Health Aspects of Work with Computers International Conference, EHAWC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1904122026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Karsh, Ben-Tzion. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02731-4">http://dx.doi.org/10.1007/978-3-642-02731-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Internationalization, Design and Global Development Third International Conference, IDGD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1904182026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Aykin, Nuray. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02767-3">http://dx.doi.org/10.1007/978-3-642-02767-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>State of the Art in Computational Morphology Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, September 4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908452026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04131-0">http://dx.doi.org/10.1007/978-3-642-04131-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Text, Speech and Dialogue 12th International Conference, TSD 2009, Pilsen, Czech Republic, September 13-17, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908712026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Matoušek, Václav. editor. Mautner, Pavel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04208-9">http://dx.doi.org/10.1007/978-3-642-04208-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Human Language Technology. Challenges of the Information Society Third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1908822026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Vetulani, Zygmunt. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04235-5">http://dx.doi.org/10.1007/978-3-642-04235-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Aspects of Natural Language Processing Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthdayent://SD_ILS/0/SD_ILS:1910412026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04735-0">http://dx.doi.org/10.1007/978-3-642-04735-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>KI 2009: Advances in Artificial Intelligence 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1910052026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Mertsching, Bärbel. editor. Hund, Marcus. editor. Aziz, Zaheer. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04617-9">http://dx.doi.org/10.1007/978-3-642-04617-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Flexible Query Answering Systems 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1911102026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Andreasen, Troels. editor. Yager, Ronald R. editor. Bulskov, Henrik. editor. Christiansen, Henning. editor. Larsen, Henrik Legind. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04957-6">http://dx.doi.org/10.1007/978-3-642-04957-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Anaphora Processing and Applications 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1911152026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Lalitha Devi, Sobha. editor. Branco, António. editor. Mitkov, Ruslan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04975-0">http://dx.doi.org/10.1007/978-3-642-04975-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>AI 2009: Advances in Artificial Intelligence 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1913672026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Nicholson, Ann. editor. Li, Xiaodong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10439-8">http://dx.doi.org/10.1007/978-3-642-10439-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Representation and Management of Narrative Information Theoretical Principles and Implementationent://SD_ILS/0/SD_ILS:1757002026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Zarri, Gian Piero. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-078-0">http://dx.doi.org/10.1007/978-1-84800-078-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Machine Translation Its Scope and Limitsent://SD_ILS/0/SD_ILS:1669802026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Wilks, Yorick. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-72774-5">http://dx.doi.org/10.1007/978-0-387-72774-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computable Modelsent://SD_ILS/0/SD_ILS:1758852026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Turner, Raymond. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-052-4">http://dx.doi.org/10.1007/978-1-84882-052-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Linguistics and Intelligent Text Processing 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1896652026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Gelbukh, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00382-0">http://dx.doi.org/10.1007/978-3-642-00382-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1898052026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Li, Wenjie. editor. Mollá-Aliod, Diego. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00831-3">http://dx.doi.org/10.1007/978-3-642-00831-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions COST Action 2102 International Conference Prague, Czech Republic, October 15-18, 2008 Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1905902026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Esposito, Anna. editor. Vích, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03320-9">http://dx.doi.org/10.1007/978-3-642-03320-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithmic Learning Theory 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1909402026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Gavaldà, Ricard. editor. Lugosi, Gábor. editor. Zeugmann, Thomas. editor. Zilles, Sandra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04414-4">http://dx.doi.org/10.1007/978-3-642-04414-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Evaluating Systems for Multilingual and Multimodal Information Access 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 17-19, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1909512026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Peters, Carol. editor. Deselaers, Thomas. editor. Ferro, Nicola. editor. Gonzalo, Julio. editor. Jones, Gareth J. F. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04447-2">http://dx.doi.org/10.1007/978-3-642-04447-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sanskrit Computational Linguistics Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1895262026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Kulkarni, Amba. editor. Huet, Gérard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-93885-9">http://dx.doi.org/10.1007/978-3-540-93885-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sanskrit Computational Linguistics First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1895962026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Huet, Gérard. editor. Kulkarni, Amba. editor. Scharf, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00155-0">http://dx.doi.org/10.1007/978-3-642-00155-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>New Frontiers in Artificial Intelligence JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1897452026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Hattori, Hiromitsu. editor. Kawamura, Takahiro. editor. Idé, Tsuyoshi. editor. Yokoo, Makoto. editor. Murakami, Yohei. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00609-8">http://dx.doi.org/10.1007/978-3-642-00609-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papersent://SD_ILS/0/SD_ILS:1897652026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Bosch, Peter. editor. Gabelaia, David. editor. Lang, Jérôme. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00665-4">http://dx.doi.org/10.1007/978-3-642-00665-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Artificial Intelligence 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009 Kelowna, Canada, May 25-27, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1901312026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Gao, Yong. editor. Japkowicz, Nathalie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01818-3">http://dx.doi.org/10.1007/978-3-642-01818-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multimodal Corpora From Models of Natural Interaction to Systems and Applicationsent://SD_ILS/0/SD_ILS:1910602026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Kipp, Michael. editor. Martin, Jean-Claude. editor. Paggio, Patrizia. editor. Heylen, Dirk. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04793-0">http://dx.doi.org/10.1007/978-3-642-04793-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Interactive Storytelling Second Joint International Conference on Interactive Digital Storytelling, ICIDS 2009, Guimarães, Portugal, December 9-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1914322026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Iurgel, Ido A. editor. Zagalo, Nelson. editor. Petta, Paolo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10643-9">http://dx.doi.org/10.1007/978-3-642-10643-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lecturesent://SD_ILS/0/SD_ILS:1887472026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85658-0">http://dx.doi.org/10.1007/978-3-540-85658-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Wissensverarbeitung und die Semantik der Natürlichen Sprache Wissensrepräsentation mit MultiNetent://SD_ILS/0/SD_ILS:1875612026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Helbig, Hermann. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-76278-2">http://dx.doi.org/10.1007/978-3-540-76278-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Linguisticsent://SD_ILS/0/SD_ILS:1756582026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Kornai, András. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-986-6">http://dx.doi.org/10.1007/978-1-84628-986-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Perception in Multimodal Dialogue Systems 4th IEEE Tutorial and Research Workshop on Perception and Interactive Technologies for Speech-Based Systems, PIT 2008, Kloster Irsee, Germany, June 16-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1858002026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar André, Elisabeth. editor. Dybkjær, Laila. editor. Minker, Wolfgang. editor. Neumann, Heiko. editor. Pieraccini, Roberto. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69369-7">http://dx.doi.org/10.1007/978-3-540-69369-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Linguistics and Intelligent Text Processing 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1880412026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Gelbukh, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78135-6">http://dx.doi.org/10.1007/978-3-540-78135-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Machine Learning for Multimodal Interaction 4th International Workshop, MLMI 2007, Brno, Czech Republic, June 28-30, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1880452026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Popescu-Belis, Andrei. editor. Renals, Steve. editor. Bourlard, Hervé. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78155-4">http://dx.doi.org/10.1007/978-3-540-78155-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Large-Scale Knowledge Resources. Construction and Application Third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1880472026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Tokunaga, Takenobu. editor. Ortega, Antonio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78159-2">http://dx.doi.org/10.1007/978-3-540-78159-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Usability of Speech Dialog Systems Listening to the Target Audienceent://SD_ILS/0/SD_ILS:1880932026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Hempel, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78343-5">http://dx.doi.org/10.1007/978-3-540-78343-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Argumentation in Multi-Agent Systems 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1882762026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Rahwan, Iyad. editor. Parsons, Simon. editor. Reed, Chris. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78915-4">http://dx.doi.org/10.1007/978-3-540-78915-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modeling Communication with Robots and Virtual Humans Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1883172026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Wachsmuth, Ipke. editor. Knoblich, Günther. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79037-2">http://dx.doi.org/10.1007/978-3-540-79037-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Multilingual and Multimodal Information Retrieval 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1887682026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Peters, Carol. editor. Jijkoun, Valentin. editor. Mandl, Thomas. editor. Müller, Henning. editor. Oard, Douglas W. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85760-0">http://dx.doi.org/10.1007/978-3-540-85760-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>KI 2008: Advances in Artificial Intelligence 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1887872026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Dengel, Andreas R. editor. Berns, Karsten. editor. Breuel, Thomas M. editor. Bomarius, Frank. editor. Roth-Berghofer, Thomas R. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85845-4">http://dx.doi.org/10.1007/978-3-540-85845-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1888222026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Teixeira, António. editor. Lima, Vera Lúcia Strube. editor. Oliveira, Luís Caldas. editor. Quaresma, Paulo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85980-2">http://dx.doi.org/10.1007/978-3-540-85980-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Text, Speech and Dialogue 11th International Conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1888362026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Sojka, Petr. editor. Horák, Aleš. editor. Kopeček, Ivan. editor. Pala, Karel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-87391-4">http://dx.doi.org/10.1007/978-3-540-87391-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Artificial Intelligence – IBERAMIA 2008 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1890302026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Geffner, Hector. editor. Prada, Rui. editor. Machado Alexandre, Isabel. editor. David, Nuno. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88309-8">http://dx.doi.org/10.1007/978-3-540-88309-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papersent://SD_ILS/0/SD_ILS:1893352026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Paech, Barbara. editor. Martell, Craig. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89778-1">http://dx.doi.org/10.1007/978-3-540-89778-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Markov Models for Pattern Recognition From Theory to Applicationsent://SD_ILS/0/SD_ILS:1863592026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Fink, Gernot A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71770-6">http://dx.doi.org/10.1007/978-3-540-71770-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Natural Language Processing 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1886632026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Nordström, Bengt. editor. Ranta, Aarne. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85287-2">http://dx.doi.org/10.1007/978-3-540-85287-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Forensics Second International Workshop, IWCF 2008, Washington, DC, USA, August 7-8, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1886702026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Srihari, Sargur N. editor. Franke, Katrin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85303-9">http://dx.doi.org/10.1007/978-3-540-85303-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Machine Learning for Multimodal Interaction 5th International Workshop, MLMI 2008, Utrecht, The Netherlands, September 8-10, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1887912026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Popescu-Belis, Andrei. editor. Stiefelhagen, Rainer. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85853-9">http://dx.doi.org/10.1007/978-3-540-85853-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithmic Learning Theory 19th International Conference, ALT 2008, Budapest, Hungary, October 13-16, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1889582026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Freund, Yoav. editor. Györfi, László. editor. Turán, György. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-87987-9">http://dx.doi.org/10.1007/978-3-540-87987-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1890032026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Zaverucha, Gerson. editor. Costa, Augusto Loureiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88190-2">http://dx.doi.org/10.1007/978-3-540-88190-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Parsing Techniques A Practical Guideent://SD_ILS/0/SD_ILS:1666662026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Grune, Dick. author. Jacobs, Ceriel J. H. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-68954-8">http://dx.doi.org/10.1007/978-0-387-68954-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Usability and Internationalization. HCI and Culture Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1868032026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Aykin, Nuray. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73287-7">http://dx.doi.org/10.1007/978-3-540-73287-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Usability and Internationalization. Global and Local User Interfaces Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1868042026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Aykin, Nuray. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73289-1">http://dx.doi.org/10.1007/978-3-540-73289-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intercultural Collaboration First International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papersent://SD_ILS/0/SD_ILS:1870262026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Ishida, Toru. editor. Fussell, Susan R. editor. Vossen, Piek T. J. M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74000-1">http://dx.doi.org/10.1007/978-3-540-74000-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Speaker Classification II Selected Projectsent://SD_ILS/0/SD_ILS:1870602026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Müller, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74122-0">http://dx.doi.org/10.1007/978-3-540-74122-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Speaker Classification I Fundamentals, Features, and Methodsent://SD_ILS/0/SD_ILS:1870822026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Müller, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74200-5">http://dx.doi.org/10.1007/978-3-540-74200-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1871962026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Hertzberg, Joachim. editor. Beetz, Michael. editor. Englert, Roman. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74565-5">http://dx.doi.org/10.1007/978-3-540-74565-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthdayent://SD_ILS/0/SD_ILS:1875412026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Aguzzoli, Stefano. editor. Ciabattoni, Agata. editor. Gerla, Brunella. editor. Manara, Corrado. editor. Marra, Vincenzo. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75939-3">http://dx.doi.org/10.1007/978-3-540-75939-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Nonlinear Speech Processing International Conference on Non-Linear Speech Processing, NOLISP 2007 Paris, France, May 22-25, 2007 Revised Selected Papersent://SD_ILS/0/SD_ILS:1878472026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Chetouani, Mohamed. editor. Hussain, Amir. editor. Gas, Bruno. editor. Milgram, Maurice. editor. Zarader, Jean-Luc. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-77347-4">http://dx.doi.org/10.1007/978-3-540-77347-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cognitive Systems Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1861062026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Lu, Ruqian. editor. Siekmann, Jörg H. editor. Ullrich, Carsten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70934-3">http://dx.doi.org/10.1007/978-3-540-70934-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Linguistics and Intelligent Text Processing 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1861082026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Gelbukh, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70939-8">http://dx.doi.org/10.1007/978-3-540-70939-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital Document Processing Major Directions and Recent Advancesent://SD_ILS/0/SD_ILS:1755292026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Chaudhuri, Bidyut B. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-726-8">http://dx.doi.org/10.1007/978-1-84628-726-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Emergence of Communication and Languageent://SD_ILS/0/SD_ILS:1755612026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Lyon, Caroline. editor. Nehaniv, Chrystopher L. editor. Cangelosi, Angelo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-779-4">http://dx.doi.org/10.1007/978-1-84628-779-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Progress in Nonlinear Speech Processingent://SD_ILS/0/SD_ILS:1862992026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Stylianou, Yannis. editor. Faundez-Zanuy, Marcos. editor. Esposito, Anna. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71505-4">http://dx.doi.org/10.1007/978-3-540-71505-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Text, Speech and Dialogue 10th International Conference, TSD 2007, Pilsen, Czech Republic, September 3-7, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1872192026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Matoušek, Václav. editor. Mautner, Pavel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74628-7">http://dx.doi.org/10.1007/978-3-540-74628-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Evaluation of Multilingual and Multi-modal Information Retrieval 7th Workshop of the Cross-Language Evaluation Forum, CLEF 2006, Alicante, Spain, September 20-22, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1873342026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Peters, Carol. editor. Clough, Paul. editor. Gey, Fredric C. editor. Karlgren, Jussi. editor. Magnini, Bernardo. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74999-8">http://dx.doi.org/10.1007/978-3-540-74999-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papersent://SD_ILS/0/SD_ILS:1873442026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Cate, Balder D. editor. Zeevat, Henk W. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75144-1">http://dx.doi.org/10.1007/978-3-540-75144-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Argumentation in Multi-Agent Systems Third International Workshop, ArgMAS 2006 Hakodate, Japan, May 8, 2006 Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1874392026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Maudet, Nicolas. editor. Parsons, Simon. editor. Rahwan, Iyad. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75526-5">http://dx.doi.org/10.1007/978-3-540-75526-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papersent://SD_ILS/0/SD_ILS:1862752026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Branco, António. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71412-5">http://dx.doi.org/10.1007/978-3-540-71412-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1839182026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Vieira, Renata. editor. Quaresma, Paulo. editor. Nunes, Maria das Graças Volpe. editor. Mamede, Nuno J. editor. Oliveira, Cláudia. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11751984">http://dx.doi.org/10.1007/11751984</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papersent://SD_ILS/0/SD_ILS:1842612026-03-30T03:26:26Z2026-03-30T03:26:26ZYazar Yli-Jyrä, Anssi. editor. Karttunen, Lauri. editor. Karhumäki, Juhani. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11780885">http://dx.doi.org/10.1007/11780885</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>