Search Results for Science: general issues. - Narrowed by: 2015 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$00253A$002bgeneral$002bissues.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue? 2024-12-12T07:27:01Z Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518813 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Bampis, Evripidis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518813.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20086-6">https://doi.org/10.1007/978-3-319-20086-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Correct System Design Symposium in Honor of Ernst-R&uuml;diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518815 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Meyer, Roland. editor.&#160;Platzer, Andr&eacute;. editor.&#160;Wehrheim, Heike. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518815.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23506-6">https://doi.org/10.1007/978-3-319-23506-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518836 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Michel, Laurent. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518836.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18008-3">https://doi.org/10.1007/978-3-319-18008-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Pattern Matching 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518842 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Cicalese, Ferdinando. editor.&#160;Porat, Ely. editor.&#160;Vaccaro, Ugo. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518842.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19929-0">https://doi.org/10.1007/978-3-319-19929-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:518851 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Boissonnat, Jean-Daniel. editor.&#160;Cohen, Albert. editor.&#160;Gibaru, Olivier. editor.&#160;Gout, Christian. editor.&#160;Lyche, Tom. editor.<br/>Preferred Shelf Number&#160;XX(518851.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22804-4">https://doi.org/10.1007/978-3-319-22804-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518852 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Leucker, Martin. editor.&#160;Rueda, Camilo. editor.&#160;Valencia, Frank D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518852.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25150-9">https://doi.org/10.1007/978-3-319-25150-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518859 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Wang, Guojin. editor.&#160;Zomaya, Albert. editor.&#160;Martinez, Gregorio. editor.&#160;Li, Kenli. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518859.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-27161-3">https://doi.org/10.1007/978-3-319-27161-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:518861 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Falaschi, Moreno. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518861.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-27436-2">https://doi.org/10.1007/978-3-319-27436-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518932 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Fischer, Bernd. editor.&#160;Geldenhuys, Jaco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518932.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23404-5">https://doi.org/10.1007/978-3-319-23404-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518938 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;D'Souza, Deepak. editor.&#160;Lal, Akash. editor.&#160;Larsen, Kim Guldstrand. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518938.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46081-8">https://doi.org/10.1007/978-3-662-46081-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518940 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Pelc, Andrzej. editor.&#160;Schwarzmann, Alexander A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518940.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21741-3">https://doi.org/10.1007/978-3-319-21741-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III ent://SD_ILS/0/SD_ILS:518945 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Buarque, Fernando. editor.&#160;Gelbukh, Alexander. editor.&#160;Das, Swagatam. editor.<br/>Preferred Shelf Number&#160;XX(518945.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20469-7">https://doi.org/10.1007/978-3-319-20469-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:518947 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Buarque, Fernando. editor.&#160;Gelbukh, Alexander. editor.&#160;Das, Swagatam. editor.<br/>Preferred Shelf Number&#160;XX(518947.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20466-6">https://doi.org/10.1007/978-3-319-20466-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518949 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;de Paiva, Valeria. editor.&#160;de Queiroz, Ruy. editor.&#160;Moss, Lawrence S. editor.&#160;Leivant, Daniel. editor.&#160;de Oliveira, Anjolina G. editor.<br/>Preferred Shelf Number&#160;XX(518949.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-47709-0">https://doi.org/10.1007/978-3-662-47709-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems - ARCS 2015 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519033 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Pinho, Lu&iacute;s Miguel Pinho. editor.&#160;Karl, Wolfgang. editor.&#160;Cohen, Albert. editor.&#160;Brinkschulte, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519033.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-16086-3">https://doi.org/10.1007/978-3-319-16086-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary and Biologically Inspired Music, Sound, Art and Design 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518959 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Johnson, Colin. editor.&#160;Carballal, Adrian. editor.&#160;Correia, Jo&atilde;o. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518959.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-16498-4">https://doi.org/10.1007/978-3-319-16498-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518961 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Malyshkin, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518961.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21909-7">https://doi.org/10.1007/978-3-319-21909-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518962 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Bojanczyk, Mikolai. editor.&#160;Lasota, Slawomir. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518962.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24537-9">https://doi.org/10.1007/978-3-319-24537-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation in Combinatorial Optimization 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518973 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Ochoa, Gabriela. editor.&#160;Chicano, Francisco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518973.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-16468-7">https://doi.org/10.1007/978-3-319-16468-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518975 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Seiler, Werner M. editor.&#160;Vorozhtsov, Evgenii V. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518975.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24021-3">https://doi.org/10.1007/978-3-319-24021-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Data Structures 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings ent://SD_ILS/0/SD_ILS:518976 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Dehne, Frank. editor.&#160;Sack, J&ouml;rg-R&uuml;diger. editor.&#160;Stege, Ulrike. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518976.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21840-3">https://doi.org/10.1007/978-3-319-21840-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Discrete Applied Mathematics First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings ent://SD_ILS/0/SD_ILS:518978 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Ganguly, Sumit. editor.&#160;Krishnamurti, Ramesh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518978.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14974-5">https://doi.org/10.1007/978-3-319-14974-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:518984 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Ko&ccedil;, &Ccedil;etin Kaya. editor.&#160;Mesnager, Sihem. editor.&#160;Sava&#351;, Erkay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518984.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-16277-5">https://doi.org/10.1007/978-3-319-16277-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Informatics in Schools. Curricula, Competences, and Competitions 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2015, Ljubljana, Slovenia, September 28 - October 1, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518988 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Brodnik, Andrej. editor.&#160;Vahrenhold, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518988.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25396-1">https://doi.org/10.1007/978-3-319-25396-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518989 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Manea, Florin. editor.&#160;Nowotka, Dirk. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518989.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23660-5">https://doi.org/10.1007/978-3-319-23660-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:518917 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Dimov, Ivan. editor.&#160;Farag&oacute;, Istv&aacute;n. editor.&#160;Vulkov, Lubin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518917.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20239-6">https://doi.org/10.1007/978-3-319-20239-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory - EUROCAST 2015 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:518923 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z 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;XX(518923.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-27340-2">https://doi.org/10.1007/978-3-319-27340-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:519079 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Gelbukh, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519079.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18111-0">https://doi.org/10.1007/978-3-319-18111-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models of Strategic Reasoning Logics, Games, and Communities ent://SD_ILS/0/SD_ILS:519080 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;van Benthem, Johan. editor.&#160;Ghosh, Sujata. editor.&#160;Verbrugge, Rineke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519080.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48540-8">https://doi.org/10.1007/978-3-662-48540-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structural Information and Communication Complexity 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings ent://SD_ILS/0/SD_ILS:519082 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Scheideler, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519082.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25258-2">https://doi.org/10.1007/978-3-319-25258-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519084 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Heule, Marijn. editor.&#160;Weaver, Sean. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519084.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24318-4">https://doi.org/10.1007/978-3-319-24318-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519086 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Kunkel, Julian M. editor.&#160;Ludwig, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519086.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20119-1">https://doi.org/10.1007/978-3-319-20119-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:519088 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Cirne, Walfredo. editor.&#160;Desai, Narayan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519088.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15789-4">https://doi.org/10.1007/978-3-319-15789-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519090 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Baier, Christel. editor.&#160;Tinelli, Cesare. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519090.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46681-0">https://doi.org/10.1007/978-3-662-46681-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II ent://SD_ILS/0/SD_ILS:519028 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Kroening, Daniel. editor.&#160;P&#259;s&#259;reanu, Corina S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519028.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21668-3">https://doi.org/10.1007/978-3-319-21668-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation and Online Algorithms 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:519233 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Sanit&agrave;, Laura. editor.&#160;Skutella, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519233.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-28684-6">https://doi.org/10.1007/978-3-319-28684-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 20th International Conference, CIAA 2015, Ume&aring;, Sweden, August 18-21, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519234 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Drewes, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519234.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22360-5">https://doi.org/10.1007/978-3-319-22360-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part II ent://SD_ILS/0/SD_ILS:519239 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Arik, Sabri. editor.&#160;Huang, Tingwen. editor.&#160;Lai, Weng Kin. editor.&#160;Liu, Qingshan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519239.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26535-3">https://doi.org/10.1007/978-3-319-26535-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:519144 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Dhaenens, Clarisse. editor.&#160;Jourdan, Laetitia. editor.&#160;Marmion, Marie-El&eacute;onore. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519144.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19084-6">https://doi.org/10.1007/978-3-319-19084-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. ent://SD_ILS/0/SD_ILS:519146 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519146.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46823-4">https://doi.org/10.1007/978-3-662-46823-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519259 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Parisi-Presicce, Francesco. editor.&#160;Westfechtel, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519259.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21145-9">https://doi.org/10.1007/978-3-319-21145-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:519260 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Gavrilova, Marina L. editor.&#160;Rocha, Ana Maria Alves Coutinho. editor.<br/>Preferred Shelf Number&#160;XX(519260.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21410-8">https://doi.org/10.1007/978-3-319-21410-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Text Analysis Pipelines Towards Ad-hoc Large-Scale Text Mining ent://SD_ILS/0/SD_ILS:519263 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Wachsmuth, Henning. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519263.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25741-9">https://doi.org/10.1007/978-3-319-25741-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra and Polynomials Applications of Algebra and Number Theory ent://SD_ILS/0/SD_ILS:519265 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Gutierrez, Jaime. editor.&#160;Schicho, Josef. editor.&#160;Weimann, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519265.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15081-9">https://doi.org/10.1007/978-3-319-15081-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rewriting, and Concurrency Essays Dedicated to Jos&eacute; Meseguer on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:519268 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Mart&iacute;-Oliet, Narciso. editor.&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;Talcott, Carolyn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519268.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23165-5">https://doi.org/10.1007/978-3-319-23165-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms, Probability, Networks, and Games Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:519275 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Zaroliagis, Christos. editor.&#160;Pantziou, Grammati. editor.&#160;Kontogiannis, Spyros. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519275.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24024-4">https://doi.org/10.1007/978-3-319-24024-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519279 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Hu, Xiaolin. editor.&#160;Xia, Yousheng. editor.&#160;Zhang, Yunong. editor.&#160;Zhao, Dongbin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519279.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25393-0">https://doi.org/10.1007/978-3-319-25393-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:519280 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Wang, Guojun. editor.&#160;Zomaya, Albert. editor.&#160;Martinez, Gregorio. editor.&#160;Li, Kenli. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519280.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-27119-4">https://doi.org/10.1007/978-3-319-27119-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Latent Variable Analysis and Signal Separation 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518880 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Vincent, Emmanuel. editor.&#160;Yeredor, Arie. editor.&#160;Koldovsk&yacute;, Zbyn&#283;k. editor.&#160;Tichavsk&yacute;, Petr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518880.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22482-4">https://doi.org/10.1007/978-3-319-22482-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518883 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Kahl, Wolfram. editor.&#160;Winter, Michael. editor.&#160;Oliveira, Jos&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518883.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24704-5">https://doi.org/10.1007/978-3-319-24704-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:518889 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Bodei, Chiara. editor.&#160;Ferrari, Gianluigi. editor.&#160;Priami, Corrado. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518889.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25527-9">https://doi.org/10.1007/978-3-319-25527-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:519040 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Aher, Martin. editor.&#160;Hole, Daniel. editor.&#160;Je&#345;&aacute;bek, Emil. editor.&#160;Kupke, Clemens. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519040.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46906-4">https://doi.org/10.1007/978-3-662-46906-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II ent://SD_ILS/0/SD_ILS:519042 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Wang, Guojun. editor.&#160;Zomaya, Albert. editor.&#160;Martinez, Gregorio. editor.&#160;Li, Kenli. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519042.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-27122-4">https://doi.org/10.1007/978-3-319-27122-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519043 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Urban, Christian. editor.&#160;Zhang, Xingyuan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519043.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22102-1">https://doi.org/10.1007/978-3-319-22102-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. ent://SD_ILS/0/SD_ILS:519049 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519049.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21500-6">https://doi.org/10.1007/978-3-319-21500-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519051 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Tr&auml;ff, Jesper Larsson. editor.&#160;Hunold, Sascha. editor.&#160;Versaci, Francesco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519051.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48096-0">https://doi.org/10.1007/978-3-662-48096-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II ent://SD_ILS/0/SD_ILS:519055 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Italiano, Giuseppe F. editor.&#160;Pighizzini, Giovanni. editor.&#160;Sannella, Donald T. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519055.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48054-0">https://doi.org/10.1007/978-3-662-48054-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519059 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Franke, Bj&ouml;rn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519059.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46663-6">https://doi.org/10.1007/978-3-662-46663-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519060 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Beckmann, Arnold. editor.&#160;Mitrana, Victor. editor.&#160;Soskova, Mariya. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519060.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20028-6">https://doi.org/10.1007/978-3-319-20028-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519062 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Magdalena, Luis. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519062.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26841-5">https://doi.org/10.1007/978-3-319-26841-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519065 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Sempere, Jos&eacute; M. editor.&#160;Zandron, Claudio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519065.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-28475-0">https://doi.org/10.1007/978-3-319-28475-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:519066 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Wang, Guojun. editor.&#160;Zomaya, Albert. editor.&#160;Martinez, Gregorio. editor.&#160;Li, Kenli. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519066.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-27140-8">https://doi.org/10.1007/978-3-319-27140-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519067 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Blazy, Sandrine. editor.&#160;Jensen, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519067.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48288-9">https://doi.org/10.1007/978-3-662-48288-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation and Online Algorithms 12th International Workshop, WAOA 2014, Wroc&#322;aw, Poland, September 11-12, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519068 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Bampis, Evripidis. editor.&#160;Svensson, Ola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519068.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18263-6">https://doi.org/10.1007/978-3-319-18263-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519014 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Formenti, Enrico. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519014.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15579-1">https://doi.org/10.1007/978-3-319-15579-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519015 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Mora, Antonio M. editor.&#160;Squillero, Giovanni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519015.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-16549-3">https://doi.org/10.1007/978-3-319-16549-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing and Network Visualization 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519018 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Di Giacomo, Emilio. editor.&#160;Lubiw, Anna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519018.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-27261-0">https://doi.org/10.1007/978-3-319-27261-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519235 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Kari, Jarkko. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519235.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-47221-7">https://doi.org/10.1007/978-3-662-47221-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519237 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Vitek, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519237.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46669-8">https://doi.org/10.1007/978-3-662-46669-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> WALCOM: Algorithms and Computation 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519097 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Rahman, M. Sohel. editor.&#160;Tomita, Etsuji. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519097.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15612-5">https://doi.org/10.1007/978-3-319-15612-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519103 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Davis, Martin. editor.&#160;Fehnker, Ansgar. editor.&#160;McIver, Annabelle. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519103.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48899-7">https://doi.org/10.1007/978-3-662-48899-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:519105 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Jarvis, Stephen A. editor.&#160;Wright, Steven A. editor.&#160;Hammond, Simon D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519105.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-17248-4">https://doi.org/10.1007/978-3-319-17248-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Complexity 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519245 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Paschos, Vangelis Th. editor.&#160;Widmayer, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519245.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18173-8">https://doi.org/10.1007/978-3-319-18173-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519110 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Bansal, Nikhil. editor.&#160;Finocchi, Irene. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519110.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48350-3">https://doi.org/10.1007/978-3-662-48350-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:519112 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Gavrilova, Marina L. editor.&#160;Rocha, Ana Maria Alves Coutinho. editor.<br/>Preferred Shelf Number&#160;XX(519112.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21404-7">https://doi.org/10.1007/978-3-319-21404-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519117 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Jain, Rahul. editor.&#160;Jain, Sanjay. editor.&#160;Stephan, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519117.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-17142-5">https://doi.org/10.1007/978-3-319-17142-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519118 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Banerjee, Mohua. editor.&#160;S., Krishna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519118.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45824-2">https://doi.org/10.1007/978-3-662-45824-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519301 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Xu, Dachuan. editor.&#160;Du, Donglei. editor.&#160;Du, Dingzhu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519301.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21398-9">https://doi.org/10.1007/978-3-319-21398-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open and Big Data Management and Innovation 14th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2015, Delft, The Netherlands, October 13-15, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519304 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Janssen, Marijn. editor.&#160;M&auml;ntym&auml;ki, Matti. editor.&#160;Hidders, Jan. editor.&#160;Klievink, Bram. editor.&#160;Lamersdorf, Winfried. editor.<br/>Preferred Shelf Number&#160;XX(519304.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25013-7">https://doi.org/10.1007/978-3-319-25013-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Learning: Innovation in Educational Practices 8th International Conference, ICHL 2015, Wuhan, China, July 27-29, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519306 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Cheung, Simon K.S. editor.&#160;Kwok, Lam-for. editor.&#160;Yang, Harrison. editor.&#160;Fong, Joseph. editor.&#160;Kwan, Reggie. editor.<br/>Preferred Shelf Number&#160;XX(519306.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20621-9">https://doi.org/10.1007/978-3-319-20621-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001 ent://SD_ILS/0/SD_ILS:519310 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Guerraoui, Rachid. editor.&#160;Romano, Paolo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519310.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14720-8">https://doi.org/10.1007/978-3-319-14720-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:519316 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Arik, Sabri. editor.&#160;Huang, Tingwen. editor.&#160;Lai, Weng Kin. editor.&#160;Liu, Qingshan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519316.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26532-2">https://doi.org/10.1007/978-3-319-26532-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519318 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Corman, Francesco. editor.&#160;Vo&szlig;, Stefan. editor.&#160;Negenborn, Rudy R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519318.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24264-4">https://doi.org/10.1007/978-3-319-24264-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2015: Parallel Processing Workshops Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519324 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Hunold, Sascha. editor.&#160;Costan, Alexandru. editor.&#160;Gim&eacute;nez, Domingo. editor.&#160;Iosup, Alexandru. editor.&#160;Ricci, Laura. editor.<br/>Preferred Shelf Number&#160;XX(519324.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-27308-2">https://doi.org/10.1007/978-3-319-27308-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers in Algorithmics 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519334 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Wang, Jianxin. editor.&#160;Yap, Chee. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519334.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19647-3">https://doi.org/10.1007/978-3-319-19647-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519335 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Calude, Cristian S. editor.&#160;Dinneen, Michael J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519335.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21819-9">https://doi.org/10.1007/978-3-319-21819-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519213 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Zs&oacute;k, Vikt&oacute;ria. editor.&#160;Horv&aacute;th, Zolt&aacute;n. editor.&#160;Csat&oacute;, Lehel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519213.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15940-9">https://doi.org/10.1007/978-3-319-15940-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519215 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Das, Swagatam. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519215.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20294-5">https://doi.org/10.1007/978-3-319-20294-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II ent://SD_ILS/0/SD_ILS:519225 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Halld&oacute;rsson, Magn&uacute;s M. editor.&#160;Iwama, Kazuo. editor.&#160;Kobayashi, Naoki. editor.&#160;Speckmann, Bettina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519225.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-47666-6">https://doi.org/10.1007/978-3-662-47666-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> String Processing and Information Retrieval 22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518751 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Iliopoulos, Costas. editor.&#160;Puglisi, Simon. editor.&#160;Yilmaz, Emine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518751.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23826-5">https://doi.org/10.1007/978-3-319-23826-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:518766 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Dayd&eacute;, Michel. editor.&#160;Marques, Osni. editor.&#160;Nakajima, Kengo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518766.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-17353-5">https://doi.org/10.1007/978-3-319-17353-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings ent://SD_ILS/0/SD_ILS:518769 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Maletti, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518769.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23021-4">https://doi.org/10.1007/978-3-319-23021-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:518775 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Proietti, Maurizio. editor.&#160;Seki, Hirohisa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518775.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-17822-6">https://doi.org/10.1007/978-3-319-17822-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings ent://SD_ILS/0/SD_ILS:518778 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Phillips, Andrew. editor.&#160;Yin, Peng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518778.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21999-8">https://doi.org/10.1007/978-3-319-21999-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, June 25-28, 2015, Proceedings, Part II ent://SD_ILS/0/SD_ILS:518780 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Buarque, Fernando. editor.&#160;Gelbukh, Alexander. editor.&#160;Das, Swagatam. editor.<br/>Preferred Shelf Number&#160;XX(518780.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20472-7">https://doi.org/10.1007/978-3-319-20472-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebasti&aacute;n, Spain, July 20, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:518782 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Pop, Florin. editor.&#160;Potop-Butucaru, Maria. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518782.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-28448-4">https://doi.org/10.1007/978-3-319-28448-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimar&atilde;es, Portugal, March 29 --April 1, 2015. Proceedings, Part II ent://SD_ILS/0/SD_ILS:518783 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Gaspar-Cunha, Ant&oacute;nio. editor.&#160;Henggeler Antunes, Carlos. editor.&#160;Coello, Carlos Coello. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518783.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15892-1">https://doi.org/10.1007/978-3-319-15892-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518791 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Sankaranarayanan, Sriram. editor.&#160;Vicario, Enrico. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518791.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22975-1">https://doi.org/10.1007/978-3-319-22975-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computational Intelligence 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part I ent://SD_ILS/0/SD_ILS:518793 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Rojas, Ignacio. editor.&#160;Joya, Gonzalo. editor.&#160;Catala, Andreu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518793.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19258-1">https://doi.org/10.1007/978-3-319-19258-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II ent://SD_ILS/0/SD_ILS:518794 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Gavrilova, Marina L. editor.&#160;Rocha, Ana Maria Alves Coutinho. editor.<br/>Preferred Shelf Number&#160;XX(518794.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21407-8">https://doi.org/10.1007/978-3-319-21407-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518797 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Beklemishev, Lev D. editor.&#160;Musatov, Daniil V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518797.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20297-6">https://doi.org/10.1007/978-3-319-20297-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:518798 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Liu, Shaoying. editor.&#160;Duan, Zhenhua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518798.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-17404-4">https://doi.org/10.1007/978-3-319-17404-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata and Discrete Complex Systems 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:518804 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Isokawa, Teijiro. editor.&#160;Imai, Katsunobu. editor.&#160;Matsui, Nobuyuki. editor.&#160;Peper, Ferdinand. editor.&#160;Umeo, Hiroshi. editor.<br/>Preferred Shelf Number&#160;XX(518804.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18812-6">https://doi.org/10.1007/978-3-319-18812-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518831 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Xu, Kuai. editor.&#160;Zhu, Haojin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518831.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21837-3">https://doi.org/10.1007/978-3-319-21837-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Computation 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518834 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Elbassioni, Khaled. editor.&#160;Makino, Kazuhisa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518834.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48971-0">https://doi.org/10.1007/978-3-662-48971-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II ent://SD_ILS/0/SD_ILS:518824 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Ferr&aacute;ndez Vicente, Jos&eacute; Manuel. editor.&#160;&Aacute;lvarez-S&aacute;nchez, Jos&eacute; Ram&oacute;n. editor.&#160;de la Paz L&oacute;pez, F&eacute;lix. editor.&#160;Toledo-Moreo, Fco. Javier. editor.&#160;Adeli, Hojjat. editor.<br/>Preferred Shelf Number&#160;XX(518824.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18833-1">https://doi.org/10.1007/978-3-319-18833-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III ent://SD_ILS/0/SD_ILS:518867 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Gavrilova, Marina L. editor.&#160;Rocha, Ana Maria Alves Coutinho. editor.<br/>Preferred Shelf Number&#160;XX(518867.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21470-2">https://doi.org/10.1007/978-3-319-21470-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III ent://SD_ILS/0/SD_ILS:518873 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Arik, Sabri. editor.&#160;Huang, Tingwen. editor.&#160;Lai, Weng Kin. editor.&#160;Liu, Qingshan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518873.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26555-1">https://doi.org/10.1007/978-3-319-26555-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:518954 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Atmanspacher, Harald. editor.&#160;Bergomi, Claudia. editor.&#160;Filk, Thomas. editor.&#160;Kitto, Kirsty. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518954.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15931-7">https://doi.org/10.1007/978-3-319-15931-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part II ent://SD_ILS/0/SD_ILS:518957 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Gelbukh, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518957.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18117-2">https://doi.org/10.1007/978-3-319-18117-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Methods and Applications 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519037 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Dimov, Ivan. editor.&#160;Fidanova, Stefka. editor.&#160;Lirkov, Ivan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519037.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15585-2">https://doi.org/10.1007/978-3-319-15585-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:519038 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Arik, Sabri. editor.&#160;Huang, Tingwen. editor.&#160;Lai, Weng Kin. editor.&#160;Liu, Qingshan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519038.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26561-2">https://doi.org/10.1007/978-3-319-26561-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Parallel Processing Technologies 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519039 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Chen, Yunji. editor.&#160;Ienne, Paolo. editor.&#160;Ji, Qing. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519039.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23216-4">https://doi.org/10.1007/978-3-319-23216-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimar&atilde;es, Portugal, March 29 --April 1, 2015. Proceedings, Part I ent://SD_ILS/0/SD_ILS:518985 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Gaspar-Cunha, Ant&oacute;nio. editor.&#160;Henggeler Antunes, Carlos. editor.&#160;Coello, Carlos Coello. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518985.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15934-8">https://doi.org/10.1007/978-3-319-15934-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:518893 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Italiano, Giuseppe F. editor.&#160;Pighizzini, Giovanni. editor.&#160;Sannella, Donald T. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518893.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48057-1">https://doi.org/10.1007/978-3-662-48057-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sn&#283;&#382;kou, Czech Republic, January 24-29, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518910 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Italiano, Giuseppe. editor.&#160;Margaria-Steffen, Tiziana. editor.&#160;Pokorn&yacute;, Jaroslav. editor.&#160;Quisquater, Jean-Jacques. editor.&#160;Wattenhofer, Roger. editor.<br/>Preferred Shelf Number&#160;XX(518910.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46078-8">https://doi.org/10.1007/978-3-662-46078-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gda&#324;sk, Poland, August 17-19, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518912 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Kosowski, Adrian. editor.&#160;Walukiewicz, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518912.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22177-9">https://doi.org/10.1007/978-3-319-22177-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519004 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Sano, Kentaro. editor.&#160;Soudris, Dimitrios. editor.&#160;H&uuml;bner, Michael. editor.&#160;Diniz, Pedro C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519004.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-16214-0">https://doi.org/10.1007/978-3-319-16214-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:519007 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Kroening, Daniel. editor.&#160;P&#259;s&#259;reanu, Corina S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519007.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21690-4">https://doi.org/10.1007/978-3-319-21690-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Vision Systems 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518920 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Nalpantidis, Lazaros. editor.&#160;Kr&uuml;ger, Volker. editor.&#160;Eklundh, Jan-Olof. editor.&#160;Gasteratos, Antonios. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518920.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20904-3">https://doi.org/10.1007/978-3-319-20904-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519010 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Plaat, Aske. editor.&#160;van den Herik, Jaap. editor.&#160;Kosters, Walter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519010.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-27992-3">https://doi.org/10.1007/978-3-319-27992-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Models for the Web Graph 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519011 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Gleich, David F. editor.&#160;Komj&aacute;thy, J&uacute;lia. editor.&#160;Litvak, Nelly. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519011.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26784-5">https://doi.org/10.1007/978-3-319-26784-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computational Intelligence 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part II ent://SD_ILS/0/SD_ILS:519132 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Rojas, Ignacio. editor.&#160;Joya, Gonzalo. editor.&#160;Catala, Andreu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519132.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19222-2">https://doi.org/10.1007/978-3-319-19222-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519136 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Egyed, Alexander. editor.&#160;Schaefer, Ina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519136.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46675-9">https://doi.org/10.1007/978-3-662-46675-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519137 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;van der Hoek, Wiebe. editor.&#160;Holliday, Wesley H. editor.&#160;Wang, Wen-fang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519137.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48561-3">https://doi.org/10.1007/978-3-662-48561-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519138 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Naumann, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519138.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14806-9">https://doi.org/10.1007/978-3-319-14806-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519139 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Codescu, Mihai. editor.&#160;Diaconescu, R&#259;zvan. editor.&#160;&#538;u&#539;u, Ionu&#539;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519139.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-28114-8">https://doi.org/10.1007/978-3-319-28114-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization and Applications 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519143 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Lu, Zaixin. editor.&#160;Kim, Donghyun. editor.&#160;Wu, Weili. editor.&#160;Li, Wei. editor. (orcid)&#160;Du, Ding-Zhu. editor. (orcid)<br/>Preferred Shelf Number&#160;XX(519143.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26626-8">https://doi.org/10.1007/978-3-319-26626-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519145 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Markidis, Stefano. editor.&#160;Laure, Erwin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519145.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15976-8">https://doi.org/10.1007/978-3-319-15976-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Computation in Biology and Medicine International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:519255 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Ferr&aacute;ndez Vicente, Jos&eacute; Manuel. editor.&#160;&Aacute;lvarez-S&aacute;nchez, Jos&eacute; Ram&oacute;n. editor.&#160;de la Paz L&oacute;pez, F&eacute;lix. editor.&#160;Toledo-Moreo, Fco. Javier. editor.&#160;Adeli, Hojjat. editor.<br/>Preferred Shelf Number&#160;XX(519255.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18914-7">https://doi.org/10.1007/978-3-319-18914-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519156 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Durand-Lose, Jerome. editor.&#160;Nagy, Benedek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519156.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23111-2">https://doi.org/10.1007/978-3-319-23111-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519161 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Pitts, Andrew. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519161.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519163 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Brodman, James. editor.&#160;Tu, Peng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519163.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-17473-0">https://doi.org/10.1007/978-3-319-17473-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Social Networks 4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519166 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Thai, My T. editor.&#160;Nguyen, Nam P. editor.&#160;Shen, Huawei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519166.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21786-4">https://doi.org/10.1007/978-3-319-21786-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III ent://SD_ILS/0/SD_ILS:519169 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Wang, Guojun. editor.&#160;Zomaya, Albert. editor.&#160;Martinez, Gregorio. editor.&#160;Li, Kenli. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519169.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-27137-8">https://doi.org/10.1007/978-3-319-27137-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing in Cells and Tissues 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519178 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Lones, Michael. editor.&#160;Tyrrell, Andy. editor.&#160;Smith, Stephen. editor.&#160;Fogel, Gary. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519178.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23108-2">https://doi.org/10.1007/978-3-319-23108-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519181 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Jan, Kratochv&iacute;l. editor.&#160;Miller, Mirka. editor.&#160;Froncek, Dalibor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519181.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19315-1">https://doi.org/10.1007/978-3-319-19315-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:519187 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Hage, Jurriaan. editor.&#160;McCarthy, Jay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519187.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14675-1">https://doi.org/10.1007/978-3-319-14675-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519194 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Devillers, Raymond. editor.&#160;Valmari, Antti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519194.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19488-2">https://doi.org/10.1007/978-3-319-19488-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519199 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Shallit, Jeffrey. editor.&#160;Okhotin, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519199.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19225-3">https://doi.org/10.1007/978-3-319-19225-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Spatial Information Theory 12th International Conference, COSIT 2015, Santa Fe, NM, USA, October 12-16, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519338 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Fabrikant, Sara Irina. editor.&#160;Raubal, Martin. editor.&#160;Bertolotto, Michela. editor.&#160;Davies, Clare. editor.&#160;Freundschuh, Scott. editor.<br/>Preferred Shelf Number&#160;XX(519338.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23374-1">https://doi.org/10.1007/978-3-319-23374-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V ent://SD_ILS/0/SD_ILS:519341 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Gavrilova, Marina L. editor.&#160;Rocha, Ana Maria Alves Coutinho. editor.<br/>Preferred Shelf Number&#160;XX(519341.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21413-9">https://doi.org/10.1007/978-3-319-21413-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519344 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Machado, Penousal. editor.&#160;Heywood, Malcolm I. editor.&#160;McDermott, James. editor.&#160;Castelli, Mauro. editor.&#160;Garc&iacute;a-S&aacute;nchez, Pablo. editor.<br/>Preferred Shelf Number&#160;XX(519344.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-16501-1">https://doi.org/10.1007/978-3-319-16501-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519347 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Campos, Javier. editor.&#160;Haverkort, Boudewijn R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519347.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22264-6">https://doi.org/10.1007/978-3-319-22264-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519218 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Moses, Yoram. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519218.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48653-5">https://doi.org/10.1007/978-3-662-48653-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:519222 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Halld&oacute;rsson, Magn&uacute;s M. editor.&#160;Iwama, Kazuo. editor.&#160;Kobayashi, Naoki. editor.&#160;Speckmann, Bettina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519222.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-47672-7">https://doi.org/10.1007/978-3-662-47672-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Psychiatry in India Clinical, Research and Policy Perspectives ent://SD_ILS/0/SD_ILS:519776 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Malhotra, Savita. editor.&#160;Chakrabarti, Subho. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519776.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-1674-2">https://doi.org/10.1007/978-81-322-1674-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Psychotherapy Research Foundations, Process, and Outcome ent://SD_ILS/0/SD_ILS:519940 2024-12-12T07:27:01Z 2024-12-12T07:27:01Z Author&#160;Gelo, Omar C.G. editor.&#160;Pritz, Alfred. editor.&#160;Rieken, Bernd. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519940.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-7091-1382-0">https://doi.org/10.1007/978-3-7091-1382-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>