Search Results for Analysis. - Narrowed by: SpringerLink (Online service) - Online Library - Artificial intelligence. - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAnalysis.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-05T23:08:51Z Formal Concept Analysis Foundations and Applications ent://SD_ILS/0/SD_ILS:182967 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Ganter, Bernhard. editor.&#160;Stumme, Gerd. editor.&#160;Wille, Rudolf. 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-31881-1">http://dx.doi.org/10.1007/978-3-540-31881-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486578 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336&#160;Cheng, Chih-Hong. editor.&#160;Esparza, Javier. 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-31784-3">https://doi.org/10.1007/978-3-030-31784-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 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, Part II ent://SD_ILS/0/SD_ILS:484033 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Vojnar, Tom&aacute;&scaron;. editor. (orcid)0000-0002-2746-8792&#160;Zhang, Lijun. editor. (orcid)0000-0002-3692-2088&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399515 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Jansen, David N. editor. (orcid)0000-0002-6636-3301&#160;Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400542 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Stoyanov, Danail. editor.&#160;Taylor, Zeike. editor.&#160;Sarikaya, Duygu. editor.&#160;McLeod, Jonathan. editor.&#160;Gonz&aacute;lez Ballester, Miguel Angel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01201-4">https://doi.org/10.1007/978-3-030-01201-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers ent://SD_ILS/0/SD_ILS:400041 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622&#160;H&auml;hnle, Reiner. editor. (orcid)0000-0001-8000-7613&#160;Meinke, Karl. editor. (orcid)0000-0002-9706-5008&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96562-8">https://doi.org/10.1007/978-3-319-96562-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400641 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. 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-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400459 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Itsykson, Vladimir. editor.&#160;Scedrov, Andre. editor.&#160;Zakharov, Victor. 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-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334580 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Cellier, Peggy. editor.&#160;Distel, Felix. editor.&#160;Ganter, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334580.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38317-5">http://dx.doi.org/10.1007/978-3-642-38317-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Impact Analysis of Solutions for Chronic Disease Prevention and Management 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196958 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Donnelly, Mark. editor.&#160;Paggetti, Cristiano. editor.&#160;Nugent, Chris. editor.&#160;Mokhtari, Mounir. 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-30779-9">http://dx.doi.org/10.1007/978-3-642-30779-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 &ndash; April 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196526 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Flanagan, Cormac. editor.&#160;K&ouml;nig, Barbara. 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-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196792 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Domenach, Florent. editor.&#160;Ignatov, Dmitry I. editor.&#160;Poelmans, Jonas. 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-29892-9">http://dx.doi.org/10.1007/978-3-642-29892-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr&uuml;cken, Germany, March 26&ndash;April 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194172 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Abdulla, Parosh Aziz. editor.&#160;Leino, K. Rustan 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-19835-9">http://dx.doi.org/10.1007/978-3-642-19835-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194398 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Valtchev, Petko. editor.&#160;J&auml;schke, Robert. 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-20514-9">http://dx.doi.org/10.1007/978-3-642-20514-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Information Systems &ndash; Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings ent://SD_ILS/0/SD_ILS:196140 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Chaki, Nabendu. editor.&#160;Cortesi, Agostino. 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-27245-5">http://dx.doi.org/10.1007/978-3-642-27245-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191857 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Esparza, Javier. editor.&#160;Majumdar, Rupak. 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-12002-2">http://dx.doi.org/10.1007/978-3-642-12002-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:193514 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Siegler, Simon. editor.&#160;Wasser, Nathan. 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-17172-7">http://dx.doi.org/10.1007/978-3-642-17172-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers ent://SD_ILS/0/SD_ILS:189109 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Collins, John. editor.&#160;Faratin, Peyman. editor.&#160;Parsons, Simon. editor.&#160;Rodriguez-Aguilar, Juan A. editor.&#160;Sadeh, Norman M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88713-3">http://dx.doi.org/10.1007/978-3-540-88713-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190130 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Ferr&eacute;, S&eacute;bastien. editor.&#160;Rudolph, Sebastian. 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-01815-2">http://dx.doi.org/10.1007/978-3-642-01815-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188042 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Medina, Raoul. editor.&#160;Obiedkov, Sergei. 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-78137-0">http://dx.doi.org/10.1007/978-3-540-78137-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186092 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Kuznetsov, Sergei O. editor.&#160;Schmidt, Stefan. 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-70901-5">http://dx.doi.org/10.1007/978-3-540-70901-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183210 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Missaoui, Rokia. editor.&#160;Schmidt, J&uuml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11671404">http://dx.doi.org/10.1007/11671404</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183249 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Ganter, Bernhard. editor.&#160;Godin, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105806">http://dx.doi.org/10.1007/b105806</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 &ndash; October 2, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485409 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898&#160;Vo&szlig;, Stefan. editor. (orcid)0000-0003-1296-4221&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31140-7">https://doi.org/10.1007/978-3-030-31140-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:332993 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Das, Swagatam. editor.&#160;Dash, Shubhransu Sekhar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332993.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03753-0">http://dx.doi.org/10.1007/978-3-319-03753-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:332994 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Das, Swagatam. editor.&#160;Dash, Shubhransu Sekhar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332994.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03756-1">http://dx.doi.org/10.1007/978-3-319-03756-1</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-09-05T23:08:51Z 2024-09-05T23:08:51Z 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/> Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings ent://SD_ILS/0/SD_ILS:334973 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Karhum&auml;ki, Juhani. editor.&#160;Lepist&ouml;, Arto. editor.&#160;Zamboni, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334973.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing Second International Conference, TPNC 2013, C&aacute;ceres, Spain, December 3-5, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335178 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. editor.&#160;Vega-Rodr&iacute;guez, Miguel A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335178.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45008-2">http://dx.doi.org/10.1007/978-3-642-45008-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-09-05T23:08:51Z 2024-09-05T23:08:51Z 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/> Automated Deduction &ndash; CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334626 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Bonacina, Maria Paola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334626.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 &ndash; August 3, 2013 Proceedings ent://SD_ILS/0/SD_ILS:334814 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;K&uuml;hnberger, Kai-Uwe. editor.&#160;Rudolph, Sebastian. editor.&#160;Wang, Pei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334814.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39521-5">http://dx.doi.org/10.1007/978-3-642-39521-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334825 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Blazy, Sandrine. editor.&#160;Paulin-Mohring, Christine. editor.&#160;Pichardie, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334825.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335023 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Fontaine, Pascal. editor.&#160;Ringeissen, Christophe. editor.&#160;Schmidt, Renate A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335023.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40885-4">http://dx.doi.org/10.1007/978-3-642-40885-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335043 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Pacino, Dario. editor.&#160;Vo&szlig;, Stefan. editor.&#160;Jensen, Rune M&oslash;ller. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335043.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41019-2">http://dx.doi.org/10.1007/978-3-642-41019-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335048 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Shaikh, Faisal Karim. editor.&#160;Chowdhry, Bhawani Shankar. editor.&#160;Ammari, Habib M. editor.&#160;Uqaili, Muhammad Aslam. editor.&#160;Shah, Assadullah. editor.<br/>Preferred Shelf Number&#160;ONLINE(335048.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41054-3">http://dx.doi.org/10.1007/978-3-642-41054-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolution of Telecommunication Services The Convergence of Telecom and Internet: Technologies and Ecosystems ent://SD_ILS/0/SD_ILS:335123 2024-09-05T23:08:51Z 2024-09-05T23:08:51Z Author&#160;Bertin, Emmanuel. editor.&#160;Crespi, Noel. editor.&#160;Magedanz, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335123.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41569-2">http://dx.doi.org/10.1007/978-3-642-41569-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>