Search Results for Science: general issues. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$00253A$002bgeneral$002bissues.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue? 2024-12-13T02:17:36Z General philosophy of science focal issues ent://SD_ILS/0/SD_ILS:145758 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Kuipers, Theo A. F., 1947-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444515483">http://www.sciencedirect.com/science/book/9780444515483</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Methods and Applications 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483422 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Nikolov, Geno. editor. (orcid)0000-0001-5608-2488&#160;Kolkovska, Natalia. editor.&#160;Georgiev, Krassimir. editor. (orcid)0000-0001-5277-2887&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-10692-8">https://doi.org/10.1007/978-3-030-10692-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23&ndash;24, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483615 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Tang, Xiaoxin. editor.&#160;Chen, Quan. editor.&#160;Bose, Pradip. editor.&#160;Zheng, Weiming. editor.&#160;Gaudiot, Jean-Luc. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30709-7">https://doi.org/10.1007/978-3-030-30709-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12&ndash;15, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:483617 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gedeon, Tom. editor. (orcid)0000-0001-8356-4909&#160;Wong, Kok Wai. editor. (orcid)0000-0001-8767-1031&#160;Lee, Minho. editor. (orcid)0000-0002-0441-7087&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-36708-4">https://doi.org/10.1007/978-3-030-36708-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11&ndash;14, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483620 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Abramson, David. editor. (orcid)0000-0003-0441-4596&#160;de Supinski, Bronis R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-18645-6">https://doi.org/10.1007/978-3-030-18645-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6&ndash;10, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483789 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Zs&oacute;k, Vikt&oacute;ria. editor.&#160;Porkol&aacute;b, Zolt&aacute;n. editor.&#160;Horv&aacute;th, Zolt&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-28346-9">https://doi.org/10.1007/978-3-030-28346-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484848 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Ghaffari, Mohsen. editor.&#160;Nesterenko, Mikhail. editor.&#160;Tixeuil, S&eacute;bastien. editor. (orcid)0000-0002-0948-7172&#160;Tucci, Sara. editor. (orcid)0000-0001-9738-9021&#160;Yamauchi, Yukiko. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34992-9">https://doi.org/10.1007/978-3-030-34992-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484866 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457&#160;Haar, Stefan. editor. (orcid)0000-0002-1892-2703&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13&ndash;14, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484877 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Zamani, Majid. editor.&#160;Zufferey, Damien. editor. (orcid)0000-0002-3197-8736&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484905 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Rousseau, Louis-Martin. editor.&#160;Stergiou, Kostas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19212-9">https://doi.org/10.1007/978-3-030-19212-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484958 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845&#160;Vega-Rodr&iacute;guez, Miguel A. editor. (orcid)0000-0002-3003-758X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34500-6">https://doi.org/10.1007/978-3-030-34500-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing for Computational Science &ndash; VECPAR 2018 13th International Conference, S&atilde;o Pedro, Brazil, September 17-19, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485258 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Senger, Hermes. editor. (orcid)0000-0003-1273-9809&#160;Marques, Osni. editor.&#160;Garcia, Rogerio. editor. (orcid)0000-0003-1248-528X&#160;Pinheiro de Brito, Tatiana. editor.&#160;Iope, Rog&eacute;rio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-15996-2">https://doi.org/10.1007/978-3-030-15996-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Discrete Applied Mathematics 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485262 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Pal, Sudebkumar Prasant. editor.&#160;Vijayakumar, Ambat. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-11509-8">https://doi.org/10.1007/978-3-030-11509-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Mesnard, Fred. editor.&#160;Stuckey, Peter J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485271 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Van Horn, David. editor.&#160;Hughes, John. editor. (orcid)0000-0001-8042-0969&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-14805-8">https://doi.org/10.1007/978-3-030-14805-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485539 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Duan, Zhenhua. editor.&#160;Liu, Shaoying. editor.&#160;Tian, Cong. editor.&#160;Nagoya, Fumiko. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-13651-2">https://doi.org/10.1007/978-3-030-13651-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725&#160;Shapira, Dana. editor. (orcid)0000-0002-2320-9064&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17&ndash;18, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485579 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Chaves, Madalena. editor.&#160;Martins, Manuel A. editor. (orcid)0000-0002-5109-8066&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485590 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Guerra, Esther. editor. (orcid)0000-0002-2818-2278&#160;Orejas, Fernando. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23611-3">https://doi.org/10.1007/978-3-030-23611-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601&#160;Cleaveland, Rance. editor.&#160;Grosu, Radu. editor. (orcid)0000-0001-5715-2142&#160;Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507&#160;Petre, Luigia. editor.&#160;Smith, Graeme. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computational Intelligence 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:485947 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Rojas, Ignacio. editor. (orcid)0000-0002-1033-5635&#160;Joya, Gonzalo. editor.&#160;Catala, Andreu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20521-8">https://doi.org/10.1007/978-3-030-20521-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet ent://SD_ILS/0/SD_ILS:485874 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Ko&#322;odziej, Joanna. editor. (orcid)0000-0002-5181-8713&#160;Gonz&aacute;lez-V&eacute;lez, Horacio. editor. (orcid)0000-0003-0241-6053&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-16272-6">https://doi.org/10.1007/978-3-030-16272-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486031 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;H&auml;hnle, Reiner. editor. (orcid)0000-0001-8000-7613&#160;van der Aalst, Wil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Green, Pervasive, and Cloud Computing 14th International Conference, GPC 2019, Uberl&acirc;ndia, Brazil, May 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486048 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Miani, Rodrigo. editor. (orcid)0000-0002-8176-8040&#160;Camargos, Lasaro. editor. (orcid)0000-0002-4162-6160&#160;Zarpel&atilde;o, Bruno. editor. (orcid)0000-0001-9172-3578&#160;Rosas, Erika. editor. (orcid)0000-0003-0377-0193&#160;Pasquini, Rafael. editor. (orcid)0000-0002-8781-3914<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19223-5">https://doi.org/10.1007/978-3-030-19223-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Silva, Alexandra. editor.&#160;Staton, Sam. editor.&#160;Sutton, Peter. editor.&#160;Umbach, Carla. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Software Science State of the Art and Perspectives ent://SD_ILS/0/SD_ILS:486069 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;Woeginger, Gerhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Bioinspired Systems and Biomedical Applications to Machine Learning 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almer&iacute;a, Spain, June 3&ndash;7, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:486103 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Ferr&aacute;ndez Vicente, Jos&eacute; Manuel. editor.&#160;&Aacute;lvarez-S&aacute;nchez, Jos&eacute; Ram&oacute;n. editor.&#160;de la Paz L&oacute;pez, F&eacute;lix. editor.&#160;Toledo Moreo, Javier. editor.&#160;Adeli, Hojjat. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19651-6">https://doi.org/10.1007/978-3-030-19651-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:486113 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22744-9">https://doi.org/10.1007/978-3-030-22744-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486136 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Khachay, Michael. editor. (orcid)0000-0003-3555-0080&#160;Kochetov, Yury. editor. (orcid)0000-0001-7123-8647&#160;Pardalos, Panos. editor. (orcid)0000-0003-2824-101X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22629-9">https://doi.org/10.1007/978-3-030-22629-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26&ndash;30, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:486415 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Tan, Ying. editor. (orcid)0000-0001-8243-4731&#160;Shi, Yuhui. editor.&#160;Niu, Ben. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26354-6">https://doi.org/10.1007/978-3-030-26354-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486429 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Hofman, Piotrek. editor.&#160;Skrzypczak, Micha&#322;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24&ndash;26, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483667 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Biagioni, Edoardo S. editor.&#160;Zheng, Yao. editor.&#160;Cheng, Siyao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23597-0">https://doi.org/10.1007/978-3-030-23597-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Models for the Web Graph 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483676 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Avrachenkov, Konstantin. editor.&#160;Pra&#322;at, Pawe&#322;. editor.&#160;Ye, Nan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-25070-6">https://doi.org/10.1007/978-3-030-25070-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483679 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Weiland, Mich&egrave;le. editor. (orcid)0000-0003-4713-3073&#160;Juckeland, Guido. editor. (orcid)0000-0002-9935-4428&#160;Alam, Sadaf. editor. (orcid)0000-0002-2534-5078&#160;Jagode, Heike. editor. (orcid)0000-0002-8173-9434&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34356-9">https://doi.org/10.1007/978-3-030-34356-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, G&ouml;ttingen, Germany, August 26&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483847 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29400-7">https://doi.org/10.1007/978-3-030-29400-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers in Algorithmics 13th International Workshop, FAW 2019, Sanya, China, April 29 &ndash; May 3, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483857 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Chen, Yijia. editor.&#160;Deng, Xiaotie. editor.&#160;Lu, Mei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-18126-0">https://doi.org/10.1007/978-3-030-18126-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483859 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Yew, Pen-Chung. editor.&#160;Stenstr&ouml;m, Per. editor. (orcid)0000-0002-7441-8245&#160;Wu, Junjie. editor.&#160;Gong, Xiaoli. editor.&#160;Li, Tao. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29611-7">https://doi.org/10.1007/978-3-030-29611-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483867 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Andr&eacute;, &Eacute;tienne. editor. (orcid)0000-0001-8473-9555&#160;Stoelinga, Mari&euml;lle. editor. (orcid)0000-0001-6793-8165&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484478 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gopal, T.V. editor.&#160;Watada, Junzo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> String Processing and Information Retrieval 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484790 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Brisaboa, Nieves R. editor. (orcid)0000-0001-8025-3048&#160;Puglisi, Simon J. editor. (orcid)0000-0001-7668-7636&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32686-9">https://doi.org/10.1007/978-3-030-32686-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486937 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Biondi, Fabrizio. editor.&#160;Given-Wilson, Thomas. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2019: Text and Time Series 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17&ndash;19, 2019, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:486959 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;Karpov, Pavel. editor. (orcid)0000-0003-4786-9806&#160;Theis, Fabian. editor. (orcid)0000-0002-2419-1943&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30490-4">https://doi.org/10.1007/978-3-030-30490-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:486968 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24302-9">https://doi.org/10.1007/978-3-030-24302-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:486969 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24296-1">https://doi.org/10.1007/978-3-030-24296-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 25th International Conference, COCOON 2019, Xi'an, China, July 29&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482805 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Du, Ding-Zhu. editor.&#160;Duan, Zhenhua. editor.&#160;Tian, Cong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26176-4">https://doi.org/10.1007/978-3-030-26176-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2019 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10&ndash;12, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:482768 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Lu, Huchuan. editor.&#160;Tang, Huajin. editor.&#160;Wang, Zhanshan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22796-8">https://doi.org/10.1007/978-3-030-22796-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2&ndash;5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:482773 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Fiadeiro, Jos&eacute; Luiz. editor.&#160;&#538;u&#539;u, Ionu&#539;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Multi-Criterion Optimization 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482993 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939&#160;Goodman, Erik. editor.&#160;Coello Coello, Carlos A. editor. (orcid)0000-0002-8435-680X&#160;Klamroth, Kathrin. editor.&#160;Miettinen, Kaisa. editor. (orcid)0000-0003-1013-4689<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12598-1">https://doi.org/10.1007/978-3-030-12598-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Technology and Optimization Problems First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483004 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Feld, Sebastian. editor.&#160;Linnhoff-Popien, Claudia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-14082-3">https://doi.org/10.1007/978-3-030-14082-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483032 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Hochberger, Christian. editor.&#160;Nelson, Brent. editor.&#160;Koch, Andreas. editor.&#160;Woods, Roger. editor.&#160;Diniz, Pedro. editor. (orcid)0000-0003-3131-9367<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17227-5">https://doi.org/10.1007/978-3-030-17227-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Data and Social Networks 8th International Conference, CSoNet 2019, Ho Chi Minh City, Vietnam, November 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483039 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Tagarelli, Andrea. editor.&#160;Tong, Hanghang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34980-6">https://doi.org/10.1007/978-3-030-34980-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages and Compilers for Parallel Computing 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9&ndash;11, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483047 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Hall, Mary. editor. (orcid)0000-0002-3058-7573&#160;Sundar, Hari. editor. (orcid)0000-0001-9001-5107&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34627-0">https://doi.org/10.1007/978-3-030-34627-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis of Experimental Algorithms Special Event, SEA&sup2; 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483049 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383&#160;Pardalos, Panos. editor. (orcid)0000-0003-2824-101X&#160;Parsopoulos, Konstantinos E. editor.&#160;Souravlias, Dimitris. editor.&#160;Tsokas, Arsenis. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34029-2">https://doi.org/10.1007/978-3-030-34029-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483052 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Boja&#324;czyk, Miko&#322;aj. editor.&#160;Simpson, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence in Music, Sound, Art and Design 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24&ndash;26, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483061 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Ek&aacute;rt, Anik&oacute;. editor. (orcid)0000-0001-6967-5397&#160;Liapis, Antonios. editor.&#160;Castro Pena, Mar&iacute;a Luz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-16667-0">https://doi.org/10.1007/978-3-030-16667-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing by Mobile Entities Current Research in Moving and Computing ent://SD_ILS/0/SD_ILS:483081 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Flocchini, Paola. editor.&#160;Prencipe, Giuseppe. editor.&#160;Santoro, Nicola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-11072-7">https://doi.org/10.1007/978-3-030-11072-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects of Cloud Computing 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20&ndash;21, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483105 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Disser, Yann. editor. (orcid)0000-0002-2085-0454&#160;Verykios, Vassilios S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing &ndash; ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 &ndash; November 4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483155 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446&#160;Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483296 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Thachuk, Chris. editor.&#160;Liu, Yan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24&ndash;26, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483445 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011&#160;Hu, Ting. editor. (orcid)0000-0001-6382-0602&#160;Louren&ccedil;o, Nuno. editor. (orcid)0000-0002-2154-0642&#160;Richter, Hendrik. editor. (orcid)0000-0001-5417-8291&#160;Garc&iacute;a-S&aacute;nchez, Pablo. editor. (orcid)0000-0003-4644-2894<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-16670-0">https://doi.org/10.1007/978-3-030-16670-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Finite Difference Methods. Theory and Applications 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483685 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Dimov, Ivan. editor.&#160;Farag&oacute;, Istv&aacute;n. editor. (orcid)0000-0002-4615-7615&#160;Vulkov, Lubin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-11539-5">https://doi.org/10.1007/978-3-030-11539-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Dillig, Isil. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;de Haan, Ronald. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483738 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;England, Matthew. editor. (orcid)0000-0001-5729-3420&#160;Koepf, Wolfram. editor.&#160;Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318&#160;Seiler, Werner M. editor. (orcid)0000-0002-0565-1334&#160;Vorozhtsov, Evgenii V. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26831-2">https://doi.org/10.1007/978-3-030-26831-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Queueing Theory and Network Applications 14th International Conference, QTNA 2019, Ghent, Belgium, August 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483756 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946&#160;Kasahara, Shoji. editor. (orcid)0000-0001-9785-8350&#160;Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-27181-7">https://doi.org/10.1007/978-3-030-27181-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2018 Workshops Confederated International Workshops: EI2N, FBM, ICSP, and Meta4eS 2018, Valletta, Malta, October 22&ndash;26, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484716 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Gu&eacute;dria, Wided. editor.&#160;Bollen, Peter. editor.&#160;Ciuciu, Ioana. editor. (orcid)0000-0002-7126-0585<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-11683-5">https://doi.org/10.1007/978-3-030-11683-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484655 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Janota, Mikol&aacute;&scaron;. editor. (orcid)0000-0003-3487-784X&#160;Lynce, In&ecirc;s. editor. (orcid)0000-0003-4868-415X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:484656 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24305-0">https://doi.org/10.1007/978-3-030-24305-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19&ndash;23, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484657 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-25636-4">https://doi.org/10.1007/978-3-030-25636-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10&ndash;15, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484893 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Battiti, Roberto. editor. (orcid)0000-0002-0259-8603&#160;Brunato, Mauro. editor. (orcid)0000-0002-7885-4255&#160;Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383&#160;Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485010 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Bhasin, Shivam. editor. (orcid)0000-0002-6903-5127&#160;Mendelson, Avi. editor.&#160;Nandi, Mridul. editor. (orcid)0000-0002-1029-6576&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35869-3">https://doi.org/10.1007/978-3-030-35869-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:485087 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22747-0">https://doi.org/10.1007/978-3-030-22747-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part V ent://SD_ILS/0/SD_ILS:485088 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22750-0">https://doi.org/10.1007/978-3-030-22750-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2019 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10&ndash;12, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:485058 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Lu, Huchuan. editor.&#160;Tang, Huajin. editor.&#160;Wang, Zhanshan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22808-8">https://doi.org/10.1007/978-3-030-22808-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday ent://SD_ILS/0/SD_ILS:486859 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Alvim, M&aacute;rio S. editor.&#160;Chatzikokolakis, Kostas. editor.&#160;Olarte, Carlos. editor.&#160;Valencia, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31175-9">https://doi.org/10.1007/978-3-030-31175-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part V ent://SD_ILS/0/SD_ILS:487080 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24308-1">https://doi.org/10.1007/978-3-030-24308-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:482657 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Mencagli, Gabriele. editor.&#160;B. Heras, Dora. editor.&#160;Cardellini, Valeria. editor.&#160;Casalicchio, Emiliano. editor.&#160;Jeannot, Emmanuel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-10549-5">https://doi.org/10.1007/978-3-030-10549-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26&ndash;30, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:482797 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Tan, Ying. editor. (orcid)0000-0001-8243-4731&#160;Shi, Yuhui. editor.&#160;Niu, Ben. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26369-0">https://doi.org/10.1007/978-3-030-26369-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482746 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Caires, Lu&iacute;s. editor. (orcid)0000-0002-3215-6734&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation in Combinatorial Optimization 19th European Conference, EvoCOP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24&ndash;26, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482853 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Liefooghe, Arnaud. editor. (orcid)0000-0003-3283-3122&#160;Paquete, Lu&iacute;s. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-16711-0">https://doi.org/10.1007/978-3-030-16711-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1&ndash;5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482864 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;van Bevern, Ren&eacute;. editor. (orcid)0000-0002-4805-218X&#160;Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Topology in Image Context 7th International Workshop, CTIC 2019, M&aacute;laga, Spain, January 24-25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482873 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Marfil, Rebeca. editor. (orcid)0000-0003-1573-5096&#160;Calder&oacute;n, Mariletty. editor.&#160;D&iacute;az del R&iacute;o, Fernando. editor. (orcid)0000-0001-6184-1629&#160;Real, Pedro. editor. (orcid)0000-0002-6853-0505&#160;Bandera, Antonio. editor. (orcid)0000-0003-3147-0307<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-10828-1">https://doi.org/10.1007/978-3-030-10828-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367&#160;Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667&#160;Semini, Laura. editor. (orcid)0000-0001-8774-2346&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Computer Systems: Architectures, Modeling, and Simulation 19th International Conference, SAMOS 2019, Samos, Greece, July 7&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482905 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Pnevmatikatos, Dionisios N. editor.&#160;Pelcat, Maxime. editor.&#160;Jung, Matthias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-27562-4">https://doi.org/10.1007/978-3-030-27562-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13&ndash;15, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482913 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Enea, Constantin. editor.&#160;Piskac, Ruzica. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Graf, Susanne. editor.&#160;Larsen, Kim G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Metaheuristics 11th International Workshop, HM 2019, Concepci&oacute;n, Chile, January 16&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482953 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Blesa Aguilera, Maria J. editor. (orcid)0000-0001-8246-9926&#160;Blum, Christian. editor. (orcid)0000-0002-1736-3559&#160;Gambini Santos, Haroldo. editor. (orcid)0000-0002-4759-0680&#160;Pinacho-Davidson, Pedro. editor.&#160;Godoy del Campo, Julio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05983-5">https://doi.org/10.1007/978-3-030-05983-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Khan, Md. Aquil. editor.&#160;Manuel, Amaldev. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Complexity 11th International Conference, CIAC 2019, Rome, Italy, May 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483185 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Heggernes, Pinar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17402-6">https://doi.org/10.1007/978-3-030-17402-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12&ndash;15, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:483229 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gedeon, Tom. editor. (orcid)0000-0001-8356-4909&#160;Wong, Kok Wai. editor. (orcid)0000-0001-8767-1031&#160;Lee, Minho. editor. (orcid)0000-0002-0441-7087&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-36711-4">https://doi.org/10.1007/978-3-030-36711-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483235 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Weiland, Mich&egrave;le. editor. (orcid)0000-0003-4713-3073&#160;Juckeland, Guido. editor. (orcid)0000-0002-9935-4428&#160;Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652&#160;Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20656-7">https://doi.org/10.1007/978-3-030-20656-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12&ndash;15, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:483237 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gedeon, Tom. editor. (orcid)0000-0001-8356-4909&#160;Wong, Kok Wai. editor. (orcid)0000-0001-8767-1031&#160;Lee, Minho. editor. (orcid)0000-0002-0441-7087&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-36718-3">https://doi.org/10.1007/978-3-030-36718-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2&ndash;5, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483248 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Bj&oslash;rner, Nikolaj. editor.&#160;Virbitskaite, Irina. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Lutz, Carsten. editor.&#160;Sattler, Uli. editor.&#160;Tinelli, Cesare. editor.&#160;Turhan, Anni-Yasmin. editor.&#160;Wolter, Frank. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Bernardi, Raffaella. editor.&#160;Kobele, Greg. editor.&#160;Pogodalla, Sylvain. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~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 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Boreale, Michele. editor. (orcid)0000-0002-1972-7491&#160;Corradini, Flavio. editor.&#160;Loreti, Michele. editor. (orcid)0000-0003-3061-863X&#160;Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:483514 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22741-8">https://doi.org/10.1007/978-3-030-22741-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3&ndash;5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483549 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Coecke, Bob. editor. (orcid)0000-0002-5310-8723&#160;Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483886 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Parker, David. editor. (orcid)0000-0003-4137-8862&#160;Wolf, Verena. editor. (orcid)0000-0001-8460-6007&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483898 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de N&uacute;ria, Spain, June 19&ndash;21, 2019, Revised Papers ent://SD_ILS/0/SD_ILS:483906 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Sau, Ignasi. editor. (orcid)0000-0002-8981-9287&#160;Thilikos, Dimitrios M. editor. (orcid)0000-0003-0470-1800&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483907 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Filiot, Emmanuel. editor.&#160;Jungers, Rapha&euml;l. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 24th International Conference, CIAA 2019, Ko&scaron;ice, Slovakia, July 22&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484027 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Hospod&aacute;r, Michal. editor.&#160;Jir&aacute;skov&aacute;, Galina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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&ndash;11, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:484033 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Vojnar, Tom&aacute;&scaron;. editor. (orcid)0000-0002-2746-8792&#160;Zhang, Lijun. editor. (orcid)0000-0002-3692-2088&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:484045 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Dillig, Isil. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2019: Image Processing 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17&ndash;19, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:484058 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;Karpov, Pavel. editor. (orcid)0000-0003-4786-9806&#160;Theis, Fabian. editor. (orcid)0000-0002-2419-1943&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30508-6">https://doi.org/10.1007/978-3-030-30508-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Green, Pervasive, and Cloud Computing 13th International Conference, GPC 2018, Hangzhou, China, May 11-13, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484083 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Li, Shijian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-15093-8">https://doi.org/10.1007/978-3-030-15093-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> WALCOM: Algorithms and Computation 13th International Conference, WALCOM 2019, Guwahati, India, February 27 &ndash; March 2, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484183 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Das, Gautam K. editor. (orcid)0000-0001-7471-2885&#160;Mandal, Partha S. editor. (orcid)0000-0002-8632-5767&#160;Mukhopadhyaya, Krishnendu. editor. (orcid)0000-0001-6292-8961&#160;Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-10564-8">https://doi.org/10.1007/978-3-030-10564-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nov&yacute; Smokovec, Slovakia, January 27-30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484191 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Catania, Barbara. editor. (orcid)0000-0002-6443-169X&#160;Kr&aacute;lovi&#269;, Rastislav. editor. (orcid)0000-0003-1121-1009&#160;Nawrocki, Jerzy. editor.&#160;Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-10801-4">https://doi.org/10.1007/978-3-030-10801-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Variable Neighborhood Search 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484195 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Sifaleras, Angelo. editor.&#160;Salhi, Said. editor.&#160;Brimberg, Jack. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-15843-9">https://doi.org/10.1007/978-3-030-15843-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484198 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Merca&#351;, Robert. editor. (orcid)0000-0001-6034-433X&#160;Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization and Applications 13th International Conference, COCOA 2019, Xiamen, China, December 13&ndash;15, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484229 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Li, Yingshu. editor.&#160;Cardei, Mihaela. editor.&#160;Huang, Yan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-36412-0">https://doi.org/10.1007/978-3-030-36412-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15&ndash;19, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484438 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Manea, Florin. editor.&#160;Martin, Barnaby. editor.&#160;Paulusma, Dani&euml;l. editor.&#160;Primiero, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Vision Systems 12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484610 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Tzovaras, Dimitrios. editor.&#160;Giakoumis, Dimitrios. editor.&#160;Vincze, Markus. editor.&#160;Argyros, Antonis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34995-0">https://doi.org/10.1007/978-3-030-34995-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Iemhoff, Rosalie. editor.&#160;Moortgat, Michael. editor.&#160;de Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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&ndash;11, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:485282 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. editor.&#160;Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11&ndash;13, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485284 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Pa&#322;ka, Micha&#322;. editor.&#160;Myreen, Magnus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-18506-0">https://doi.org/10.1007/978-3-030-18506-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485288 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;McQuillan, Ian. editor.&#160;Seki, Shinnosuke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Ko&scaron;ice, Slovakia, July 17&ndash;19, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485306 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Hospod&aacute;r, Michal. editor.&#160;Jir&aacute;skov&aacute;, Galina. editor.&#160;Konstantinidis, Stavros. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 &ndash; October 2, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485409 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898&#160;Vo&szlig;, Stefan. editor. (orcid)0000-0003-1296-4221&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31140-7">https://doi.org/10.1007/978-3-030-31140-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Retrieval 25th China Conference, CCIR 2019, Fuzhou, China, September 20&ndash;22, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485355 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Zhang, Qi. editor.&#160;Liao, Xiangwen. editor.&#160;Ren, Zhaochun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31624-2">https://doi.org/10.1007/978-3-030-31624-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872&#160;Sampaio, Augusto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~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 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Silva, Josep. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485820 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Ganty, Pierre. editor. (orcid)0000-0002-3625-6003&#160;Ka&acirc;niche, Mohamed. editor. (orcid)0000-0002-2647-5472&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35092-5">https://doi.org/10.1007/978-3-030-35092-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computational Intelligence 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:485967 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Rojas, Ignacio. editor. (orcid)0000-0002-1033-5635&#160;Joya, Gonzalo. editor.&#160;Catala, Andreu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20518-8">https://doi.org/10.1007/978-3-030-20518-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486169 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Blackburn, Patrick. editor.&#160;Lorini, Emiliano. editor.&#160;Guo, Meiyun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics 8th International Conference, CAI 2019, Ni&scaron;, Serbia, June 30&ndash;July 4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486210 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;&#262;iri&#263;, Miroslav. editor. (orcid)0000-0001-8625-4682&#160;Droste, Manfred. editor. (orcid)0000-0001-9128-8844&#160;Pin, Jean-&Eacute;ric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2019: Theoretical Neural Computation 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17&ndash;19, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486229 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;Karpov, Pavel. editor. (orcid)0000-0003-4786-9806&#160;Theis, Fabian. editor. (orcid)0000-0002-2419-1943&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30487-4">https://doi.org/10.1007/978-3-030-30487-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486236 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22734-0">https://doi.org/10.1007/978-3-030-22734-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2019: Workshop and Special Sessions 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17&ndash;19, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486237 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;Karpov, Pavel. editor. (orcid)0000-0003-4786-9806&#160;Theis, Fabian. editor. (orcid)0000-0002-2419-1943&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30493-5">https://doi.org/10.1007/978-3-030-30493-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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&ndash;11, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486304 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Vojnar, Tom&aacute;&scaron;. editor. (orcid)0000-0002-2746-8792&#160;Zhang, Lijun. editor. (orcid)0000-0002-3692-2088&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24&ndash;26, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486305 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X&#160;Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486307 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699&#160;de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20&ndash;23, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486313 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Schoeberl, Martin. editor.&#160;Hochberger, Christian. editor.&#160;Uhrig, Sascha. editor.&#160;Brehm, J&uuml;rgen. editor.&#160;Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-18656-2">https://doi.org/10.1007/978-3-030-18656-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Lodi, Andrea. editor. (orcid)0000-0001-9269-633X&#160;Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing and Network Visualization 27th International Symposium, GD 2019, Prague, Czech Republic, September 17&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486350 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Archambault, Daniel. editor. (orcid)0000-0003-4978-8479&#160;T&oacute;th, Csaba D. editor. (orcid)0000-0002-8769-3190&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35802-0">https://doi.org/10.1007/978-3-030-35802-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486357 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Colbourn, Charles J. editor.&#160;Grossi, Roberto. editor.&#160;Pisanti, Nadia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-25005-8">https://doi.org/10.1007/978-3-030-25005-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Data Structures 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486488 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Friggstad, Zachary. editor.&#160;Sack, J&ouml;rg-R&uuml;diger. editor.&#160;Salavatipour, Mohammad R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24766-9">https://doi.org/10.1007/978-3-030-24766-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486507 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;G&#261;sieniec, Leszek Antoni. editor. (orcid)0000-0003-1809-9814&#160;Jansson, Jesper. editor. (orcid)0000-0001-6859-8932&#160;Levcopoulos, Christos. editor. (orcid)0000-0003-0983-7862&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-25027-0">https://doi.org/10.1007/978-3-030-25027-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects in Information and Management 13th International Conference, AAIM 2019, Beijing, China, August 6&ndash;8, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486528 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Du, Ding-Zhu. editor.&#160;Li, Lian. editor.&#160;Sun, Xiaoming. editor.&#160;Zhang, Jialin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-27195-4">https://doi.org/10.1007/978-3-030-27195-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1&ndash;4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486536 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Censor-Hillel, Keren. editor.&#160;Flammini, Michele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24922-9">https://doi.org/10.1007/978-3-030-24922-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486575 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Hinze, Thomas. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Zandron, Claudio. editor. (orcid)0000-0002-2163-7639&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12797-8">https://doi.org/10.1007/978-3-030-12797-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2019: Deep Learning 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17&ndash;19, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:486596 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;Karpov, Pavel. editor. (orcid)0000-0003-4786-9806&#160;Theis, Fabian. editor. (orcid)0000-0002-2419-1943&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30484-3">https://doi.org/10.1007/978-3-030-30484-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding the Brain Function and Emotions 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almer&iacute;a, Spain, June 3&ndash;7, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486602 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Ferr&aacute;ndez Vicente, Jos&eacute; Manuel. editor.&#160;&Aacute;lvarez-S&aacute;nchez, Jos&eacute; Ram&oacute;n. editor.&#160;de la Paz L&oacute;pez, F&eacute;lix. editor.&#160;Toledo Moreo, Javier. editor.&#160;Adeli, Hojjat. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19591-5">https://doi.org/10.1007/978-3-030-19591-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Blended Learning: Educational Innovation for Personalized Learning 12th International Conference, ICBL 2019, Hradec Kralove, Czech Republic, July 2&ndash;4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486613 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Cheung, Simon K. S. editor.&#160;Lee, Lap-Kei. editor.&#160;Simonova, Ivana. editor.&#160;Kozel, Tomas. editor.&#160;Kwok, Lam-For. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21562-0">https://doi.org/10.1007/978-3-030-21562-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11&ndash;13, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486680 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Rauchwerger, Lawrence. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35225-7">https://doi.org/10.1007/978-3-030-35225-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6&ndash;17, 2018, Selected Papers ent://SD_ILS/0/SD_ILS:486727 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Sikos, Jennifer. editor.&#160;Pacuit, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486943 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Klus&aacute;&#269;ek, Dalibor. editor.&#160;Cirne, Walfredo. editor.&#160;Desai, Narayan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-10632-4">https://doi.org/10.1007/978-3-030-10632-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:487064 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24289-3">https://doi.org/10.1007/978-3-030-24289-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:487065 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24311-1">https://doi.org/10.1007/978-3-030-24311-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398933 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Takahashi, Yutaka. editor.&#160;Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946&#160;Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361&#160;Yue, Wuyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93736-6">https://doi.org/10.1007/978-3-319-93736-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22&ndash;25, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:398934 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Kozubek, Tom&aacute;&scaron;. editor.&#160;&#268;erm&aacute;k, Martin. editor. (orcid)0000-0002-0171-625X&#160;Tich&yacute;, Petr. editor. (orcid)0000-0001-6008-4056&#160;Blaheta, Radim. editor.&#160;&Scaron;&iacute;stek, Jakub. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97136-0">https://doi.org/10.1007/978-3-319-97136-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11&ndash;13, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:398944 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Lee, Jon. editor.&#160;Rinaldi, Giovanni. editor.&#160;Mahjoub, A. Ridha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96151-4">https://doi.org/10.1007/978-3-319-96151-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398950 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Foret, Annie. editor.&#160;Kobele, Greg. editor.&#160;Pogodalla, Sylvain. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-57784-4">https://doi.org/10.1007/978-3-662-57784-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Retrieval 24th China Conference, CCIR 2018, Guilin, China, September 27&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399020 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Zhang, Shichao. editor.&#160;Liu, Tie-Yan. editor.&#160;Li, Xianxian. editor.&#160;Guo, Jiafeng. editor.&#160;Li, Chenliang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01012-6">https://doi.org/10.1007/978-3-030-01012-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399042 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Bender, Michael A. editor.&#160;Farach-Colton, Mart&iacute;n. editor. (orcid)0000-0003-3616-7788&#160;Mosteiro, Miguel A. editor. (orcid)0000-0001-5842-6256&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77404-6">https://doi.org/10.1007/978-3-319-77404-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 &ndash; August 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399051 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;C&acirc;mpeanu, Cezar. editor. (orcid)0000-0002-9777-3012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94812-6">https://doi.org/10.1007/978-3-319-94812-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399189 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713&#160;Ma, Kwan-Liu. editor. (orcid)0000-0001-8086-0366&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73915-1">https://doi.org/10.1007/978-3-319-73915-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 18th International Conference, CICLing 2017, Budapest, Hungary, April 17&ndash;23, 2017, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:399197 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gelbukh, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77113-7">https://doi.org/10.1007/978-3-319-77113-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399218 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Johnsen, Einar Broch. editor.&#160;Schaefer, Ina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399297 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Dorigo, Marco. editor. (orcid)0000-0002-3971-0507&#160;Birattari, Mauro. editor. (orcid)0000-0003-3309-2194&#160;Blum, Christian. editor. (orcid)0000-0002-1736-3559&#160;Christensen, Anders L. editor. (orcid)0000-0002-9994-2908&#160;Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00533-7">https://doi.org/10.1007/978-3-030-00533-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399365 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03418-4">https://doi.org/10.1007/978-3-030-03418-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399486 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Hoshi, Mizuho. editor.&#160;Seki, Shinnosuke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98654-8">https://doi.org/10.1007/978-3-319-98654-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399498 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Panda, B.S. editor.&#160;Goswami, Partha P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74180-2">https://doi.org/10.1007/978-3-319-74180-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399611 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829&#160;Gallagher, John P. editor. (orcid)0000-0001-6984-7419&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94460-9">https://doi.org/10.1007/978-3-319-94460-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399615 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Brandst&auml;dt, Andreas. editor.&#160;K&ouml;hler, Ekkehard. editor.&#160;Meer, Klaus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00256-5">https://doi.org/10.1007/978-3-030-00256-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13&ndash;16, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399887 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Cheng, Long. editor. (orcid)0000-0001-7565-8788&#160;Leung, Andrew Chi Sing. editor.&#160;Ozawa, Seiichi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04179-3">https://doi.org/10.1007/978-3-030-04179-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399891 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Cheng, Long. editor. (orcid)0000-0001-7565-8788&#160;Leung, Andrew Chi Sing. editor.&#160;Ozawa, Seiichi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04167-0">https://doi.org/10.1007/978-3-030-04167-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:399892 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Cheng, Long. editor. (orcid)0000-0001-7565-8788&#160;Leung, Andrew Chi Sing. editor.&#160;Ozawa, Seiichi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04212-7">https://doi.org/10.1007/978-3-030-04212-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399896 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Kim, Donghyun. editor.&#160;Uma, R. N. editor.&#160;Zelikovsky, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04651-4">https://doi.org/10.1007/978-3-030-04651-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399812 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Rusu, Vlad. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5&ndash;8, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399958 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Butler, Michael. editor.&#160;Raschke, Alexander. editor.&#160;Hoang, Thai Son. editor.&#160;Reichl, Klaus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91271-4">https://doi.org/10.1007/978-3-319-91271-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> String Processing and Information Retrieval 25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400051 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gagie, Travis. editor. (orcid)0000-0003-3689-327X&#160;Moffat, Alistair. editor. (orcid)0000-0002-6638-0232&#160;Navarro, Gonzalo. editor. (orcid)0000-0002-2286-741X&#160;Cuadros-Vargas, Ernesto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00479-8">https://doi.org/10.1007/978-3-030-00479-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400075 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481&#160;Bensalem, Saddek. editor.&#160;Bliudze, Simon. editor. (orcid)0000-0002-7900-5271&#160;Monsuez, Bruno. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13&ndash;16, 2018, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:400056 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Cheng, Long. editor. (orcid)0000-0001-7565-8788&#160;Leung, Andrew Chi Sing. editor.&#160;Ozawa, Seiichi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04224-0">https://doi.org/10.1007/978-3-030-04224-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400155 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16&ndash;19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400158 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Iliopoulos, Costas. editor.&#160;Leong, Hon Wai. editor.&#160;Sung, Wing-Kin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94667-2">https://doi.org/10.1007/978-3-319-94667-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13&ndash;16, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:400297 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Cheng, Long. editor. (orcid)0000-0001-7565-8788&#160;Leung, Andrew Chi Sing. editor.&#160;Ozawa, Seiichi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04182-3">https://doi.org/10.1007/978-3-030-04182-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400302 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05051-1">https://doi.org/10.1007/978-3-030-05051-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400303 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05054-2">https://doi.org/10.1007/978-3-030-05054-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 &ndash; December 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400307 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Zhang, Feng. editor. (orcid)0000-0003-1983-7321&#160;Zhai, Jidong. editor.&#160;Snir, Marc. editor.&#160;Jin, Hai. editor.&#160;Kasahara, Hironori. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05677-3">https://doi.org/10.1007/978-3-030-05677-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation and Online Algorithms 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400335 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Epstein, Leah. editor.&#160;Erlebach, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04693-4">https://doi.org/10.1007/978-3-030-04693-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400340 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Durand-Lose, J&eacute;r&ocirc;me. editor. (orcid)0000-0001-6506-074X&#160;Verlan, Sergey. editor. (orcid)0000-0001-7800-1618&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92402-1">https://doi.org/10.1007/978-3-319-92402-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400343 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;McIver, Annabelle. editor. (orcid)0000-0002-2405-9838&#160;Horvath, Andras. editor. (orcid)0000-0002-8210-545X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99154-2">https://doi.org/10.1007/978-3-319-99154-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing &ndash; ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16&ndash;19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400253 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Fischer, Bernd. editor. (orcid)0000-0002-1815-218X&#160;Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02508-3">https://doi.org/10.1007/978-3-030-02508-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400563 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2&ndash;5, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:400571 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95171-3">https://doi.org/10.1007/978-3-319-95171-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400605 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14&ndash;20, 2018. Proceedings ent://SD_ILS/0/SD_ILS:400607 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Baier, Christel. editor. (orcid)0000-0002-5321-9343&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401195 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Fomin, Fedor V. editor.&#160;Podolskii, Vladimir V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90530-3">https://doi.org/10.1007/978-3-319-90530-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401731 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Yokota, Rio. editor. (orcid)0000-0001-7573-7873&#160;Weiland, Mich&egrave;le. editor. (orcid)0000-0003-4713-3073&#160;Keyes, David. editor.&#160;Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92040-5">https://doi.org/10.1007/978-3-319-92040-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401639 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Yokota, Rio. editor. (orcid)0000-0001-7573-7873&#160;Wu, Weigang. editor. (orcid)0000-0002-4714-7021&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69953-0">https://doi.org/10.1007/978-3-319-69953-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 17th International Conference, CICLing 2016, Konya, Turkey, April 3&ndash;9, 2016, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:401642 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gelbukh, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75487-1">https://doi.org/10.1007/978-3-319-75487-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401654 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Payer, Mathias. editor.&#160;Rashid, Awais. editor.&#160;Such, Jose M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94496-8">https://doi.org/10.1007/978-3-319-94496-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Evolution 13th International Conference, &Eacute;volution Artificielle, EA 2017, Paris, France, October 25&ndash;27, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401974 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Lutton, Evelyne. editor.&#160;Legrand, Pierrick. editor.&#160;Parrend, Pierre. editor.&#160;Monmarch&eacute;, Nicolas. editor.&#160;Schoenauer, Marc. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78133-4">https://doi.org/10.1007/978-3-319-78133-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence in Music, Sound, Art and Design 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401975 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Liapis, Antonios. editor.&#160;Romero Cardalda, Juan Jes&uacute;s. editor.&#160;Ek&aacute;rt, Anik&oacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77583-8">https://doi.org/10.1007/978-3-319-77583-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401984 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Klus&aacute;&#269;ek, Dalibor. editor.&#160;Cirne, Walfredo. editor.&#160;Desai, Narayan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77398-8">https://doi.org/10.1007/978-3-319-77398-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2018 18th International Conference, Wuxi, China, June 11&ndash;13, 2018 Proceedings, Part III ent://SD_ILS/0/SD_ILS:401990 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Shi, Yong. editor.&#160;Fu, Haohuan. editor.&#160;Tian, Yingjie. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Lees, Michael Harold. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93713-7">https://doi.org/10.1007/978-3-319-93713-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401949 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74313-4">https://doi.org/10.1007/978-3-319-74313-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:401958 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74718-7">https://doi.org/10.1007/978-3-319-74718-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25&ndash;26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401586 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Lambers, Leen. editor. (orcid)0000-0001-6937-5167&#160;Weber, Jens. editor. (orcid)0000-0003-4591-6728&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92991-0">https://doi.org/10.1007/978-3-319-92991-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects of Cloud Computing Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401678 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Alistarh, Dan. editor.&#160;Delis, Alex. editor.&#160;Pallis, George. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74875-7">https://doi.org/10.1007/978-3-319-74875-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399045 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145&#160;Dagien&#279;, Valentina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02750-6">https://doi.org/10.1007/978-3-030-02750-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Blended Learning. Enhancing Learning Success 11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399093 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Cheung, Simon K.S. editor.&#160;Kwok, Lam-for. editor.&#160;Kubota, Kenichi. editor.&#160;Lee, Lap-Kei. editor.&#160;Tokito, Jumpei. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94505-7">https://doi.org/10.1007/978-3-319-94505-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Data and Social Networks 7th International Conference, CSoNet 2018, Shanghai, China, December 18&ndash;20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399097 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Chen, Xuemin. editor. (orcid)0000-0003-3820-9195&#160;Sen, Arunabha. editor.&#160;Li, Wei Wayne. editor.&#160;Thai, My T. editor. (orcid)0000-0003-0503-2012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04648-4">https://doi.org/10.1007/978-3-030-04648-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14&ndash;15, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399102 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;C&icirc;rstea, Corina. editor. (orcid)0000-0003-3165-5678&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00389-0">https://doi.org/10.1007/978-3-030-00389-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399146 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Yokota, Rio. editor. (orcid)0000-0001-7573-7873&#160;Weiland, Mich&egrave;le. editor. (orcid)0000-0003-4713-3073&#160;Shalf, John. editor.&#160;Alam, Sadaf. editor. (orcid)0000-0002-2534-5078&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02465-9">https://doi.org/10.1007/978-3-030-02465-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:399366 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03427-6">https://doi.org/10.1007/978-3-030-03427-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399354 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Lotker, Zvi. editor.&#160;Patt-Shamir, Boaz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01325-7">https://doi.org/10.1007/978-3-030-01325-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399397 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 &ndash; August 3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399408 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Manea, Florin. editor.&#160;Miller, Russell G. editor.&#160;Nowotka, Dirk. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94418-0">https://doi.org/10.1007/978-3-319-94418-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399410 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03421-4">https://doi.org/10.1007/978-3-030-03421-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:399569 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Dongarra, Jack. editor. (orcid)0000-0003-3247-1782&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Karczewski, Konrad. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78054-2">https://doi.org/10.1007/978-3-319-78054-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399515 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Jansen, David N. editor. (orcid)0000-0002-6636-3301&#160;Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3&ndash;4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399667 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Tang, Shaojie. editor.&#160;Du, Ding-Zhu. editor.&#160;Woodruff, David. editor.&#160;Butenko, Sergiy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04618-7">https://doi.org/10.1007/978-3-030-04618-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399721 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Potapov, Igor. editor.&#160;Reynier, Pierre-Alain. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00250-3">https://doi.org/10.1007/978-3-030-00250-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399729 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829&#160;Padovani, Luca. editor. (orcid)0000-0001-9097-1297&#160;Torquati, Massimo. editor. (orcid)0000-0001-6323-3459&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96983-1">https://doi.org/10.1007/978-3-319-96983-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday ent://SD_ILS/0/SD_ILS:399861 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Jones, Cliff. editor.&#160;Wang, Ji. editor.&#160;Zhan, Naijun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01461-2">https://doi.org/10.1007/978-3-030-01461-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13&ndash;16, 2018, Proceedings, Part VII ent://SD_ILS/0/SD_ILS:399893 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Cheng, Long. editor. (orcid)0000-0001-7565-8788&#160;Leung, Andrew Chi Sing. editor.&#160;Ozawa, Seiichi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04239-4">https://doi.org/10.1007/978-3-030-04239-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing 7th International Conference, TPNC 2018, Dublin, Ireland, December 12&ndash;14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399894 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Fagan, David. editor. (orcid)0000-0002-5982-8983&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;O'Neill, Michael. editor. (orcid)0000-0001-8734-417X&#160;Vega-Rodr&iacute;guez, Miguel A. editor. (orcid)0000-0002-3003-758X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04070-3">https://doi.org/10.1007/978-3-030-04070-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1&ndash;3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399944 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Cerulli, Raffaele. editor. (orcid)0000-0002-3277-6802&#160;Raiconi, Andrea. editor. (orcid)0000-0002-7188-8794&#160;Vo&szlig;, Stefan. editor. (orcid)0000-0003-1296-4221&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00898-7">https://doi.org/10.1007/978-3-030-00898-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8&ndash;11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399949 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Artemov, Sergei. editor.&#160;Nerode, Anil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-72056-2">https://doi.org/10.1007/978-3-319-72056-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399967 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05057-3">https://doi.org/10.1007/978-3-030-05057-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13&ndash;16, 2018, Proceedings, Part V ent://SD_ILS/0/SD_ILS:399976 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Cheng, Long. editor. (orcid)0000-0001-7565-8788&#160;Leung, Andrew Chi Sing. editor.&#160;Ozawa, Seiichi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04221-9">https://doi.org/10.1007/978-3-030-04221-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399984 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Seiler, Werner M. editor. (orcid)0000-0002-0565-1334&#160;Vorozhtsov, Evgenii V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99639-4">https://doi.org/10.1007/978-3-319-99639-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400039 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95162-1">https://doi.org/10.1007/978-3-319-95162-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400040 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95165-2">https://doi.org/10.1007/978-3-319-95165-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature &ndash; PPSN XV 15th International Conference, Coimbra, Portugal, September 8&ndash;12, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400042 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Auger, Anne. editor.&#160;Fonseca, Carlos M. editor.&#160;Louren&ccedil;o, Nuno. editor. (orcid)0000-0002-2154-0642&#160;Machado, Penousal. editor.&#160;Paquete, Lu&iacute;s. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99259-4">https://doi.org/10.1007/978-3-319-99259-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400083 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329&#160;Hammer, Barbara. editor.&#160;Iliadis, Lazaros. editor.&#160;Maglogiannis, Ilias. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01418-6">https://doi.org/10.1007/978-3-030-01418-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2018 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400100 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Huang, Tingwen. editor. (orcid)0000-0001-9610-846X&#160;Lv, Jiancheng. editor.&#160;Sun, Changyin. editor.&#160;Tuzikov, Alexander V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92537-0">https://doi.org/10.1007/978-3-319-92537-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400118 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73441-5">https://doi.org/10.1007/978-3-319-73441-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400129 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Russo, Alessandra. editor. (orcid)0000-0002-3318-8711&#160;Sch&uuml;rr, Andy. editor. (orcid)0000-0001-8100-1109&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89363-1">https://doi.org/10.1007/978-3-319-89363-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature &ndash; PPSN XV 15th International Conference, Coimbra, Portugal, September 8&ndash;12, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400132 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Auger, Anne. editor.&#160;Fonseca, Carlos M. editor.&#160;Louren&ccedil;o, Nuno. editor. (orcid)0000-0002-2154-0642&#160;Machado, Penousal. editor.&#160;Paquete, Lu&iacute;s. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99253-2">https://doi.org/10.1007/978-3-319-99253-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing and Network Visualization 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400136 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Biedl, Therese. editor. (orcid)0000-0002-9003-3783&#160;Kerren, Andreas. editor. (orcid)0000-0002-0519-2537&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04414-5">https://doi.org/10.1007/978-3-030-04414-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software &ndash; ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400160 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Davenport, James H. editor. (orcid)0000-0002-3982-7545&#160;Kauers, Manuel. editor.&#160;Labahn, George. editor.&#160;Urban, Josef. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96418-8">https://doi.org/10.1007/978-3-319-96418-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovi&#269; on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:400163 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;B&ouml;ckenhauer, Hans-Joachim. editor.&#160;Komm, Dennis. editor.&#160;Unger, Walter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98355-4">https://doi.org/10.1007/978-3-319-98355-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400172 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Mauri, Giancarlo. editor. (orcid)0000-0003-3520-4022&#160;El Yacoubi, Samira. editor. (orcid)0000-0002-8017-5286&#160;Dennunzio, Alberto. editor. (orcid)0000-0003-1420-404X&#160;Nishinari, Katsuhiro. editor.&#160;Manzoni, Luca. editor. (orcid)0000-0001-6312-7728<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99813-8">https://doi.org/10.1007/978-3-319-99813-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:400175 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05063-4">https://doi.org/10.1007/978-3-030-05063-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Arithmetic of Finite Fields 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400306 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Budaghyan, Lilya. editor.&#160;Rodr&iacute;guez-Henr&iacute;quez, Francisco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05153-2">https://doi.org/10.1007/978-3-030-05153-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:400514 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329&#160;Hammer, Barbara. editor.&#160;Iliadis, Lazaros. editor.&#160;Maglogiannis, Ilias. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01424-7">https://doi.org/10.1007/978-3-030-01424-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400521 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Voros, Nikolaos. editor.&#160;Huebner, Michael. editor.&#160;Keramidas, Georgios. editor.&#160;Goehringer, Diana. editor.&#160;Antonopoulos, Christos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78890-6">https://doi.org/10.1007/978-3-319-78890-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400528 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Dillig, Isil. editor.&#160;Palsberg, Jens. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73721-8">https://doi.org/10.1007/978-3-319-73721-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 18th International Conference, CICLing 2017, Budapest, Hungary, April 17&ndash;23, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:400532 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gelbukh, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77116-8">https://doi.org/10.1007/978-3-319-77116-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400541 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329&#160;Hammer, Barbara. editor.&#160;Iliadis, Lazaros. editor.&#160;Maglogiannis, Ilias. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01421-6">https://doi.org/10.1007/978-3-030-01421-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enjoying Natural Computing Essays Dedicated to Mario de Jes&uacute;s P&eacute;rez-Jim&eacute;nez on the Occasion of His 70th Birthday ent://SD_ILS/0/SD_ILS:400546 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Graciani, Carmen. editor.&#160;Riscos-N&uacute;&ntilde;ez, Agust&iacute;n. editor.&#160;P&#259;un, Gheorghe. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00265-7">https://doi.org/10.1007/978-3-030-00265-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Challenges and Opportunities in the Digital Era 17th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2018, Kuwait City, Kuwait, October 30 &ndash; November 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400551 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Al-Sharhan, Salah A. editor.&#160;Simintiras, Antonis C. editor.&#160;Dwivedi, Yogesh K. editor.&#160;Janssen, Marijn. editor.&#160;M&auml;ntym&auml;ki, Matti. editor. (orcid)0000-0002-1981-566X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02131-3">https://doi.org/10.1007/978-3-030-02131-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400556 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Hu, Ting. editor.&#160;Wang, Feng. editor.&#160;Li, Hongwei. editor.&#160;Wang, Qian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05234-8">https://doi.org/10.1007/978-3-030-05234-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400681 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Foret, Annie. editor.&#160;Muskens, Reinhard. editor.&#160;Pogodalla, Sylvain. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-56343-4">https://doi.org/10.1007/978-3-662-56343-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400641 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400644 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Ahmed, Amal. editor. (orcid)0000-0001-7424-572X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400703 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Brankovic, Ljiljana. editor. (orcid)0000-0002-5056-4627&#160;Ryan, Joe. editor. (orcid)0000-0002-7781-0306&#160;Smyth, William F. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78825-8">https://doi.org/10.1007/978-3-319-78825-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation and Online Algorithms 15th International Workshop, WAOA 2017, Vienna, Austria, September 7&ndash;8, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400704 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Solis-Oba, Roberto. editor. (orcid)0000-0002-7518-4161&#160;Fleischer, Rudolf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89441-6">https://doi.org/10.1007/978-3-319-89441-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400711 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Tjoa, A Min. editor. (orcid)0000-0002-8295-9252&#160;Bellatreche, Ladjel. editor.&#160;Biffl, Stefan. editor.&#160;van Leeuwen, Jan. editor.&#160;Wiedermann, Ji&#345;&iacute;. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73117-9">https://doi.org/10.1007/978-3-319-73117-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400714 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Wang, Meng. editor.&#160;Owens, Scott. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89719-6">https://doi.org/10.1007/978-3-319-89719-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400716 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Tian, Cong. editor.&#160;Nagoya, Fumiko. editor.&#160;Liu, Shaoying. editor.&#160;Duan, Zhenhua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90104-6">https://doi.org/10.1007/978-3-319-90104-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2018 31st International Conference, Braunschweig, Germany, April 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400833 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Berekovic, Mladen. editor.&#160;Buchty, Rainer. editor.&#160;Hamann, Heiko. editor.&#160;Koch, Dirk. editor.&#160;Pionteck, Thilo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77610-1">https://doi.org/10.1007/978-3-319-77610-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9&ndash;11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401110 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gallagher, John P. editor. (orcid)0000-0001-6984-7419&#160;Sulzmann, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90686-7">https://doi.org/10.1007/978-3-319-90686-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2&ndash;5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401236 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Deville, Yannick. editor. (orcid)0000-0002-8769-2446&#160;Gannot, Sharon. editor. (orcid)0000-0002-2885-170X&#160;Mason, Russell. editor. (orcid)0000-0002-6030-9603&#160;Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075&#160;Ward, Dominic. editor. (orcid)0000-0002-7819-0145<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93764-9">https://doi.org/10.1007/978-3-319-93764-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401274 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Khomenko, Victor. editor.&#160;Roux, Olivier H. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91268-4">https://doi.org/10.1007/978-3-319-91268-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Models for the Web Graph 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401313 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Bonato, Anthony. editor.&#160;Pra&#322;at, Pawe&#322;. editor.&#160;Raigorodskii, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92871-5">https://doi.org/10.1007/978-3-319-92871-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:401495 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Shi, Yong. editor.&#160;Fu, Haohuan. editor.&#160;Tian, Yingjie. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Lees, Michael Harold. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93701-4">https://doi.org/10.1007/978-3-319-93701-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401534 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Baetens, Jan M. editor.&#160;Kutrib, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92675-9">https://doi.org/10.1007/978-3-319-92675-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401744 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Liefooghe, Arnaud. editor. (orcid)0000-0003-3283-3122&#160;L&oacute;pez-Ib&aacute;&ntilde;ez, Manuel. editor. (orcid)0000-0001-9974-1295&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77449-7">https://doi.org/10.1007/978-3-319-77449-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401745 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Castelli, Mauro. editor.&#160;Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011&#160;Zhang, Mengjie. editor.&#160;Cagnoni, Stefano. editor.&#160;Garc&iacute;a-S&aacute;nchez, Pablo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77553-1">https://doi.org/10.1007/978-3-319-77553-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:401746 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Dongarra, Jack. editor. (orcid)0000-0003-3247-1782&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Karczewski, Konrad. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78024-5">https://doi.org/10.1007/978-3-319-78024-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401755 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Moss, Lawrence S. editor.&#160;de Queiroz, Ruy. editor.&#160;Martinez, Maricarmen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-57669-4">https://doi.org/10.1007/978-3-662-57669-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 17th International Conference, CICLing 2016, Konya, Turkey, April 3&ndash;9, 2016, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:401964 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gelbukh, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75477-2">https://doi.org/10.1007/978-3-319-75477-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399871 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Doty, David. editor. (orcid)0000-0002-3922-172X&#160;Dietz, Hendrik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00030-1">https://doi.org/10.1007/978-3-030-00030-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 &ndash; November 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400552 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Desharnais, Jules. editor. (orcid)0000-0002-4780-2698&#160;Guttmann, Walter. editor. (orcid)0000-0003-2969-1688&#160;Joosten, Stef. editor. (orcid)0000-0001-8308-0189&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4&ndash;7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400553 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Izumi, Taisuke. editor.&#160;Kuznetsov, Petr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03232-6">https://doi.org/10.1007/978-3-030-03232-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401077 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Koro&scaron;ec, Peter. editor.&#160;Melab, Nouredine. editor.&#160;Talbi, El-Ghazali. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91641-5">https://doi.org/10.1007/978-3-319-91641-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:401105 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74727-9">https://doi.org/10.1007/978-3-319-74727-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:401585 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Tang, Qirong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93818-9">https://doi.org/10.1007/978-3-319-93818-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401670 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Heras, Dora B. editor.&#160;Boug&eacute;, Luc. editor.&#160;Mencagli, Gabriele. editor.&#160;Jeannot, Emmanuel. editor.&#160;Sakellariou, Rizos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75178-8">https://doi.org/10.1007/978-3-319-75178-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401466 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;van Hoeve, Willem-Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93031-2">https://doi.org/10.1007/978-3-319-93031-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401564 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gallardo, Mar&iacute;a del Mar. editor.&#160;Merino, Pedro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401714 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Beyersdorff, Olaf. editor.&#160;Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401459 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Shapira, Dana. editor. (orcid)0000-0002-2320-9064&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77313-1">https://doi.org/10.1007/978-3-319-77313-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2018 18th International Conference, Wuxi, China, June 11&ndash;13, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:401521 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Shi, Yong. editor.&#160;Fu, Haohuan. editor.&#160;Tian, Yingjie. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Lees, Michael Harold. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93698-7">https://doi.org/10.1007/978-3-319-93698-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Algorithms, Systems, and Applications 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401531 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Chellappan, Sriram. editor.&#160;Cheng, Wei. editor.&#160;Li, Wei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94268-1">https://doi.org/10.1007/978-3-319-94268-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:401537 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Tang, Qirong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93815-8">https://doi.org/10.1007/978-3-319-93815-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401827 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Chen, Jianer. editor.&#160;Lu, Pinyan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78455-7">https://doi.org/10.1007/978-3-319-78455-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401979 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Sim, Kevin. editor. (orcid)0000-0001-6555-7721&#160;Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77538-8">https://doi.org/10.1007/978-3-319-77538-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402006 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Wang, Lusheng. editor.&#160;Zhu, Daming. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94776-1">https://doi.org/10.1007/978-3-319-94776-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402084 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gheorghe, Marian. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Zandron, Claudio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73359-3">https://doi.org/10.1007/978-3-319-73359-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402196 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Stepney, Susan. editor. (orcid)0000-0003-3146-5401&#160;Verlan, Sergey. editor. (orcid)0000-0001-7800-1618&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92435-9">https://doi.org/10.1007/978-3-319-92435-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig ent://SD_ILS/0/SD_ILS:402223 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Heckel, Reiko. editor.&#160;Taentzer, Gabriele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75396-6">https://doi.org/10.1007/978-3-319-75396-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402225 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478&#160;Sung, Wing-Kin. editor.&#160;Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75172-6">https://doi.org/10.1007/978-3-319-75172-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:402313 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Jarvis, Stephen. editor.&#160;Wright, Steven. editor.&#160;Hammond, Simon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-72971-8">https://doi.org/10.1007/978-3-319-72971-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings ent://SD_ILS/0/SD_ILS:402321 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017&#160;Benevides, M&aacute;rio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73579-5">https://doi.org/10.1007/978-3-319-73579-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402375 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Avigad, Jeremy. editor.&#160;Mahboubi, Assia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94821-8">https://doi.org/10.1007/978-3-319-94821-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2&ndash;5, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:402376 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95168-3">https://doi.org/10.1007/978-3-319-95168-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V ent://SD_ILS/0/SD_ILS:402377 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95174-4">https://doi.org/10.1007/978-3-319-95174-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25&ndash;27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402724 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Konstantinidis, Stavros. editor.&#160;Pighizzini, Giovanni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94631-3">https://doi.org/10.1007/978-3-319-94631-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> String Processing and Information Retrieval 22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518751 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Iliopoulos, Costas. editor.&#160;Puglisi, Simon. editor.&#160;Yilmaz, Emine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518751.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23826-5">https://doi.org/10.1007/978-3-319-23826-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:518766 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Dayd&eacute;, Michel. editor.&#160;Marques, Osni. editor.&#160;Nakajima, Kengo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518766.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-17353-5">https://doi.org/10.1007/978-3-319-17353-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings ent://SD_ILS/0/SD_ILS:518769 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Maletti, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518769.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23021-4">https://doi.org/10.1007/978-3-319-23021-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:518775 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Proietti, Maurizio. editor.&#160;Seki, Hirohisa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518775.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-17822-6">https://doi.org/10.1007/978-3-319-17822-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings ent://SD_ILS/0/SD_ILS:518778 2024-12-13T02:17:36Z 2024-12-13T02:17:36Z Author&#160;Phillips, Andrew. editor.&#160;Yin, Peng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518778.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21999-8">https://doi.org/10.1007/978-3-319-21999-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>