Search Results for Computer science. - Narrowed by: 2011 - Artificial intelligence. - Logic design. - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092011$0025092011$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-11T14:28:58Z Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 &ndash; June 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194581 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Swart, Harrie. 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-21070-9">http://dx.doi.org/10.1007/978-3-642-21070-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement ent://SD_ILS/0/SD_ILS:195782 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Kuich, Werner. editor.&#160;Rahonis, George. 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-24897-9">http://dx.doi.org/10.1007/978-3-642-24897-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193711 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Johnson, Michael. editor.&#160;Pavlovic, Dusko. 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-17796-5">http://dx.doi.org/10.1007/978-3-642-17796-5</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-11T14:28:58Z 2024-09-11T14:28:58Z 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/> Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:194449 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Meyden, Ron. editor.&#160;Smaus, Jan-Georg. 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-20674-0">http://dx.doi.org/10.1007/978-3-642-20674-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers ent://SD_ILS/0/SD_ILS:194463 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Omicini, Andrea. editor.&#160;Sardina, Sebastian. editor.&#160;Vasconcelos, Wamberto. 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-20715-0">http://dx.doi.org/10.1007/978-3-642-20715-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194523 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Delgrande, James P. editor.&#160;Faber, Wolfgang. 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-20895-9">http://dx.doi.org/10.1007/978-3-642-20895-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195000 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Leite, Jo&atilde;o. editor.&#160;Torroni, Paolo. editor.&#160;&Aring;gotnes, Thomas. editor.&#160;Boella, Guido. editor.&#160;Torre, Leon. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22359-4">http://dx.doi.org/10.1007/978-3-642-22359-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction &ndash; CADE-23 23rd International Conference on Automated Deduction, Wroc&#322;aw, Poland, July 31 - August 5, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195027 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Bj&oslash;rner, Nikolaj. editor.&#160;Sofronie-Stokkermans, Viorica. 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-22438-6">http://dx.doi.org/10.1007/978-3-642-22438-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195090 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Weyns, Danny. editor.&#160;Gleizes, Marie-Pierre. 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-22636-6">http://dx.doi.org/10.1007/978-3-642-22636-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195162 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Eekelen, Marko. editor.&#160;Geuvers, Herman. editor.&#160;Schmaltz, Julien. editor.&#160;Wiedijk, Freek. 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-22863-6">http://dx.doi.org/10.1007/978-3-642-22863-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbr&uuml;cken, Germany, October 5-7, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195616 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Tinelli, Cesare. editor.&#160;Sofronie-Stokkermans, Viorica. 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-24364-6">http://dx.doi.org/10.1007/978-3-642-24364-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers ent://SD_ILS/0/SD_ILS:195642 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Scholz, Sven-Bodo. editor.&#160;Chitil, Olaf. 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-24452-0">http://dx.doi.org/10.1007/978-3-642-24452-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiagent System Technologies 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195687 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Kl&uuml;gl, Franziska. editor.&#160;Ossowski, Sascha. 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-24603-6">http://dx.doi.org/10.1007/978-3-642-24603-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling &ndash; ER 2011 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195688 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Jeusfeld, Manfred. editor.&#160;Delcambre, Lois. editor.&#160;Ling, Tok-Wang. 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-24606-7">http://dx.doi.org/10.1007/978-3-642-24606-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195716 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Barthe, Gilles. editor.&#160;Pardo, Alberto. editor.&#160;Schneider, Gerardo. 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-24690-6">http://dx.doi.org/10.1007/978-3-642-24690-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:193874 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Rocha, Ricardo. editor.&#160;Launchbury, John. 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-18378-2">http://dx.doi.org/10.1007/978-3-642-18378-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193968 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Gleizes, Marie-Pierre. editor.&#160;Gomez-Sanz, Jorge J. 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-19208-1">http://dx.doi.org/10.1007/978-3-642-19208-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 20th European Symposium on Programming, ESOP 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:194133 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Barthe, Gilles. 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-19718-5">http://dx.doi.org/10.1007/978-3-642-19718-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194411 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Alpuente, Mar&iacute;a. 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-20551-4">http://dx.doi.org/10.1007/978-3-642-20551-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194918 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Gopalakrishnan, Ganesh. editor.&#160;Qadeer, Shaz. 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-22110-1">http://dx.doi.org/10.1007/978-3-642-22110-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194920 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Br&uuml;nnler, Kai. editor.&#160;Metcalfe, George. 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-22119-4">http://dx.doi.org/10.1007/978-3-642-22119-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CONCUR 2011 &ndash; Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195275 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Katoen, Joost-Pieter. 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-23217-6">http://dx.doi.org/10.1007/978-3-642-23217-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings ent://SD_ILS/0/SD_ILS:196127 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Kim, Tai-hoon. editor.&#160;Adeli, Hojjat. editor.&#160;Kim, Haeng-kon. editor.&#160;Kang, Heau-jo. editor.&#160;Kim, Kyung Jung. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27207-3">http://dx.doi.org/10.1007/978-3-642-27207-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193308 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Moraz&aacute;n, Marco T. editor.&#160;Scholz, Sven-Bodo. 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-16478-1">http://dx.doi.org/10.1007/978-3-642-16478-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195929 2024-09-11T14:28:58Z 2024-09-11T14:28:58Z Author&#160;Jouannaud, Jean-Pierre. editor.&#160;Shao, Zhong. 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-25379-9">http://dx.doi.org/10.1007/978-3-642-25379-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>