Search Results for Logic. - Narrowed by: E-Book - 2015
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-03T05:07:12Z
The rise of modern logic from Leibniz to Frege
ent://SD_ILS/0/SD_ILS:256625
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516114">http://www.sciencedirect.com/science/book/9780444516114</a><br/>Format: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518775.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
ent://SD_ILS/0/SD_ILS:518822
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518822.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21768-0">https://doi.org/10.1007/978-3-319-21768-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.
ent://SD_ILS/0/SD_ILS:518853
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Lambrix, Patrick. editor. Hyvönen, Eero. editor. Blomqvist, Eva. editor. Presutti, Valentina. editor. Qi, Guilin. editor.<br/>Preferred Shelf Number XX(518853.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17966-7">https://doi.org/10.1007/978-3-319-17966-7</a><br/>Format: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Falaschi, Moreno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518861.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.<br/>Preferred Shelf Number XX(518949.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519040.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519102
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519102.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23708-4">https://doi.org/10.1007/978-3-319-23708-4</a><br/>Format: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519103.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519118.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:519268
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Martí-Oliet, Narciso. editor. Ölveczky, Peter Csaba. editor. Talcott, Carolyn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519268.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
ent://SD_ILS/0/SD_ILS:519274
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Beklemishev, Lev D. editor. Blass, Andreas. editor. Dershowitz, Nachum. editor. Finkbeiner, Bernd. editor. Schulte, Wolfram. editor.<br/>Preferred Shelf Number XX(519274.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23534-9">https://doi.org/10.1007/978-3-319-23534-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:519276
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519276.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14726-0">https://doi.org/10.1007/978-3-319-14726-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519293
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519293.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519137.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Kurt Gödel and the Foundations of Mathematics Horizons of Truth
ent://SD_ILS/0/SD_ILS:237387
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Baaz, Matthias. Papadimitriou, Christos H.. Putnam, Hilary W.. Scott, Dana S.. Harper, Jr, Charles L..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511974236">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518529
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Vinh, Phan Cong. editor. Vassev, Emil. editor. Hinchey, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518529.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15392-6">https://doi.org/10.1007/978-3-319-15392-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundation Mathematics for Computer Science A Visual Approach
ent://SD_ILS/0/SD_ILS:518439
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518439.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21437-5">https://doi.org/10.1007/978-3-319-21437-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518497
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Benyoucef, Morad. editor. Weiss, Michael. editor. Mili, Hafedh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518497.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17957-5">https://doi.org/10.1007/978-3-319-17957-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless and Satellite Systems 7th International Conference, WiSATS 2015, Bradford, UK, July 6-7, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518737
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Pillai, Prashant. editor. Hu, Yim Fun. editor. Otung, Ifiok. editor. Giambene, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518737.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25479-1">https://doi.org/10.1007/978-3-319-25479-1</a><br/>Format: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518797.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518798.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518814
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Bulling, Nils. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518814.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17130-2">https://doi.org/10.1007/978-3-319-17130-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518878
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518878.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21365-1">https://doi.org/10.1007/978-3-319-21365-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518891
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Zdravkovic, Jelena. editor. Kirikova, Marite. editor. Johannesson, Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518891.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19069-3">https://doi.org/10.1007/978-3-319-19069-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518953
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518953.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20860-2">https://doi.org/10.1007/978-3-319-20860-2</a><br/>Format: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519014.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519119
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519119.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27947-3">https://doi.org/10.1007/978-3-319-27947-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519135
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519135.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23820-3">https://doi.org/10.1007/978-3-319-23820-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:519034
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519034.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22053-6">https://doi.org/10.1007/978-3-319-22053-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:519154
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519154.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15075-8">https://doi.org/10.1007/978-3-319-15075-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
ent://SD_ILS/0/SD_ILS:519157
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author ten Cate, Balder. editor. Mileo, Alessandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519157.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22002-4">https://doi.org/10.1007/978-3-319-22002-4</a><br/>Format: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(519161.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519049.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Web-Based Learning - ICWL 2013 Workshops USL 2013, IWSLL 2013, KMEL 2013, IWCWL 2013, WIL 2013, and IWEEC 2013, Kenting, Taiwan, October 6-9, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519056
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Chiu, Dickson K. W. editor. Wang, Minhong. editor. Popescu, Elvira. editor. Li, Qing. editor. Lau, Rynson. editor.<br/>Preferred Shelf Number XX(519056.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46315-4">https://doi.org/10.1007/978-3-662-46315-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet and Distributed Computing Systems 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519058
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Di Fatta, Giuseppe. editor. Fortino, Giancarlo. editor. Li, Wenfeng. editor. Pathan, Mukaddim. editor. Stahl, Frederic. editor.<br/>Preferred Shelf Number XX(519058.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23237-9">https://doi.org/10.1007/978-3-319-23237-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519061
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Murata, Tsuyoshi. editor. Mineshima, Koji. editor. Bekki, Daisuke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519061.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48119-6">https://doi.org/10.1007/978-3-662-48119-6</a><br/>Format: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Gelbukh, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519079.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519087
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519087.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23540-0">https://doi.org/10.1007/978-3-319-23540-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2015, Ho Chi Minh City, Vietnam, May 19, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519094
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Chau, Michael. editor. Wang, G. Alan. editor. Chen, Hsinchun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519094.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18455-5">https://doi.org/10.1007/978-3-319-18455-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web-Age Information Management WAIM 2015 International Workshops: HENA, HRSUNE, Qingdao, China, June 8-10, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519109
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Xiao, Xiaokui. editor. Zhang, Zhenjie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519109.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23531-8">https://doi.org/10.1007/978-3-319-23531-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519113
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Destercke, Sébastien. editor. Denoeux, Thierry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519113.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20807-7">https://doi.org/10.1007/978-3-319-20807-7</a><br/>Format: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519117.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519225.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519237.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
New Information and Communication Technologies for Knowledge Management in Organizations 5th Global Innovation and Knowledge Academy Conference, GIKA 2015, Valencia, Spain, July 14-16, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518536
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Palacios-Marqués, Daniel. editor. Ribeiro Soriano, Domingo. editor. Huarng, Kun Huang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518536.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22204-2">https://doi.org/10.1007/978-3-319-22204-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Exploring Services Science 6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518541
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Nóvoa, Henriqueta. editor. Drăgoicea, Monica. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518541.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14980-6">https://doi.org/10.1007/978-3-319-14980-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations
ent://SD_ILS/0/SD_ILS:518563
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Trappl, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518563.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21548-8">https://doi.org/10.1007/978-3-319-21548-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Management in Organizations 10th International Conference, KMO 2015, Maribor, Slovenia, August 24-28, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518629
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Uden, Lorna. editor. Heričko, Marjan. editor. Ting, I-Hsien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518629.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21009-4">https://doi.org/10.1007/978-3-319-21009-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518632
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.<br/>Preferred Shelf Number XX(518632.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19237-6">https://doi.org/10.1007/978-3-319-19237-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering
ent://SD_ILS/0/SD_ILS:518651
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Jureta, Ivan. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518651.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18821-8">https://doi.org/10.1007/978-3-319-18821-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Diffusion in Social Networks
ent://SD_ILS/0/SD_ILS:518499
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Shakarian, Paulo. author. Bhatnagar, Abhivav. author. Aleali, Ashkan. author. Shaabani, Elham. author. Guo, Ruocheng. author.<br/>Preferred Shelf Number XX(518499.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23105-1">https://doi.org/10.1007/978-3-319-23105-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Industrial Engineering, Management Science and Applications 2015
ent://SD_ILS/0/SD_ILS:518706
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Gen, Mitsuo. editor. Kim, Kuinam J. editor. Huang, Xiaoxia. editor. Hiroshi, Yabe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518706.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-47200-2">https://doi.org/10.1007/978-3-662-47200-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518763
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518763.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23485-4">https://doi.org/10.1007/978-3-319-23485-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:519299
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number XX(519299.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19369-4">https://doi.org/10.1007/978-3-319-19369-4</a><br/>Format: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Xu, Dachuan. editor. Du, Donglei. editor. Du, Dingzhu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519301.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519313
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number XX(519313.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19324-3">https://doi.org/10.1007/978-3-319-19324-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concepts and Methodologies for Modeling and Simulation A Tribute to Tuncer Ören
ent://SD_ILS/0/SD_ILS:518340
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Yilmaz, Levent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518340.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15096-3">https://doi.org/10.1007/978-3-319-15096-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the Fifth International Conference on Fuzzy and Neuro Computing (FANCCO - 2015)
ent://SD_ILS/0/SD_ILS:518342
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Ravi, V. editor. Panigrahi, Bijaya Ketan. editor. Das, Swagatam. editor. Suganthan, Ponnuthurai Nagaratnam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518342.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27212-2">https://doi.org/10.1007/978-3-319-27212-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Management in Pervasive Systems
ent://SD_ILS/0/SD_ILS:518375
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Colace, Francesco. editor. De Santo, Massimo. editor. Moscato, Vincenzo. editor. Picariello, Antonio. editor. Schreiber, Fabio A. editor.<br/>Preferred Shelf Number XX(518375.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20062-0">https://doi.org/10.1007/978-3-319-20062-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligence in the Era of Big Data 4th International Conference on Soft Computing, Intelligent Systems, and Information Technology, ICSIIT 2015, Bali, Indonesia, March 11-14, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518694
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Intan, Rolly. editor. Chi, Chi-Hung. editor. Palit, Henry N. editor. Santoso, Leo W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518694.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46742-8">https://doi.org/10.1007/978-3-662-46742-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518922
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518922.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19686-2">https://doi.org/10.1007/978-3-319-19686-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Intelligent Data Analysis XIV 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518899
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Fromont, Elisa. editor. De Bie, Tijl. editor. van Leeuwen, Matthijs. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518899.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24465-5">https://doi.org/10.1007/978-3-319-24465-5</a><br/>Format: Electronic Resources<br/>Availability 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ěžkou, Czech Republic, January 24-29, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518910
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.<br/>Preferred Shelf Number XX(518910.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518980
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518980.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19282-6">https://doi.org/10.1007/978-3-319-19282-6</a><br/>Format: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519139.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519146.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519168
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519168.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21042-1">https://doi.org/10.1007/978-3-319-21042-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519179
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author Suzuki, Joe. editor. Ueno, Maomi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519179.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28379-1">https://doi.org/10.1007/978-3-319-28379-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models of Strategic Reasoning Logics, Games, and Communities
ent://SD_ILS/0/SD_ILS:519080
2024-09-03T05:07:12Z
2024-09-03T05:07:12Z
Author van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519080.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>