Search Results for Manipulation - Narrowed by: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dManipulation$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?dt=list 2026-03-21T01:31:13Z Knowledge Representations for Planning Manipulation Tasks ent://SD_ILS/0/SD_ILS:195869 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Zacharias, Franziska. author.&#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-25182-5">http://dx.doi.org/10.1007/978-3-642-25182-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Real-Time Manipulation of Video Streams ent://SD_ILS/0/SD_ILS:488137 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Herling, Jan. 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-05810-4">https://doi.org/10.1007/978-3-658-05810-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures ent://SD_ILS/0/SD_ILS:333575 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Denkena, Berend. editor.&#160;Hollmann, Ferdinand. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333575.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32448-2">http://dx.doi.org/10.1007/978-3-642-32448-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607158 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Kr&aacute;lovi&#269;, Rastislav. editor. (orcid)0000-0003-1121-1009&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-82670-2">https://doi.org/10.1007/978-3-031-82670-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607261 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Kr&aacute;lovi&#269;, Rastislav. editor. (orcid)0000-0003-1121-1009&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-82697-9">https://doi.org/10.1007/978-3-031-82697-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607335 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Chen, Yong. editor.&#160;Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799&#160;Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670&#160;Zhang, An. editor. (orcid)0000-0002-2622-5158&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-1093-8">https://doi.org/10.1007/978-981-96-1093-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:607238 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Chen, Yong. editor.&#160;Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799&#160;Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670&#160;Zhang, An. editor. (orcid)0000-0002-2622-5158&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-1195-9">https://doi.org/10.1007/978-981-96-1195-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607540 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Chen, Yong. editor.&#160;Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799&#160;Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670&#160;Zhang, An. editor. (orcid)0000-0002-2622-5158&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-1090-7">https://doi.org/10.1007/978-981-96-1090-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A First Introduction to Quantum Computing and Information ent://SD_ILS/0/SD_ILS:605895 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Zygelman, Bernard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-66425-0">https://doi.org/10.1007/978-3-031-66425-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:602109 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Wu, Weili. editor.&#160;Tong, Guangmo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-49193-1">https://doi.org/10.1007/978-3-031-49193-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:602108 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Wu, Weili. editor.&#160;Tong, Guangmo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-49190-0">https://doi.org/10.1007/978-3-031-49190-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings ent://SD_ILS/0/SD_ILS:602531 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Fernau, Henning. editor. (orcid)0000-0002-4444-3220&#160;Gaspers, Serge. editor. (orcid)0000-0002-6947-9238&#160;Klasing, Ralf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-52113-3">https://doi.org/10.1007/978-3-031-52113-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> String Analysis for Software Verification and Security ent://SD_ILS/0/SD_ILS:611157 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Bultan, Tevfik. author.&#160;Yu, Fang. author.&#160;Alkhalaf, Muath. author.&#160;Aydin, Abdulbaki. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68670-7">https://doi.org/10.1007/978-3-319-68670-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616078 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Baltag, Alexandru. editor.&#160;Seligman, Jeremy. editor.&#160;Yamada, Tomoyuki. 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-55665-8">https://doi.org/10.1007/978-3-662-55665-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On Sets and Graphs Perspectives on Logic and Combinatorics ent://SD_ILS/0/SD_ILS:611736 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Omodeo, Eugenio G. author.&#160;Policriti, Alberto. author.&#160;Tomescu, Alexandru I. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54981-1">https://doi.org/10.1007/978-3-319-54981-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616143 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;H&ouml;fner, Peter. editor.&#160;Pous, Damien. editor.&#160;Struth, Georg. 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-57418-9">https://doi.org/10.1007/978-3-319-57418-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616234 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X&#160;Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63139-4">https://doi.org/10.1007/978-3-319-63139-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613083 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Bartocci, Ezio. editor.&#160;Lio, Pietro. editor. (orcid)0000-0002-0540-5053&#160;Paoletti, Nicola. 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-45177-0">https://doi.org/10.1007/978-3-319-45177-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings ent://SD_ILS/0/SD_ILS:616148 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Foret, Annie. editor.&#160;Morrill, Glyn. editor.&#160;Muskens, Reinhard. editor.&#160;Osswald, Rainer. editor.&#160;Pogodalla, Sylvain. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-53042-9">https://doi.org/10.1007/978-3-662-53042-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings ent://SD_ILS/0/SD_ILS:616246 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;V&auml;&auml;n&auml;nen, Jouko. editor.&#160;Hirvonen, &Aring;sa. editor.&#160;de Queiroz, Ruy. 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-52921-8">https://doi.org/10.1007/978-3-662-52921-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611917 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Janou&scaron;ek, Jan. editor.&#160;Mart&iacute;n-Vide, Carlos. 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-30000-9">https://doi.org/10.1007/978-3-319-30000-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334875 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Libkin, Leonid. editor.&#160;Kohlenbach, Ulrich. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334875.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39992-3">http://dx.doi.org/10.1007/978-3-642-39992-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334985 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Muntean, Traian. editor.&#160;Poulakis, Dimitrios. editor.&#160;Rolland, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334985.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40663-8">http://dx.doi.org/10.1007/978-3-642-40663-8</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 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z 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/> Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334992 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Gupta, Ashutosh. editor.&#160;Henzinger, Thomas A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334992.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40708-6">http://dx.doi.org/10.1007/978-3-642-40708-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335032 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Grossi, Davide. editor.&#160;Roy, Olivier. editor.&#160;Huang, Huaxin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335032.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Polyhedral and Algebraic Methods in Computational Geometry ent://SD_ILS/0/SD_ILS:331067 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Joswig, Michael. author.&#160;Theobald, Thorsten. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331067.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4817-3">http://dx.doi.org/10.1007/978-1-4471-4817-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Attacks on Public-Key Cryptosystems ent://SD_ILS/0/SD_ILS:330828 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Yan, Song Y. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330828.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7722-9">http://dx.doi.org/10.1007/978-1-4419-7722-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332910 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Mayr, Ernst W. editor.&#160;Vorozhtsov, Evgenii V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332910.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02297-0">http://dx.doi.org/10.1007/978-3-319-02297-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332982 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Gonthier, Georges. editor.&#160;Norrish, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332982.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03545-1">http://dx.doi.org/10.1007/978-3-319-03545-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, Analysis and Test of Logic Circuits Under Uncertainty ent://SD_ILS/0/SD_ILS:335669 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Krishnaswamy, Smita. author.&#160;Markov, Igor L. author.&#160;Hayes, John P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335669.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9644-9">http://dx.doi.org/10.1007/978-90-481-9644-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334112 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Ghosh, Subir Kumar. editor.&#160;Tokuyama, Takeshi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334112.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36065-7">http://dx.doi.org/10.1007/978-3-642-36065-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334284 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Didimo, Walter. editor.&#160;Patrignani, Maurizio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334284.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36763-2">http://dx.doi.org/10.1007/978-3-642-36763-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents&rsquo; Perspective ent://SD_ILS/0/SD_ILS:334558 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Chan, Chi-kong. author.&#160;Leung, Ho-fung. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334558.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38215-4">http://dx.doi.org/10.1007/978-3-642-38215-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334702 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Hasegawa, Masahito. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334702.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38946-7">http://dx.doi.org/10.1007/978-3-642-38946-7</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 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z 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/> Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334910 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Heckel, Reiko. editor.&#160;Milius, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334910.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40206-7">http://dx.doi.org/10.1007/978-3-642-40206-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, D&uuml;sseldorf, Germany, August 2013. Proceedings ent://SD_ILS/0/SD_ILS:334877 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Morrill, Glyn. editor.&#160;Nederhof, Mark-Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334877.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39998-5">http://dx.doi.org/10.1007/978-3-642-39998-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335202 2026-03-21T01:31:13Z 2026-03-21T01:31:13Z Author&#160;Lecroq, Thierry. editor.&#160;Mouchard, Laurent. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335202.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45278-9">http://dx.doi.org/10.1007/978-3-642-45278-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>