Search Results for COMPUTER SCIENCE -- General. - Narrowed by: 2017
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCOMPUTER$002bSCIENCE$002b--$002bGeneral.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092017$0025092017$0026ic$003dtrue$0026ps$003d300?
2026-05-12T13:49:07Z
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:610911
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:611054
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68612-7">https://doi.org/10.1007/978-3-319-68612-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611599
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66107-0">https://doi.org/10.1007/978-3-319-66107-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611610
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Salvagnin, Domenico. editor. Lombardi, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59776-8">https://doi.org/10.1007/978-3-319-59776-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Participation 9th IFIP WG 8.5 International Conference, ePart 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611810
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Parycek, Peter. editor. (orcid)0000-0003-3242-0475 Charalabidis, Yannis. editor. Chugunov, Andrei V. editor. Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842 Pardo, Theresa A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64322-9">https://doi.org/10.1007/978-3-319-64322-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611952
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68600-4">https://doi.org/10.1007/978-3-319-68600-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611953
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Spirakis, Paul. editor. Tsigas, Philippas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69084-1">https://doi.org/10.1007/978-3-319-69084-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613073
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613295
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Shi, Xuanhua. editor. (orcid)0000-0001-8451-8656 An, Hong. editor. Wang, Chao. editor. Kandemir, Mahmut. editor. Jin, Hai. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68210-5">https://doi.org/10.1007/978-3-319-68210-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613299
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Kvasov, Dmitri E. editor. Sergeyev, Yaroslav D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69404-7">https://doi.org/10.1007/978-3-319-69404-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:613301
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70090-8">https://doi.org/10.1007/978-3-319-70090-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613302
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70096-0">https://doi.org/10.1007/978-3-319-70096-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:613303
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70093-9">https://doi.org/10.1007/978-3-319-70093-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analytical and Computational Methods in Probability Theory First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613346
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Rykov, Vladimir V. editor. Singpurwalla, Nozer D. editor. Zubkov, Andrey M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71504-9">https://doi.org/10.1007/978-3-319-71504-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Collaboration Technologies and Social Computing 9th International Conference, CollabTech 2017, Saskatoon, SK, Canada, August 8-10, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613724
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Yoshino, Takashi. editor. Yuizono, Takaya. editor. Zurita, Gustavo. editor. (orcid)0000-0003-0757-1247 Vassileva, Julita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63088-5">https://doi.org/10.1007/978-3-319-63088-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2016: Parallel Processing Workshops Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613725
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Desprez, Frédéric. editor. Dutot, Pierre-François. editor. Kaklamanis, Christos. editor. Marchal, Loris. editor. Molitorisz, Korbinian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58943-5">https://doi.org/10.1007/978-3-319-58943-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613733
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Di Napoli, Edoardo. editor. Hermanns, Marc-André. editor. Iliev, Hristo. editor. Lintermann, Andreas. editor. Peyser, Alexander. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53862-4">https://doi.org/10.1007/978-3-319-53862-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision Systems 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613740
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Liu, Ming. editor. Chen, Haoyao. editor. Vincze, Markus. editor. (orcid)0000-0002-2799-491X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68345-4">https://doi.org/10.1007/978-3-319-68345-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613742
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68953-1">https://doi.org/10.1007/978-3-319-68953-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:613748
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70136-3">https://doi.org/10.1007/978-3-319-70136-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Queueing Theory and Network Applications 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613752
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Yue, Wuyi. editor. Li, Quan-Lin. editor. Jin, Shunfu. editor. (orcid)0000-0002-5845-5601 Ma, Zhanyou. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68520-5">https://doi.org/10.1007/978-3-319-68520-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613759
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72453-9">https://doi.org/10.1007/978-3-319-72453-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613760
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71649-7">https://doi.org/10.1007/978-3-319-71649-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integer Programming and Combinatorial Optimization 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616785
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Eisenbrand, Friedrich. editor. Koenemann, Jochen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59250-3">https://doi.org/10.1007/978-3-319-59250-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Data Structures 15th International Symposium, WADS 2017, St. John's, NL, Canada, July 31 - August 2, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611140
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Ellen, Faith. editor. Kolokolova, Antonina. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62127-2">https://doi.org/10.1007/978-3-319-62127-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structural Information and Communication Complexity 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611156
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Das, Shantanu. editor. Tixeuil, Sebastien. editor. (orcid)0000-0002-0948-7172 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72050-0">https://doi.org/10.1007/978-3-319-72050-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Retrieval 23rd China conference, CCIR 2017, Shanghai, China, July 13-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612045
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Wen, Jirong. editor. Nie, Jianyun. editor. Ruan, Tong. editor. Liu, Yiqun. editor. Qian, Tieyun. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68699-8">https://doi.org/10.1007/978-3-319-68699-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612047
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70087-8">https://doi.org/10.1007/978-3-319-70087-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612054
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Gao, Xiaofeng. editor. Du, Hongwei. editor. Han, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71150-8">https://doi.org/10.1007/978-3-319-71150-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612242
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67630-2">https://doi.org/10.1007/978-3-319-67630-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612253
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72044-9">https://doi.org/10.1007/978-3-319-72044-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:612357
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70139-4">https://doi.org/10.1007/978-3-319-70139-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612404
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52228-9">https://doi.org/10.1007/978-3-319-52228-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612618
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612796
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52234-0">https://doi.org/10.1007/978-3-319-52234-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Models for the Web Graph 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15-16, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612826
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Bonato, Anthony. editor. Chung Graham, Fan. editor. Prałat, Paweł. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67810-8">https://doi.org/10.1007/978-3-319-67810-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:612860
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Gao, Xiaofeng. editor. Du, Hongwei. editor. Han, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71147-8">https://doi.org/10.1007/978-3-319-71147-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613501
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Rivera, Francisco F. editor. Pena, Tomás F. editor. Cabaleiro, José C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64203-1">https://doi.org/10.1007/978-3-319-64203-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613619
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54292-8">https://doi.org/10.1007/978-3-319-54292-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logistics 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613536
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Bektaş, Tolga. editor. Coniglio, Stefano. editor. Martinez-Sykora, Antonio. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68496-3">https://doi.org/10.1007/978-3-319-68496-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616114
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Ibrahim, Shadi. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Yan, Zheng. editor. Pedrycz, Witold. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65482-9">https://doi.org/10.1007/978-3-319-65482-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616137
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66799-7">https://doi.org/10.1007/978-3-319-66799-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616143
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57418-9">https://doi.org/10.1007/978-3-319-57418-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616183
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63501-9">https://doi.org/10.1007/978-3-319-63501-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616187
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Leporati, Alberto. editor. (orcid)0000-0002-8105-4371 Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54072-6">https://doi.org/10.1007/978-3-319-54072-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616191
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Cao, Yixin. editor. Chen, Jianer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62389-4">https://doi.org/10.1007/978-3-319-62389-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616154
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58631-1">https://doi.org/10.1007/978-3-319-58631-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Blended Learning. New Challenges and Innovative Practices 10th International Conference, ICBL 2017, Hong Kong, China, June 27-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616158
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Cheung, Simon K.S. editor. Kwok, Lam-for. editor. Ma, Will W.K. editor. Lee, Lap-Kei. editor. Yang, Harrison. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59360-9">https://doi.org/10.1007/978-3-319-59360-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616215
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67089-8">https://doi.org/10.1007/978-3-319-67089-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616217
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54069-5">https://doi.org/10.1007/978-3-662-54069-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Discrete Applied Mathematics Third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616227
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Gaur, Daya. editor. Narayanaswamy, N.S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53007-9">https://doi.org/10.1007/978-3-319-53007-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616234
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63139-4">https://doi.org/10.1007/978-3-319-63139-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, and Computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616241
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Hansen, Helle Hvid. editor. Murray, Sarah E. editor. Sadrzadeh, Mehrnoosh. editor. Zeevat, Henk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54332-0">https://doi.org/10.1007/978-3-662-54332-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Computation in Combinatorial Optimization 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616176
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Hu, Bin. editor. López-Ibáñez, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55453-2">https://doi.org/10.1007/978-3-319-55453-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approximation and Online Algorithms 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616178
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Jansen, Klaus. editor. Mastrolilli, Monaldo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51741-4">https://doi.org/10.1007/978-3-319-51741-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616448
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61982-8">https://doi.org/10.1007/978-3-319-61982-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616611
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65765-3">https://doi.org/10.1007/978-3-319-65765-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616686
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Wong, Stephan. editor. Beck, Antonio Carlos. editor. Bertels, Koen. editor. Carro, Luigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56258-2">https://doi.org/10.1007/978-3-319-56258-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616714
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616750
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617240
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55751-8">https://doi.org/10.1007/978-3-662-55751-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:617433
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59153-7">https://doi.org/10.1007/978-3-319-59153-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617812
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Nations - Smart Cities, Innovation, and Sustainability 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618058
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Kar, Arpan Kumar. editor. Ilavarasan, P. Vigneswara. editor. Gupta, M.P. editor. Dwivedi, Yogesh K. editor. Mäntymäki, Matti. editor. (orcid)0000-0002-1981-566X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68557-1">https://doi.org/10.1007/978-3-319-68557-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618059
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Shi, Yuhui. editor. Tan, Kay Chen. editor. Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538 Tang, Ke. editor. Li, Xiaodong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68759-9">https://doi.org/10.1007/978-3-319-68759-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:618118
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Cong, Fengyu. editor. Leung, Andrew. editor. (orcid)0000-0003-0962-6723 Wei, Qinglai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59072-1">https://doi.org/10.1007/978-3-319-59072-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618149
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Patitz, Matthew J. editor. Stannett, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58187-3">https://doi.org/10.1007/978-3-319-58187-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618150
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62809-7">https://doi.org/10.1007/978-3-319-62809-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Complexity 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618241
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Fotakis, Dimitris. editor. Pagourtzis, Aris. editor. Paschos, Vangelis Th. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57586-5">https://doi.org/10.1007/978-3-319-57586-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Algorithms, Systems, and Applications 12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611015
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Ma, Liran. editor. Khreishah, Abdallah. editor. Zhang, Yan. editor. Yan, Mingyuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60033-8">https://doi.org/10.1007/978-3-319-60033-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Aspects of Cloud Computing Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611025
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Sellis, Timos. editor. Oikonomou, Konstantinos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57045-7">https://doi.org/10.1007/978-3-319-57045-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611236
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66320-3">https://doi.org/10.1007/978-3-319-66320-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613240
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67729-3">https://doi.org/10.1007/978-3-319-67729-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613241
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Floater, Michael. editor. Lyche, Tom. editor. Mazure, Marie-Laurence. editor. Mørken, Knut. editor. Schumaker, Larry L. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67885-6">https://doi.org/10.1007/978-3-319-67885-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613265
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61833-3">https://doi.org/10.1007/978-3-319-61833-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613266
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Kunkel, Julian M. editor. Yokota, Rio. editor. Balaji, Pavan. editor. Keyes, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58667-0">https://doi.org/10.1007/978-3-319-58667-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:613270
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62392-4">https://doi.org/10.1007/978-3-319-62392-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:615930
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54577-5">https://doi.org/10.1007/978-3-662-54577-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615937
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60252-3">https://doi.org/10.1007/978-3-319-60252-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615938
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61756-5">https://doi.org/10.1007/978-3-319-61756-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615965
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60134-2">https://doi.org/10.1007/978-3-319-60134-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615970
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66335-7">https://doi.org/10.1007/978-3-319-66335-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers
ent://SD_ILS/0/SD_ILS:615974
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52709-3">https://doi.org/10.1007/978-3-319-52709-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615980
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Weil, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58747-9">https://doi.org/10.1007/978-3-319-58747-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615993
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54494-5">https://doi.org/10.1007/978-3-662-54494-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616012
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55911-7">https://doi.org/10.1007/978-3-319-55911-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616013
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author de Lara, Juan. editor. Plump, Detlef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61470-0">https://doi.org/10.1007/978-3-319-61470-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616016
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55792-2">https://doi.org/10.1007/978-3-319-55792-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Interaction 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616020
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author de Barros, Jose Acacio. editor. Coecke, Bob. editor. Pothos, Emmanuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52289-0">https://doi.org/10.1007/978-3-319-52289-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers in Algorithmics 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616048
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Xiao, Mingyu. editor. Rosamond, Frances. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59605-1">https://doi.org/10.1007/978-3-319-59605-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science and Discrete Mathematics First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616066
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Arumugam, S. editor. Bagga, Jay. editor. Beineke, Lowell W. editor. Panda, B.S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64419-6">https://doi.org/10.1007/978-3-319-64419-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Analysis and Its Applications 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616068
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Dimov, Ivan. editor. (orcid)0000-0003-4198-5830 Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57099-0">https://doi.org/10.1007/978-3-319-57099-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616071
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55849-3">https://doi.org/10.1007/978-3-319-55849-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616078
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55665-8">https://doi.org/10.1007/978-3-662-55665-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616152
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Brlek, Srečko. editor. Dolce, Francesco. editor. Reutenauer, Christophe. editor. Vandomme, Élise. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66396-8">https://doi.org/10.1007/978-3-319-66396-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:616201
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50062-1">https://doi.org/10.1007/978-3-319-50062-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616254
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Knoop, Jens. editor. Karl, Wolfgang. editor. Schulz, Martin. editor. Inoue, Koji. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54999-6">https://doi.org/10.1007/978-3-319-54999-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616259
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Dou, Yong. editor. Lin, Haixiang. editor. Sun, Guangyu. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Heras, Dora. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67952-5">https://doi.org/10.1007/978-3-319-67952-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616270
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616297
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61824-1">https://doi.org/10.1007/978-3-319-61824-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616309
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58741-7">https://doi.org/10.1007/978-3-319-58741-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616316
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57861-3">https://doi.org/10.1007/978-3-319-57861-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616320
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53733-7">https://doi.org/10.1007/978-3-319-53733-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
ent://SD_ILS/0/SD_ILS:616321
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Zeume, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54314-6">https://doi.org/10.1007/978-3-662-54314-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616323
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62932-2">https://doi.org/10.1007/978-3-319-62932-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616326
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Tichavský, Petr. editor. Babaie-Zadeh, Massoud. editor. Michel, Olivier J.J. editor. Thirion-Moreau, Nadège. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53547-0">https://doi.org/10.1007/978-3-319-53547-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616359
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57708-1">https://doi.org/10.1007/978-3-319-57708-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Green, Pervasive, and Cloud Computing 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617024
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Au, Man Ho Allen. editor. Castiglione, Arcangelo. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Palmieri, Francesco. editor. Li, Kuan-Ching. editor. (orcid)0000-0003-1381-4364<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57186-7">https://doi.org/10.1007/978-3-319-57186-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:617027
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54580-5">https://doi.org/10.1007/978-3-662-54580-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:617405
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59147-6">https://doi.org/10.1007/978-3-319-59147-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617149
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Kennedy, Juliette. editor. de Queiroz, Ruy J.G.B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55386-2">https://doi.org/10.1007/978-3-662-55386-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Multi-Criterion Optimization 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618443
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Trautmann, Heike. editor. Rudolph, Günter. editor. Klamroth, Kathrin. editor. Schütze, Oliver. editor. Wiecek, Margaret. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54157-0">https://doi.org/10.1007/978-3-319-54157-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611523
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55696-3">https://doi.org/10.1007/978-3-319-55696-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
WALCOM: Algorithms and Computation 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611526
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Poon, Sheung-Hung. editor. Rahman, Md. Saidur. editor. Yen, Hsu-Chun. editor. (orcid)0000-0002-1764-1950 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53925-6">https://doi.org/10.1007/978-3-319-53925-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611651
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Barbero, Ángela I. editor. Skachek, Vitaly. editor. Ytrehus, Øyvind. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66278-7">https://doi.org/10.1007/978-3-319-66278-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
String Processing and Information Retrieval 24th International Symposium, SPIRE 2017, Palermo, Italy, September 26-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611804
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Fici, Gabriele. editor. Sciortino, Marinella. editor. Venturini, Rossano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67428-5">https://doi.org/10.1007/978-3-319-67428-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611748
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66263-3">https://doi.org/10.1007/978-3-319-66263-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Theoretic Concepts in Computer Science 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612145
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Bodlaender, Hans L. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68705-6">https://doi.org/10.1007/978-3-319-68705-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Informatics in Schools: Focus on Learning Programming 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612152
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Dagienė, Valentina. editor. Hellas, Arto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71483-7">https://doi.org/10.1007/978-3-319-71483-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612292
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Yang, Hongseok. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:611910
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62395-5">https://doi.org/10.1007/978-3-319-62395-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:611911
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62404-4">https://doi.org/10.1007/978-3-319-62404-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:611913
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62407-5">https://doi.org/10.1007/978-3-319-62407-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:611916
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62401-3">https://doi.org/10.1007/978-3-319-62401-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Natural Computing 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617759
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Neruda, Roman. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71069-3">https://doi.org/10.1007/978-3-319-71069-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biomedical Applications Based on Natural and Artificial Computing International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618097
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59773-7">https://doi.org/10.1007/978-3-319-59773-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Natural and Artificial Computation for Biomedicine and Neuroscience International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:618098
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59740-9">https://doi.org/10.1007/978-3-319-59740-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:618106
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62398-6">https://doi.org/10.1007/978-3-319-62398-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence in Music, Sound, Art and Design 6th International Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616929
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Correia, João. editor. Ciesielski, Vic. editor. Liapis, Antonios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55750-2">https://doi.org/10.1007/978-3-319-55750-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:617071
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Cong, Fengyu. editor. Leung, Andrew. editor. (orcid)0000-0003-0962-6723 Wei, Qinglai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59081-3">https://doi.org/10.1007/978-3-319-59081-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The cyber risk handbook : creating and measuring effective cybersecurity capabilities
ent://SD_ILS/0/SD_ILS:593609
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Antonucci, Domenic, author.<br/>Preferred Shelf Number HV6773 .A58 2017<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119309741">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119309741</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dictionary of Computer Science, Engineering and Technology
ent://SD_ILS/0/SD_ILS:545439
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Laplante, Philip A., editor., author.<br/>Preferred Shelf Number QA76.15 L375 2017<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315214740">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Advances in The Human Side of Service Engineering Proceedings of the AHFE 2016 International Conference on The Human Side of Service Engineering, July 27-31, 2016, Walt Disney World®, Florida, USA
ent://SD_ILS/0/SD_ILS:614577
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Ahram, Tareq Z. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41947-3">https://doi.org/10.1007/978-3-319-41947-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Springer Handbook of Model-Based Science
ent://SD_ILS/0/SD_ILS:611998
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Magnani, Lorenzo. editor. Bertolotti, Tommaso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30526-4">https://doi.org/10.1007/978-3-319-30526-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Architecture at Work Modelling, Communication and Analysis
ent://SD_ILS/0/SD_ILS:614629
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Lankhorst, Marc. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53933-0">https://doi.org/10.1007/978-3-662-53933-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Connectomics Challenge
ent://SD_ILS/0/SD_ILS:618174
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Battaglia, Demian. editor. Guyon, Isabelle. editor. Lemaire, Vincent. editor. (orcid)0000-0002-6030-2356 Orlandi, Javier. editor. Ray, Bisakha. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53070-3">https://doi.org/10.1007/978-3-319-53070-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Advanced Intelligent Control, Optimization and Automation Proceedings of KKA 2017-The 19th Polish Control Conference, Kraków, Poland, June 18-21, 2017
ent://SD_ILS/0/SD_ILS:610712
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Mitkowski, Wojciech. editor. Kacprzyk, Janusz. editor. Oprzędkiewicz, Krzysztof. editor. Skruch, Paweł. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60699-6">https://doi.org/10.1007/978-3-319-60699-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combustion Engine Diagnosis Model-based Condition Monitoring of Gasoline and Diesel Engines and their Components
ent://SD_ILS/0/SD_ILS:610728
2026-05-12T13:49:07Z
2026-05-12T13:49:07Z
Author Isermann, Rolf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49467-7">https://doi.org/10.1007/978-3-662-49467-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>