Arama Sonuçları Computer logic. - Daraltılmış: 2019
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002blogic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092019$0025092019$0026ps$003d300$0026isd$003dtrue?
2025-02-17T08:25:03Z
Logic Functions and Equations Binary Models for Computer Science
ent://SD_ILS/0/SD_ILS:483633
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02420-8">https://doi.org/10.1007/978-3-030-02420-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Representation Theorems in Computer Science A Treatment in Logic Engineering
ent://SD_ILS/0/SD_ILS:486368
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Özçep, Özgür Lütfü. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-25785-9">https://doi.org/10.1007/978-3-030-25785-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482913
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Enea, Constantin. editor. Piskac, Ruzica. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-11245-5">https://doi.org/10.1007/978-3-030-11245-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:483506
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-21485-2">https://doi.org/10.1007/978-3-030-21485-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483547
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-34175-6">https://doi.org/10.1007/978-3-030-34175-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483548
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-35540-1">https://doi.org/10.1007/978-3-030-35540-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Answer Set Programming
ent://SD_ILS/0/SD_ILS:483668
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Lifschitz, Vladimir. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-24658-7">https://doi.org/10.1007/978-3-030-24658-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483746
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483769
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Ordonez, Carlos. editor. Song, Il-Yeol. editor. Anderst-Kotsis, Gabriele. editor. Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Khalil, Ismail. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-27520-4">https://doi.org/10.1007/978-3-030-27520-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483886
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30281-8">https://doi.org/10.1007/978-3-030-30281-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers
ent://SD_ILS/0/SD_ILS:483906
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Sau, Ignasi. editor. (orcid)0000-0002-8981-9287 Thilikos, Dimitrios M. editor. (orcid)0000-0003-0470-1800 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30786-8">https://doi.org/10.1007/978-3-030-30786-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483907
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30806-3">https://doi.org/10.1007/978-3-030-30806-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pattern Recognition 40th German Conference, GCPR 2018, Stuttgart, Germany, October 9-12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:484106
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Brox, Thomas. editor. (orcid)0000-0002-6282-8861 Bruhn, Andrés. editor. Fritz, Mario. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-12939-2">https://doi.org/10.1007/978-3-030-12939-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pervasive Computing: A Networking Perspective and Future Directions
ent://SD_ILS/0/SD_ILS:484434
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Bhargava, Deepshikha. editor. Vyas, Sonali. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-13-3462-7">https://doi.org/10.1007/978-981-13-3462-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484438
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Manea, Florin. editor. Martin, Barnaby. editor. Paulusma, Daniël. editor. Primiero, Giuseppe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-22996-2">https://doi.org/10.1007/978-3-030-22996-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on High-Performance Embedded Architectures and Compilers V
ent://SD_ILS/0/SD_ILS:484586
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-58834-5">https://doi.org/10.1007/978-3-662-58834-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484866
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-21571-2">https://doi.org/10.1007/978-3-030-21571-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484877
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-28423-7">https://doi.org/10.1007/978-3-030-28423-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484899
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391 Ognjanović, Zoran. editor. (orcid)0000-0003-2508-6480 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29765-7">https://doi.org/10.1007/978-3-030-29765-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485288
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar McQuillan, Ian. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-19311-9">https://doi.org/10.1007/978-3-030-19311-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rough Sets International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485305
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Mihálydeák, Tamás. editor. (orcid)0000-0002-4382-5921 Min, Fan. editor. (orcid)0000-0002-3290-1036 Wang, Guoyin. editor. (orcid)0000-0002-8521-5232 Banerjee, Mohua. editor. (orcid)0000-0002-7517-0923 Düntsch, Ivo. editor. (orcid)0000-0001-8907-2382<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-22815-6">https://doi.org/10.1007/978-3-030-22815-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485306
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Hospodár, Michal. editor. Jirásková, Galina. editor. Konstantinidis, Stavros. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-23247-4">https://doi.org/10.1007/978-3-030-23247-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485559
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-13435-8">https://doi.org/10.1007/978-3-030-13435-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485789
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Silva, Josep. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-16202-3">https://doi.org/10.1007/978-3-030-16202-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485980
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31517-7">https://doi.org/10.1007/978-3-030-31517-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
ent://SD_ILS/0/SD_ILS:486057
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-19052-1">https://doi.org/10.1007/978-3-030-19052-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486058
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-59565-7">https://doi.org/10.1007/978-3-662-59565-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486130
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31280-0">https://doi.org/10.1007/978-3-030-31280-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486169
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-60292-8">https://doi.org/10.1007/978-3-662-60292-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Machine Learning and Knowledge Extraction Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486179
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Holzinger, Andreas. editor. (orcid)0000-0002-6786-5194 Kieseberg, Peter. editor. (orcid)0000-0002-2847-2152 Tjoa, A Min. editor. Weippl, Edgar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29726-8">https://doi.org/10.1007/978-3-030-29726-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:487004
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Holmes, Ian. editor. (orcid)0000-0001-7639-5369 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-18174-1">https://doi.org/10.1007/978-3-030-18174-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering Proceedings of CSI 2015
ent://SD_ILS/0/SD_ILS:487359
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Hoda, M. N. editor. Chauhan, Naresh. editor. Quadri, S. M. K. editor. Srivastava, Praveen Ranjan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-8848-3">https://doi.org/10.1007/978-981-10-8848-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482859
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31157-5">https://doi.org/10.1007/978-3-030-31157-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482869
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30942-8">https://doi.org/10.1007/978-3-030-30942-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Joint Training for Neural Machine Translation
ent://SD_ILS/0/SD_ILS:484670
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Cheng, Yong. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-32-9748-7">https://doi.org/10.1007/978-981-32-9748-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484893
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Brunato, Mauro. editor. (orcid)0000-0002-7885-4255 Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383 Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05348-2">https://doi.org/10.1007/978-3-030-05348-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485680
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31038-7">https://doi.org/10.1007/978-3-030-31038-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:485699
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Cleaveland, Rance. editor. Grosu, Radu. editor. (orcid)0000-0001-5715-2142 Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31514-6">https://doi.org/10.1007/978-3-030-31514-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485700
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32441-4">https://doi.org/10.1007/978-3-030-32441-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Machine Translation 15th China Conference, CCMT 2019, Nanchang, China, September 27–29, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486080
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Huang, Shujian. editor. Knight, Kevin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-15-1721-1">https://doi.org/10.1007/978-981-15-1721-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486210
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682 Droste, Manfred. editor. (orcid)0000-0001-9128-8844 Pin, Jean-Éric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-21363-3">https://doi.org/10.1007/978-3-030-21363-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486230
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153 Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177 Katsaros, Panagiotis. editor. Bozzano, Marco. editor. (orcid)0000-0002-4135-103X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32872-6">https://doi.org/10.1007/978-3-030-32872-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486336
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30048-7">https://doi.org/10.1007/978-3-030-30048-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486429
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Hofman, Piotrek. editor. Skrzypczak, Michał. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-24886-4">https://doi.org/10.1007/978-3-030-24886-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486438
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31095-0">https://doi.org/10.1007/978-3-030-31095-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486559
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-33636-3">https://doi.org/10.1007/978-3-030-33636-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Scalable Uncertainty Management 13th International Conference, SUM 2019, Compiègne, France, December 16–18, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486570
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Ben Amor, Nahla. editor. Quost, Benjamin. editor. Theobald, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-35514-2">https://doi.org/10.1007/978-3-030-35514-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486578
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31784-3">https://doi.org/10.1007/978-3-030-31784-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486937
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30923-7">https://doi.org/10.1007/978-3-030-30923-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence in Health First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:482665
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Koch, Fernando. editor. (orcid)0000-0001-7136-3253 Koster, Andrew. editor. (orcid)0000-0001-5976-7183 Riaño, David. editor. (orcid)0000-0002-1608-0215 Montagna, Sara. editor. (orcid)0000-0001-5390-4319 Schumacher, Michael. editor. (orcid)0000-0001-6522-4556<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-12738-1">https://doi.org/10.1007/978-3-030-12738-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:482773
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Fiadeiro, José Luiz. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-23220-7">https://doi.org/10.1007/978-3-030-23220-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:482984
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-14174-5">https://doi.org/10.1007/978-3-030-14174-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482979
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-58771-3">https://doi.org/10.1007/978-3-662-58771-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483296
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Thachuk, Chris. editor. Liu, Yan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-26807-7">https://doi.org/10.1007/978-3-030-26807-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483241
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-20528-7">https://doi.org/10.1007/978-3-030-20528-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483248
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Bjørner, Nikolaj. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-37487-7">https://doi.org/10.1007/978-3-030-37487-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:483257
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-22102-7">https://doi.org/10.1007/978-3-030-22102-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
ent://SD_ILS/0/SD_ILS:482889
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30985-5">https://doi.org/10.1007/978-3-030-30985-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482864
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar van Bevern, René. editor. (orcid)0000-0002-4805-218X Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-19955-5">https://doi.org/10.1007/978-3-030-19955-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithmic Aspects of Cloud Computing 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483105
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Disser, Yann. editor. (orcid)0000-0002-2085-0454 Verykios, Vassilios S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-19759-9">https://doi.org/10.1007/978-3-030-19759-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483131
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-19570-0">https://doi.org/10.1007/978-3-030-19570-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483155
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446 Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32505-3">https://doi.org/10.1007/978-3-030-32505-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483418
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar 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-030-32304-2">https://doi.org/10.1007/978-3-030-32304-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Research in Computational Molecular Biology 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483463
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Cowen, Lenore J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17083-7">https://doi.org/10.1007/978-3-030-17083-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483471
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Chamberlain, Roger. editor. Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17910-6">https://doi.org/10.1007/978-3-030-17910-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:483688
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-25543-5">https://doi.org/10.1007/978-3-030-25543-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483829
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29007-8">https://doi.org/10.1007/978-3-030-29007-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483848
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Fontaine, Pascal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29436-6">https://doi.org/10.1007/978-3-030-29436-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483867
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29662-9">https://doi.org/10.1007/978-3-030-29662-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484027
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Hospodár, Michal. editor. Jirásková, Galina. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-23679-3">https://doi.org/10.1007/978-3-030-23679-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:484033
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484046
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Rituparna. editor. (orcid)0000-0003-1060-5778 Janev, Valentina. editor. (orcid)0000-0002-9794-8505 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-28957-7">https://doi.org/10.1007/978-3-030-28957-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484198
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Mercaş, Robert. editor. (orcid)0000-0001-6034-433X Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-28796-2">https://doi.org/10.1007/978-3-030-28796-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484225
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32079-9">https://doi.org/10.1007/978-3-030-32079-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483377
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Bernardi, Raffaella. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-59648-7">https://doi.org/10.1007/978-3-662-59648-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484655
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-24258-9">https://doi.org/10.1007/978-3-030-24258-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485199
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-59533-6">https://doi.org/10.1007/978-3-662-59533-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:485282
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X 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-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485265
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-13838-7">https://doi.org/10.1007/978-3-030-13838-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:486304
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17462-0">https://doi.org/10.1007/978-3-030-17462-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486305
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-16692-2">https://doi.org/10.1007/978-3-030-16692-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486307
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-20981-0">https://doi.org/10.1007/978-3-030-20981-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486322
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Lodi, Andrea. editor. (orcid)0000-0001-9269-633X Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17953-3">https://doi.org/10.1007/978-3-030-17953-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486683
2025-02-17T08:25:03Z
2025-02-17T08:25:03Z
Yazar Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>