Search Results for Science: general issues. - Narrowed by: Computer software. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$00253A$002bgeneral$002bissues.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026ps$003d300? 2024-10-30T05:36:55Z 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399042 2024-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399297 2024-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399486 2024-10-30T05:36:55Z 2024-10-30T05:36:55Z 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401564 2024-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402084 2024-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401827 2024-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> Applications of Evolutionary Computation 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401979 2024-10-30T05:36:55Z 2024-10-30T05:36:55Z 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/> Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig ent://SD_ILS/0/SD_ILS:402223 2024-10-30T05:36:55Z 2024-10-30T05:36:55Z 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-10-30T05:36:55Z 2024-10-30T05:36:55Z 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/>