Arama Sonu&ccedil;lar&#305; Semantics. - Daralt&#305;lm&#305;&#351;: 2017 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSemantics.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092017$0025092017$0026ps$003d300$0026isd$003dtrue?dt=list 2026-06-01T18:22:43Z Syntax and semantics ent://SD_ILS/0/SD_ILS:69944 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Summer Linguistics Conference / University of California, Santa Cruz, 1971.&#160;Kimball, John P., ed.<br/>Yer Numaras&#305;&#160;P 291 S8 1972- V.1<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~5<br/> Natural language processing and computational linguistics 2 : semantics, discourse and applications ent://SD_ILS/0/SD_ILS:594144 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Kurdi, Mohamed Zakaria, author.<br/>Yer Numaras&#305;&#160;QA76.9 .N38<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119419686">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119419686</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics ent://SD_ILS/0/SD_ILS:611240 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Draheim, Dirk. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-642-55198-7">https://doi.org/10.1007/978-3-642-55198-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization ent://SD_ILS/0/SD_ILS:613437 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Draheim, Dirk. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-69868-7">https://doi.org/10.1007/978-3-319-69868-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Semantic theory ent://SD_ILS/0/SD_ILS:17647 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Kempson, Ruth M.<br/>Yer Numaras&#305;&#160;P 325 K44 1977<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Introduction &agrave; la s&eacute;mantique des textes. ent://SD_ILS/0/SD_ILS:389397 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;H&eacute;bert, Louis.<br/>Yer Numaras&#305;&#160;P325 H33 2017<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> The handbook of linguistics ent://SD_ILS/0/SD_ILS:593506 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Aronoff, Mark, editor.&#160;Rees-Miller, Janie, editor.<br/>Yer Numaras&#305;&#160;P121 .H324 2017 EB<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119072256">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119072256</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A companion to the philosophy of language ent://SD_ILS/0/SD_ILS:593428 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Hale, Bob, 1945- editor.&#160;Wright, Crispin, 1942- editor.&#160;Miller, Alexander, 1965- editor.<br/>Yer Numaras&#305;&#160;P107 .C66 2017<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781118972090">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118972090</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Real-time embedded systems ent://SD_ILS/0/SD_ILS:593770 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Wang, Jiacun, 1963- author.<br/>Yer Numaras&#305;&#160;TK7895 .E42<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611523 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;McDermott, James. editor.&#160;Castelli, Mauro. editor.&#160;Sekanina, Lukas. editor.&#160;Haasdijk, Evert. editor.&#160;Garc&iacute;a-S&aacute;nchez, Pablo. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-55696-3">https://doi.org/10.1007/978-3-319-55696-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613073 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Steffen, Bernhard. editor.&#160;Baier, Christel. editor.&#160;van den Brand, Mark. editor.&#160;Eder, Johann. editor.&#160;Hinchey, Mike. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cyber Security Cryptography and Machine Learning First International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613097 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Dolev, Shlomi. editor.&#160;Lodha, Sachin. editor. (orcid)0000-0001-5771-4977&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-60080-2">https://doi.org/10.1007/978-3-319-60080-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&amp;TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:613647 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Debruyne, Christophe. editor.&#160;Gaaloul, Walid. editor.&#160;Papazoglou, Mike. editor.&#160;Paschke, Adrian. editor. (orcid)0000-0003-3156-9040<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-69459-7">https://doi.org/10.1007/978-3-319-69459-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Multimodal Analysis of User-Generated Multimedia Content ent://SD_ILS/0/SD_ILS:614154 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Shah, Rajiv. author.&#160;Zimmermann, Roger. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-61807-4">https://doi.org/10.1007/978-3-319-61807-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Description Logics in Multimedia Reasoning ent://SD_ILS/0/SD_ILS:614574 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Sikos, Leslie F. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-54066-5">https://doi.org/10.1007/978-3-319-54066-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Agile Modeling with UML Code Generation, Testing, Refactoring ent://SD_ILS/0/SD_ILS:617166 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Rumpe, Bernhard. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-58862-9">https://doi.org/10.1007/978-3-319-58862-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Process Algebras for Petri Nets The Alphabetization of Distributed Systems ent://SD_ILS/0/SD_ILS:615659 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Gorrieri, Roberto. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-55559-1">https://doi.org/10.1007/978-3-319-55559-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Natural Language Processing and Information Systems 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Li&egrave;ge, Belgium, June 21-23, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616185 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Frasincar, Flavius. editor. (orcid)0000-0002-8031-758X&#160;Ittoo, Ashwin. editor.&#160;Nguyen, Le Minh. editor. (orcid)0000-0002-2265-1010&#160;M&eacute;tais, Elisabeth. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-59569-6">https://doi.org/10.1007/978-3-319-59569-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Language and Automata Theory and Applications 11th International Conference, LATA 2017, Ume&aring;, Sweden, March 6-9, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616320 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Drewes, Frank. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-53733-7">https://doi.org/10.1007/978-3-319-53733-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach ent://SD_ILS/0/SD_ILS:616485 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Zhan, Naijun. author.&#160;Wang, Shuling. author. (orcid)0000-0002-2798-2660&#160;Zhao, Hengjun. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-47016-0">https://doi.org/10.1007/978-3-319-47016-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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, Proceedings ent://SD_ILS/0/SD_ILS:616714 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Esparza, Javier. editor. (orcid)0000-0001-9862-4919&#160;Murawski, Andrzej S. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Knowledge Discovery and Management Volume 6 ent://SD_ILS/0/SD_ILS:616804 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Guillet, Fabrice. editor.&#160;Pinaud, Bruno. editor.&#160;Venturini, Gilles. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-45763-5">https://doi.org/10.1007/978-3-319-45763-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Machine Learning and Knowledge Extraction First IFIP TC 5, WG 8.4, 8.9, 12.9 International Cross-Domain Conference, CD-MAKE 2017, Reggio, Italy, August 29 - September 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:610999 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Holzinger, Andreas. editor.&#160;Kieseberg, Peter. editor.&#160;Tjoa, A Min. editor. (orcid)0000-0002-8295-9252&#160;Weippl, Edgar. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-66808-6">https://doi.org/10.1007/978-3-319-66808-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612180 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Ciuciu, Ioana. editor.&#160;Debruyne, Christophe. editor.&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Weichhart, Georg. editor.&#160;Bollen, Peter. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-55961-2">https://doi.org/10.1007/978-3-319-55961-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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 Papers ent://SD_ILS/0/SD_ILS:612253 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;James, Phillip. editor.&#160;Roggenbach, Markus. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-72044-9">https://doi.org/10.1007/978-3-319-72044-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> New Frontiers in Artificial Intelligence JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612586 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Otake, Mihoko. editor.&#160;Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X&#160;Ota, Yuiko. editor.&#160;Satoh, Ken. editor.&#160;Bekki, Daisuke. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-50953-2">https://doi.org/10.1007/978-3-319-50953-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Spatio-Temporal Graph Data Analytics ent://SD_ILS/0/SD_ILS:613557 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Gunturi, Venkata M. V. author.&#160;Shekhar, Shashi. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-67771-2">https://doi.org/10.1007/978-3-319-67771-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613742 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Mousavi, Mohammad Reza. editor.&#160;Sgall, Ji&#345;&iacute;. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-68953-1">https://doi.org/10.1007/978-3-319-68953-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611151 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Chang, Bor-Yuh Evan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-71237-6">https://doi.org/10.1007/978-3-319-71237-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> New Frontiers in Artificial Intelligence JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611705 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X&#160;Ohta, Yuiko. editor.&#160;Arai, Sachiyo. editor.&#160;Satoh, Ken. editor.&#160;Bekki, Daisuke. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-61572-1">https://doi.org/10.1007/978-3-319-61572-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Knowledge Science, Engineering and Management 10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:617618 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Li, Gang. editor. (orcid)0000-0003-1583-641X&#160;Ge, Yong. editor.&#160;Zhang, Zili. editor.&#160;Jin, Zhi. editor.&#160;Blumenstein, Michael. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-63558-3">https://doi.org/10.1007/978-3-319-63558-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications ent://SD_ILS/0/SD_ILS:617536 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:617812 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Aceto, Luca. editor.&#160;Bacci, Giorgio. editor.&#160;Bacci, Giovanni. editor.&#160;Ing&oacute;lfsd&oacute;ttir, Anna. editor.&#160;Legay, Axel. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures ent://SD_ILS/0/SD_ILS:617841 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:617856 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926&#160;Langerak, Rom. editor.&#160;Rensink, Arend. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:618255 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Benslimane, Djamal. editor.&#160;Damiani, Ernesto. editor.&#160;Grosky, William I. editor.&#160;Hameurlain, Abdelkader. editor.&#160;Sheth, Amit. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-64468-4">https://doi.org/10.1007/978-3-319-64468-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&amp;TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:618259 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Debruyne, Christophe. editor.&#160;Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X&#160;Papazoglou, Mike. editor.&#160;Paschke, Adrian. editor. (orcid)0000-0003-3156-9040<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-69462-7">https://doi.org/10.1007/978-3-319-69462-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:618306 2026-06-01T18:22:43Z 2026-06-01T18:22:43Z Yazar&#160;Benslimane, Djamal. editor.&#160;Damiani, Ernesto. editor.&#160;Grosky, William I. editor.&#160;Hameurlain, Abdelkader. editor.&#160;Sheth, Amit. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-64471-4">https://doi.org/10.1007/978-3-319-64471-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>