Search Results for Computer science. - Narrowed by: SpringerLink (Online service) - E-Book - Electronic Library - 2019 - Mathematical logic.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092019$0025092019$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-11T23:21:02Z
Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486010
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-0105-0">https://doi.org/10.1007/978-981-15-0105-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Functions and Equations Binary Models for Computer Science
ent://SD_ILS/0/SD_ILS:483633
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Languages and Compilation
ent://SD_ILS/0/SD_ILS:483708
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04879-2">https://doi.org/10.1007/978-3-030-04879-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:482916
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22348-9">https://doi.org/10.1007/978-3-030-22348-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483549
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Coecke, Bob. editor. (orcid)0000-0002-5310-8723 Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35895-2">https://doi.org/10.1007/978-3-030-35895-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy
ent://SD_ILS/0/SD_ILS:483709
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author de Haan, Ronald. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-60670-4">https://doi.org/10.1007/978-3-662-60670-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484198
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Mercaş, Robert. editor. (orcid)0000-0001-6034-433X Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Manea, Florin. editor. Martin, Barnaby. editor. Paulusma, Daniël. editor. Primiero, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484478
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Gopal, T.V. editor. Watada, Junzo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14812-6">https://doi.org/10.1007/978-3-030-14812-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485579
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Chaves, Madalena. editor. Martins, Manuel A. editor. (orcid)0000-0002-5109-8066 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19432-1">https://doi.org/10.1007/978-3-030-19432-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486239
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30763-9">https://doi.org/10.1007/978-3-030-30763-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Hospodár, Michal. editor. Jirásková, Galina. editor. Konstantinidis, Stavros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486017
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-0310-8">https://doi.org/10.1007/978-981-15-0310-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Hofman, Piotrek. editor. Skrzypczak, Michał. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486431
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Zhao, Jun. editor. Harmelen, Frank van. editor. Tang, Jie. editor. Han, Xianpei. editor. Wang, Quan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-3146-6">https://doi.org/10.1007/978-981-13-3146-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers
ent://SD_ILS/0/SD_ILS:486727
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Sikos, Jennifer. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-59620-3">https://doi.org/10.1007/978-3-662-59620-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Discovery, Knowledge Engineering and Knowledge Management 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486755
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Fred, Ana. editor. Aveiro, David. editor. (orcid)0000-0001-6453-3648 Dietz, Jan L. G. editor. Liu, Kecheng. editor. Bernardino, Jorge. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15640-4">https://doi.org/10.1007/978-3-030-15640-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486827
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946 Eder, Johann. editor. (orcid)0000-0001-6050-468X Podgorelec, Vili. editor. (orcid)0000-0001-6955-7868 Wrembel, Robert. editor. (orcid)0000-0001-6037-5718 Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30278-8">https://doi.org/10.1007/978-3-030-30278-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483222
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X Mordonini, Monica. editor. (orcid)0000-0002-5916-9770 Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Villani, Marco. editor. (orcid)0000-0002-5991-5470<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21733-4">https://doi.org/10.1007/978-3-030-21733-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446 Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483256
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Uden, Lorna. editor. Ting, I-Hsien. editor. Corchado, Juan Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21451-7">https://doi.org/10.1007/978-3-030-21451-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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
ent://SD_ILS/0/SD_ILS:483052
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483377
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Bernardi, Raffaella. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486687
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Sengupta, Anirban. editor. Dasgupta, Sudeb. editor. Singh, Virendra. editor. Sharma, Rohit. editor. Kumar Vishvakarma, Santosh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-32-9767-8">https://doi.org/10.1007/978-981-32-9767-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486610
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Fallucchi, Francesca. editor. (orcid)0000-0002-3288-044X William De Luca, Ernesto. editor. (orcid)0000-0003-3621-4118 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-36599-8">https://doi.org/10.1007/978-3-030-36599-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metadata and Semantic Research 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486899
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Sartori, Fabio. editor. (orcid)0000-0002-5038-9785 Siatri, Rania. editor. Zervas, Marios. editor. (orcid)0000-0002-4466-7910 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14401-2">https://doi.org/10.1007/978-3-030-14401-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Search, Integration, and Personalization 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486950
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Kotzinos, Dimitris. editor. Laurent, Dominique. editor. (orcid)0000-0002-7264-9576 Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor. Taniguchi, Rin-ichiro. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30284-9">https://doi.org/10.1007/978-3-030-30284-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482677
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Fernández, Miriam. editor. (orcid)0000-0001-5939-4321 Janowicz, Krzysztof. editor. Zaveri, Amrapali. editor. Gray, Alasdair J.G. editor. (orcid)0000-0002-5711-4872<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21348-0">https://doi.org/10.1007/978-3-030-21348-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:485649
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17935-9">https://doi.org/10.1007/978-3-030-17935-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486946
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Seki, Hirosato. editor. Nguyen, Canh Hao. editor. Huynh, Van-Nam. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14815-7">https://doi.org/10.1007/978-3-030-14815-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:485008
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17938-0">https://doi.org/10.1007/978-3-030-17938-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bioinformatics Research and Applications 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485016
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Cai, Zhipeng. editor. Skums, Pavel. editor. Li, Min. editor. (orcid)0000-0002-0188-1394 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20242-2">https://doi.org/10.1007/978-3-030-20242-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483434
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33246-4">https://doi.org/10.1007/978-3-030-33246-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483605
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29026-9">https://doi.org/10.1007/978-3-030-29026-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~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
2024-09-11T23:21:02Z
2024-09-11T23:21:02Z
Author Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>