Search Results for Computer mathematics. - Narrowed by: Artificial intelligence. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bmathematics.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300? 2024-10-30T05:59:34Z Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485019 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Kaliszyk, Cezary. editor. (orcid)0000-0002-8273-6059&#160;Brady, Edwin. editor. (orcid)0000-0002-9734-367X&#160;Kohlhase, Andrea. editor.&#160;Sacerdoti Coen, Claudio. editor. (orcid)0000-0002-4360-6016&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23250-4">https://doi.org/10.1007/978-3-030-23250-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399968 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Rabe, Florian. editor.&#160;Farmer, William M. editor.&#160;Passmore, Grant O. editor.&#160;Youssef, Abdou. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96812-4">https://doi.org/10.1007/978-3-319-96812-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computational Methods for Knowledge Engineering Proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017 ent://SD_ILS/0/SD_ILS:399448 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Le, Nguyen-Thinh. editor.&#160;van Do, Tien. editor.&#160;Nguyen, Ngoc Thanh. editor.&#160;Thi, Hoai An Le. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61911-8">https://doi.org/10.1007/978-3-319-61911-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:486852 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Watt, Stephen M. editor.&#160;Sexton, Alan. editor.&#160;Davenport, James H. editor.&#160;Sojka, Petr. editor.&#160;Urban, Josef. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08434-3">https://doi.org/10.1007/978-3-319-08434-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computational Methods for Knowledge Engineering Proceedings of the 2nd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2014) ent://SD_ILS/0/SD_ILS:488158 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Do, Tien. editor.&#160;Thi, Hoai An Le. editor.&#160;Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06569-4">https://doi.org/10.1007/978-3-319-06569-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334781 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Carette, Jacques. editor.&#160;Aspinall, David. editor.&#160;Lange, Christoph. editor.&#160;Sojka, Petr. editor.&#160;Windsteiger, Wolfgang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334781.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39320-4">http://dx.doi.org/10.1007/978-3-642-39320-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197066 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Jeuring, Johan. editor.&#160;Campbell, John A. editor.&#160;Carette, Jacques. editor.&#160;Reis, Gabriel. editor.&#160;Sojka, Petr. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31374-5">http://dx.doi.org/10.1007/978-3-642-31374-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195101 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Davenport, James H. editor.&#160;Farmer, William M. editor.&#160;Urban, Josef. editor.&#160;Rabe, Florian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22673-1">http://dx.doi.org/10.1007/978-3-642-22673-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192559 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Autexier, Serge. editor.&#160;Calmet, Jacques. editor.&#160;Delahaye, David. editor.&#160;Ion, Patrick D. F. editor.&#160;Rideau, Laurence. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14128-7">http://dx.doi.org/10.1007/978-3-642-14128-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190376 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Carette, Jacques. editor.&#160;Dixon, Lucas. editor.&#160;Coen, Claudio Sacerdoti. editor.&#160;Watt, Stephen M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02614-0">http://dx.doi.org/10.1007/978-3-642-02614-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188596 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Autexier, Serge. editor.&#160;Campbell, John. editor.&#160;Rubio, Julio. editor.&#160;Sorge, Volker. editor.&#160;Suzuki, Masakazu. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85110-3">http://dx.doi.org/10.1007/978-3-540-85110-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers ent://SD_ILS/0/SD_ILS:188917 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Kapur, Deepak. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87827-8">http://dx.doi.org/10.1007/978-3-540-87827-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2019 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10&ndash;12, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:482768 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Lu, Huchuan. editor.&#160;Tang, Huajin. editor.&#160;Wang, Zhanshan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22796-8">https://doi.org/10.1007/978-3-030-22796-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 25th International Conference, COCOON 2019, Xi'an, China, July 29&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482805 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Du, Ding-Zhu. editor.&#160;Duan, Zhenhua. editor.&#160;Tian, Cong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26176-4">https://doi.org/10.1007/978-3-030-26176-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Learning: Advances in Theories and Algorithms ent://SD_ILS/0/SD_ILS:482967 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Zhou, Zhi-Hua. author.&#160;Yu, Yang. author.&#160;Qian, Chao. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-5956-9">https://doi.org/10.1007/978-981-13-5956-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Rough Sets XXI ent://SD_ILS/0/SD_ILS:482974 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Peters, James F. editor. (orcid)0000-0002-1026-4638&#160;Skowron, Andrzej. editor. (orcid)0000-0002-5271-6559&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-58768-3">https://doi.org/10.1007/978-3-662-58768-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:483514 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22741-8">https://doi.org/10.1007/978-3-030-22741-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483605 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Cerrito, Serenella. editor.&#160;Popescu, Andrei. editor. (orcid)0000-0001-8747-0619&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29026-9">https://doi.org/10.1007/978-3-030-29026-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> String Processing and Information Retrieval 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484790 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Brisaboa, Nieves R. editor. (orcid)0000-0001-8025-3048&#160;Puglisi, Simon J. editor. (orcid)0000-0001-7668-7636&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32686-9">https://doi.org/10.1007/978-3-030-32686-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484866 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457&#160;Haar, Stefan. editor. (orcid)0000-0002-1892-2703&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21571-2">https://doi.org/10.1007/978-3-030-21571-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10&ndash;15, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484893 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Battiti, Roberto. editor. (orcid)0000-0002-0259-8603&#160;Brunato, Mauro. editor. (orcid)0000-0002-7885-4255&#160;Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383&#160;Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05348-2">https://doi.org/10.1007/978-3-030-05348-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Data Processing 11th International Conference, IDP 2016, Barcelona, Spain, October 10&ndash;14, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485080 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Strijov, Vadim V. editor. (orcid)0000-0002-2194-8859&#160;Ignatov, Dmitry I. editor. (orcid)0000-0002-6584-8534&#160;Vorontsov, Konstantin V. editor. (orcid)0000-0002-4244-4270&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35400-8">https://doi.org/10.1007/978-3-030-35400-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:485087 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22747-0">https://doi.org/10.1007/978-3-030-22747-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part V ent://SD_ILS/0/SD_ILS:485088 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22750-0">https://doi.org/10.1007/978-3-030-22750-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:486113 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22744-9">https://doi.org/10.1007/978-3-030-22744-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph-Based Representations in Pattern Recognition 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486323 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Conte, Donatello. editor. (orcid)0000-0003-4642-4768&#160;Ramel, Jean-Yves. editor.&#160;Foggia, Pasquale. editor. (orcid)0000-0002-7096-1902&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20081-7">https://doi.org/10.1007/978-3-030-20081-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2019: Workshop and Special Sessions 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17&ndash;19, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486237 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;Karpov, Pavel. editor. (orcid)0000-0003-4786-9806&#160;Theis, Fabian. editor. (orcid)0000-0002-2419-1943&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30493-5">https://doi.org/10.1007/978-3-030-30493-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 &ndash; October 4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486336 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Schiex, Thomas. editor. (orcid)0000-0001-6049-3415&#160;de Givry, Simon. editor. (orcid)0000-0002-2242-0458&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30048-7">https://doi.org/10.1007/978-3-030-30048-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbr&uuml;cken, Germany, July 8-10, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486342 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201&#160;Kleefeld, Andreas. editor. (orcid)0000-0001-8324-821X&#160;Naegel, Beno&icirc;t. editor. (orcid)0000-0002-7695-1473&#160;Passat, Nicolas. editor. (orcid)0000-0002-0320-4581&#160;Perret, Benjamin. editor. (orcid)0000-0003-0933-8342<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20867-7">https://doi.org/10.1007/978-3-030-20867-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Game Theory Third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7&ndash;9, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486359 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Li, Deng-Feng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-0657-4">https://doi.org/10.1007/978-981-15-0657-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486946 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Seki, Hirosato. editor.&#160;Nguyen, Canh Hao. editor.&#160;Huynh, Van-Nam. editor.&#160;Inuiguchi, Masahiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-14815-7">https://doi.org/10.1007/978-3-030-14815-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ophthalmic Medical Image Analysis 6th International Workshop, OMIA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, Proceedings ent://SD_ILS/0/SD_ILS:482908 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Fu, Huazhu. editor. (orcid)0000-0002-9702-5524&#160;Garvin, Mona K. editor. (orcid)0000-0003-3299-3150&#160;MacGillivray, Tom. editor. (orcid)0000-0001-5120-0086&#160;Xu, Yanwu. editor. (orcid)0000-0002-1779-931X&#160;Zheng, Yalin. editor. (orcid)0000-0002-7873-0922<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32956-3">https://doi.org/10.1007/978-3-030-32956-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483052 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Boja&#324;czyk, Miko&#322;aj. editor.&#160;Simpson, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1&ndash;5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482864 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;van Bevern, Ren&eacute;. editor. (orcid)0000-0002-4805-218X&#160;Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19955-5">https://doi.org/10.1007/978-3-030-19955-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483296 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Thachuk, Chris. editor.&#160;Liu, Yan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26807-7">https://doi.org/10.1007/978-3-030-26807-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Methods and Applications 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483422 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Nikolov, Geno. editor. (orcid)0000-0001-5608-2488&#160;Kolkovska, Natalia. editor.&#160;Georgiev, Krassimir. editor. (orcid)0000-0001-5277-2887&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-10692-8">https://doi.org/10.1007/978-3-030-10692-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Industrial Networks and Intelligent Systems 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:483534 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Duong, Trung Q. editor.&#160;Vo, Nguyen-Son. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05873-9">https://doi.org/10.1007/978-3-030-05873-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24&ndash;26, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486305 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X&#160;Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-16692-2">https://doi.org/10.1007/978-3-030-16692-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deep Learning with R ent://SD_ILS/0/SD_ILS:486235 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Ghatak, Abhijit. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-5850-0">https://doi.org/10.1007/978-981-13-5850-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486236 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22734-0">https://doi.org/10.1007/978-3-030-22734-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Operations Research and Enterprise Systems 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24&ndash;26, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486253 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Parlier, Greg H. editor.&#160;Liberatore, Federico. editor.&#160;Demange, Marc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-16035-7">https://doi.org/10.1007/978-3-030-16035-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optimization and Applications 9th International Conference, OPTIMA 2018, Petrovac, Montenegro, October 1&ndash;5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486733 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Evtushenko, Yury. editor. (orcid)0000-0002-6094-7808&#160;Ja&#263;imovi&#263;, Milojica. editor. (orcid)0000-0002-7068-8563&#160;Khachay, Michael. editor. (orcid)0000-0003-3555-0080&#160;Kochetov, Yury. editor. (orcid)0000-0001-7123-8647&#160;Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-10934-9">https://doi.org/10.1007/978-3-030-10934-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Decision Theory 6th International Conference, ADT 2019, Durham, NC, USA, October 25&ndash;27, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482897 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Peke&#269;, Sa&scaron;a. editor.&#160;Venable, Kristen Brent. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31489-7">https://doi.org/10.1007/978-3-030-31489-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482979 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Khan, Md. Aquil. editor.&#160;Manuel, Amaldev. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-58771-3">https://doi.org/10.1007/978-3-662-58771-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geometric Science of Information 4th International Conference, GSI 2019, Toulouse, France, August 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483745 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Nielsen, Frank. editor.&#160;Barbaresco, Fr&eacute;d&eacute;ric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26980-7">https://doi.org/10.1007/978-3-030-26980-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483907 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Filiot, Emmanuel. editor.&#160;Jungers, Rapha&euml;l. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30806-3">https://doi.org/10.1007/978-3-030-30806-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers in Algorithmics 13th International Workshop, FAW 2019, Sanya, China, April 29 &ndash; May 3, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483857 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Chen, Yijia. editor.&#160;Deng, Xiaotie. editor.&#160;Lu, Mei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-18126-0">https://doi.org/10.1007/978-3-030-18126-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2019 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10&ndash;12, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:485058 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Lu, Huchuan. editor.&#160;Tang, Huajin. editor.&#160;Wang, Zhanshan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22808-8">https://doi.org/10.1007/978-3-030-22808-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXXIV ent://SD_ILS/0/SD_ILS:485220 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948&#160;Kowalczyk, Ryszard. editor.&#160;Mercik, Jacek. editor.&#160;Motylska-Ku&#378;ma, Anna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-60555-4">https://doi.org/10.1007/978-3-662-60555-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485295 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261&#160;Gee, James C. editor. (orcid)0000-0002-2258-0187&#160;Yushkevich, Paul A. editor. (orcid)0000-0001-8543-4016&#160;Bao, Siqi. editor. (orcid)0000-0003-3885-125X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20351-1">https://doi.org/10.1007/978-3-030-20351-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Cities, Green Technologies, and Intelligent Transport Systems 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485395 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Donnellan, Brian. editor.&#160;Klein, Cornel. editor.&#160;Helfert, Markus. editor.&#160;Gusikhin, Oleg. editor.&#160;Pascoal, Ant&oacute;nio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02907-4">https://doi.org/10.1007/978-3-030-02907-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485418 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001&#160;Sanguinetti, Guido. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31304-3">https://doi.org/10.1007/978-3-030-31304-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485469 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Bykadorov, Igor. editor. (orcid)0000-0002-2740-3905&#160;Strusevich, Vitaly. editor. (orcid)0000-0002-4602-8573&#160;Tchemisova, Tatiana. editor. (orcid)0000-0002-2678-2552&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-33394-2">https://doi.org/10.1007/978-3-030-33394-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stochastic Models in Reliability, Network Security and System Safety Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday ent://SD_ILS/0/SD_ILS:486029 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Li, Quan-Lin. editor.&#160;Wang, Jinting. editor.&#160;Yu, Hai-Bo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-0864-6">https://doi.org/10.1007/978-981-15-0864-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22&ndash;25, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:398934 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Kozubek, Tom&aacute;&scaron;. editor.&#160;&#268;erm&aacute;k, Martin. editor. (orcid)0000-0002-0171-625X&#160;Tich&yacute;, Petr. editor. (orcid)0000-0001-6008-4056&#160;Blaheta, Radim. editor.&#160;&Scaron;&iacute;stek, Jakub. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97136-0">https://doi.org/10.1007/978-3-319-97136-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dynamic Decoupling of Robot Manipulators ent://SD_ILS/0/SD_ILS:402023 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Arakelian, Vigen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74363-9">https://doi.org/10.1007/978-3-319-74363-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Trusted Autonomy ent://SD_ILS/0/SD_ILS:400821 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Abbass, Hussein A. editor.&#160;Scholz, Jason. editor.&#160;Reid, Darryn J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-64816-3">https://doi.org/10.1007/978-3-319-64816-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:482715 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Coello Coello, Carlos. editor. (orcid)0000-0002-8435-680X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11857-4">https://doi.org/10.1007/978-3-319-11857-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Grammar 19th International Conference, Formal Grammar 2014, T&uuml;bingen, Germany, August 16-17, 2014. Proceedings ent://SD_ILS/0/SD_ILS:482800 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Morrill, Glyn. editor.&#160;Muskens, Reinhard. editor.&#160;Osswald, Rainer. editor.&#160;Richter, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44121-3">https://doi.org/10.1007/978-3-662-44121-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Person Re-Identification ent://SD_ILS/0/SD_ILS:484441 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Gong, Shaogang. editor.&#160;Cristani, Marco. editor. (orcid)0000-0002-0523-6042&#160;Yan, Shuicheng. editor.&#160;Loy, Chen Change. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6296-4">https://doi.org/10.1007/978-1-4471-6296-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485585 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Demri, St&eacute;phane. editor.&#160;Kapur, Deepak. editor.&#160;Weidenbach, Christoph. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08587-6">https://doi.org/10.1007/978-3-319-08587-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485592 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Cariani, Fabrizio. editor.&#160;Grossi, Davide. editor.&#160;Meheus, Joke. editor.&#160;Parent, Xavier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08615-6">https://doi.org/10.1007/978-3-319-08615-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485622 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Sinz, Carsten. editor.&#160;Egly, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09284-3">https://doi.org/10.1007/978-3-319-09284-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm Intelligence 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485642 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Dorigo, Marco. editor. (orcid)0000-0002-3971-0507&#160;Birattari, Mauro. editor. (orcid)0000-0003-3309-2194&#160;Garnier, Simon. editor.&#160;Hamann, Heiko. editor.&#160;Montes de Oca, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09952-1">https://doi.org/10.1007/978-3-319-09952-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487052 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Cai, Zhipeng. editor.&#160;Zelikovsky, Alexander. editor.&#160;Bourgeois, Anu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08783-2">https://doi.org/10.1007/978-3-319-08783-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph-Based Representation and Reasoning 21st International Conference on Conceptual Structures, ICCS 2014, Ia&#351;i, Romania, July 27-30, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489090 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Hernandez, Nathalie. editor.&#160;J&auml;schke, Robert. editor.&#160;Croitoru, Madalina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08389-6">https://doi.org/10.1007/978-3-319-08389-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature -- PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings ent://SD_ILS/0/SD_ILS:485687 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Bartz-Beielstein, Thomas. editor.&#160;Branke, Juergen. editor.&#160;Filipi&#269;, Bogdan. editor. (orcid)0000-0003-4428-4255&#160;Smith, James. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10762-2">https://doi.org/10.1007/978-3-319-10762-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bayesian and grAphical Models for Biomedical Imaging First International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485764 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Cardoso, M. Jorge. editor. (orcid)0000-0003-1284-2558&#160;Simpson, Ivor. editor.&#160;Arbel, Tal. editor.&#160;Precup, Doina. editor.&#160;Ribbens, Annemie. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12289-2">https://doi.org/10.1007/978-3-319-12289-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings ent://SD_ILS/0/SD_ILS:485812 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Dick, Grant. editor.&#160;Browne, Will N. editor.&#160;Whigham, Peter. editor.&#160;Zhang, Mengjie. editor.&#160;Bui, Lam Thu. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13563-2">https://doi.org/10.1007/978-3-319-13563-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485825 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Aranda-Corral, Gonzalo A. editor.&#160;Calmet, Jacques. editor.&#160;Mart&iacute;n-Mateos, Francisco J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13770-4">https://doi.org/10.1007/978-3-319-13770-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fun with Algorithms 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487241 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Ferro, Alfredo. editor.&#160;Luccio, Fabrizio. editor.&#160;Widmayer, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07890-8">https://doi.org/10.1007/978-3-319-07890-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2014: Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practice of Computer Science,Nov&yacute; Smokovec, Slovakia, January 26-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487593 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Geffert, Viliam. editor.&#160;Preneel, Bart. editor.&#160;Rovan, Branislav. editor.&#160;&Scaron;tuller, J&uacute;lius. editor.&#160;Tjoa, A Min. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04298-5">https://doi.org/10.1007/978-3-319-04298-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Differentiation of Pragma-Defined Parallel Regions Differentiating Computer Programs Containing OpenMP ent://SD_ILS/0/SD_ILS:487647 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;F&ouml;rster, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-07597-2">https://doi.org/10.1007/978-3-658-07597-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487655 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Beierle, Christoph. editor.&#160;Meghini, Carlo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04939-7">https://doi.org/10.1007/978-3-319-04939-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487781 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Pizzuti, Clara. editor. (orcid)0000-0001-7297-7126&#160;Spezzano, Giandomenico. editor. (orcid)0000-0002-2518-5510&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12745-3">https://doi.org/10.1007/978-3-319-12745-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487782 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;van den Herik, H. Jaap. editor.&#160;Iida, Hiroyuki. editor.&#160;Plaat, Aske. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09165-5">https://doi.org/10.1007/978-3-319-09165-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experimental Algorithms 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 -- July 1, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489020 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Gudmundsson, Joachim. editor.&#160;Katajainen, Jyrki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07959-2">https://doi.org/10.1007/978-3-319-07959-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valpara&iacute;so, Chile, September 1-4, 2014. Proceedings ent://SD_ILS/0/SD_ILS:482852 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Kohlenbach, Ulrich. editor.&#160;Barcel&oacute;, Pablo. editor.&#160;de Queiroz, Ruy J G B. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44145-9">https://doi.org/10.1007/978-3-662-44145-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:488935 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Coello Coello, Carlos A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11897-0">https://doi.org/10.1007/978-3-319-11897-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488937 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Aguilera, Marcos K. editor.&#160;Querzoni, Leonardo. editor.&#160;Shapiro, Marc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14472-6">https://doi.org/10.1007/978-3-319-14472-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Diagrammatic Representation and Inference 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488938 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Dwyer, Tim. editor.&#160;Purchase, Helen. editor.&#160;Delaney, Aidan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44043-8">https://doi.org/10.1007/978-3-662-44043-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automatic Generation of Combinatorial Test Data ent://SD_ILS/0/SD_ILS:489313 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Zhang, Jian. author.&#160;Zhang, Zhiqiang. author.&#160;Ma, Feifei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43429-1">https://doi.org/10.1007/978-3-662-43429-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings ent://SD_ILS/0/SD_ILS:484565 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;O'Sullivan, Barry. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10428-7">https://doi.org/10.1007/978-3-319-10428-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:485454 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Croitoru, Madalina. editor.&#160;Rudolph, Sebastian. editor.&#160;Woltran, Stefan. editor. (orcid)0000-0003-1594-8972&#160;Gonzales, Christophe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04534-4">https://doi.org/10.1007/978-3-319-04534-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485472 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Sierra-Rodr&iacute;guez, Jos&eacute;-Luis. editor.&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04921-2">https://doi.org/10.1007/978-3-319-04921-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485526 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;H&ouml;fner, Peter. editor.&#160;Jipsen, Peter. editor.&#160;Kahl, Wolfram. editor.&#160;M&uuml;ller, Martin Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06251-8">https://doi.org/10.1007/978-3-319-06251-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334549 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Gomes, Carla. editor.&#160;Sellmann, Meinolf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334549.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38171-3">http://dx.doi.org/10.1007/978-3-642-38171-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334552 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Albert, Elvira. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334552.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334615 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Bonifaci, Vincenzo. editor.&#160;Demetrescu, Camil. editor.&#160;Marchetti-Spaccamela, Alberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334615.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38527-8">http://dx.doi.org/10.1007/978-3-642-38527-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334653 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Mo, Hongwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334653.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38703-6">http://dx.doi.org/10.1007/978-3-642-38703-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334657 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Mo, Hongwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334657.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38715-9">http://dx.doi.org/10.1007/978-3-642-38715-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334665 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Du, Ding-Zhu. editor.&#160;Zhang, Guochuan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334665.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38768-5">http://dx.doi.org/10.1007/978-3-642-38768-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings ent://SD_ILS/0/SD_ILS:334962 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Galmiche, Didier. editor.&#160;Larchey-Wendling, Dominique. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334969 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Cabalar, Pedro. editor.&#160;Son, Tran Cao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334969.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334915 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Nascimento, Mario A. editor.&#160;Sellis, Timos. editor.&#160;Cheng, Reynold. editor.&#160;Sander, J&ouml;rg. editor.&#160;Zheng, Yu. editor.<br/>Preferred Shelf Number&#160;ONLINE(334915.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40235-7">http://dx.doi.org/10.1007/978-3-642-40235-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335176 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Nicosia, Giuseppe. editor.&#160;Pardalos, Panos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335176.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-44973-4">http://dx.doi.org/10.1007/978-3-642-44973-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335214 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Atzmueller, Martin. editor.&#160;Chin, Alvin. editor.&#160;Helic, Denis. editor.&#160;Hotho, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335214.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45392-2">http://dx.doi.org/10.1007/978-3-642-45392-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332892 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Soloveichik, David. editor.&#160;Yurke, Bernard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332892.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-01928-4">http://dx.doi.org/10.1007/978-3-319-01928-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334048 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Pfeiffer, Heather D. editor.&#160;Ignatov, Dmitry I. editor.&#160;Poelmans, Jonas. editor.&#160;Gadiraju, Nagarjuna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334048.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35786-2">http://dx.doi.org/10.1007/978-3-642-35786-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, &Scaron;pindler&#367;v Ml&yacute;n, Czech Republic, January 26-31, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334064 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Emde Boas, Peter. editor.&#160;Groen, Frans C. A. editor.&#160;Italiano, Giuseppe F. editor.&#160;Nawrocki, Jerzy. editor.&#160;Sack, Harald. editor.<br/>Preferred Shelf Number&#160;ONLINE(334064.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35843-2">http://dx.doi.org/10.1007/978-3-642-35843-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334105 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Lodaya, Kamal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334105.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36039-8">http://dx.doi.org/10.1007/978-3-642-36039-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334121 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Bar-Noy, Amotz. editor.&#160;Halld&oacute;rsson, Magn&uacute;s M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334121.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36092-3">http://dx.doi.org/10.1007/978-3-642-36092-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334879 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Nielsen, Frank. editor.&#160;Barbaresco, Fr&eacute;d&eacute;ric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334879.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40020-9">http://dx.doi.org/10.1007/978-3-642-40020-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334987 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Ida, Tetsuo. editor.&#160;Fleuriot, Jacques. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334987.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40672-0">http://dx.doi.org/10.1007/978-3-642-40672-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:335036 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Blockeel, Hendrik. editor.&#160;Kersting, Kristian. editor.&#160;Nijssen, Siegfried. editor.&#160;&#381;elezn&yacute;, Filip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335036.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40988-2">http://dx.doi.org/10.1007/978-3-642-40988-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:335037 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Blockeel, Hendrik. editor.&#160;Kersting, Kristian. editor.&#160;Nijssen, Siegfried. editor.&#160;&#381;elezn&yacute;, Filip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335037.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40991-2">http://dx.doi.org/10.1007/978-3-642-40991-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part III ent://SD_ILS/0/SD_ILS:335038 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Blockeel, Hendrik. editor.&#160;Kersting, Kristian. editor.&#160;Nijssen, Siegfried. editor.&#160;&#381;elezn&yacute;, Filip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335038.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40994-3">http://dx.doi.org/10.1007/978-3-642-40994-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:332975 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Glass, Kristin. editor.&#160;Colbaugh, Richard. editor.&#160;Ormerod, Paul. editor.&#160;Tsao, Jeffrey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332975.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03473-7">http://dx.doi.org/10.1007/978-3-319-03473-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332999 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Baldoni, Roberto. editor.&#160;Nisse, Nicolas. editor.&#160;Steen, Maarten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332999.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03850-6">http://dx.doi.org/10.1007/978-3-319-03850-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Search: From Algorithms to Systems ent://SD_ILS/0/SD_ILS:335109 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Hamadi, Youssef. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335109.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41482-4">http://dx.doi.org/10.1007/978-3-642-41482-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid algorithms for service, computing and manufacturing systems routing and scheduling solutions ent://SD_ILS/0/SD_ILS:278609 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Montoya-Torres, Jairo R., 1977-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=392531">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=392531</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foreign-Exchange-Rate Forecasting With Artificial Neural Networks ent://SD_ILS/0/SD_ILS:166864 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Yu, Lean. author.&#160;Wang, Shouyang. author.&#160;Lai, Kin Keung. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-71720-3">http://dx.doi.org/10.1007/978-0-387-71720-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Mathematical Programming and Fuzzy Matrix Games ent://SD_ILS/0/SD_ILS:183314 2024-10-30T05:59:34Z 2024-10-30T05:59:34Z Author&#160;Bector, C. R. author.&#160;Chandra, Suresh. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-32371-6">http://dx.doi.org/10.1007/3-540-32371-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>