Search Results for Algebra. - Narrowed by: SpringerLink (Online service) - Information theory. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAlgebra.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dSUBJECT$002509Subject$002509Information$002btheory.$002509Information$002btheory.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-08-23T02:41:08Z 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 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z 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/> Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:184259 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Futatsugi, Kokichi. editor.&#160;Jouannaud, Jean-Pierre. editor.&#160;Meseguer, Jos&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11780274">http://dx.doi.org/10.1007/11780274</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 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z 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/> Languages Alive Essays Dedicated to J&uuml;rgen Dassow on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:197120 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Bordihn, Henning. editor.&#160;Kutrib, Martin. editor.&#160;Truthe, Bianca. 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-31644-9">http://dx.doi.org/10.1007/978-3-642-31644-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbr&uuml;cken, Germany, September 6-8, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196333 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Marx, D&aacute;niel. editor.&#160;Rossmanith, Peter. 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-28050-4">http://dx.doi.org/10.1007/978-3-642-28050-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Patterns in Permutations and Words ent://SD_ILS/0/SD_ILS:193571 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Kitaev, Sergey. 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-17333-2">http://dx.doi.org/10.1007/978-3-642-17333-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195273 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Kanazawa, Makoto. editor.&#160;Kornai, Andr&aacute;s. editor.&#160;Kracht, Marcus. editor.&#160;Seki, Hiroyuki. 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-23211-4">http://dx.doi.org/10.1007/978-3-642-23211-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Structures for Physics ent://SD_ILS/0/SD_ILS:192121 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Coecke, Bob. 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-12821-9">http://dx.doi.org/10.1007/978-3-642-12821-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195554 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Ditmarsch, Hans. editor.&#160;Lang, J&eacute;r&ocirc;me. editor.&#160;Ju, Shier. 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-24130-7">http://dx.doi.org/10.1007/978-3-642-24130-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192614 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Ebert, Christian. editor.&#160;J&auml;ger, Gerhard. editor.&#160;Michaelis, Jens. 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-14322-9">http://dx.doi.org/10.1007/978-3-642-14322-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193617 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Raman, Venkatesh. editor.&#160;Saurabh, Saket. 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-17493-3">http://dx.doi.org/10.1007/978-3-642-17493-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computability of Julia Sets ent://SD_ILS/0/SD_ILS:185503 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Braverman, Mark. author.&#160;Yampolsky, Michael. 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-540-68547-0">http://dx.doi.org/10.1007/978-3-540-68547-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, &Scaron;pindler&#367;v Ml&yacute;n, Czech Republic, January 24-30, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189555 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Nielsen, Mogens. editor.&#160;Ku&#269;era, Anton&iacute;n. editor.&#160;Miltersen, Peter Bro. editor.&#160;Palamidessi, Catuscia. editor.&#160;T&#367;ma, Petr. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-95891-8">http://dx.doi.org/10.1007/978-3-540-95891-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190925 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Ouaknine, Jo&euml;l. editor.&#160;Vaandrager, Frits W. 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-04368-0">http://dx.doi.org/10.1007/978-3-642-04368-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191634 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Chen, Jianer. editor.&#160;Fomin, Fedor V. 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-11269-0">http://dx.doi.org/10.1007/978-3-642-11269-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Gr&ouml;bner Bases, Coding, and Cryptography ent://SD_ILS/0/SD_ILS:189513 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Sala, Massimiliano. editor.&#160;Sakata, Shojiro. editor.&#160;Mora, Teo. editor.&#160;Traverso, Carlo. editor.&#160;Perret, Ludovic. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-93806-4">http://dx.doi.org/10.1007/978-3-540-93806-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189435 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Artemov, Sergei. editor.&#160;Nerode, Anil. 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-92687-0">http://dx.doi.org/10.1007/978-3-540-92687-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189848 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Dediu, Adrian Horia. editor.&#160;Ionescu, Armand Mihai. editor.&#160;Mart&iacute;n-Vide, Carlos. 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-00982-2">http://dx.doi.org/10.1007/978-3-642-00982-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190636 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Leucker, Martin. editor.&#160;Morgan, Carroll. 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-03466-4">http://dx.doi.org/10.1007/978-3-642-03466-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191090 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;He, Xiangdong. editor.&#160;Horty, John. editor.&#160;Pacuit, Eric. 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-04893-7">http://dx.doi.org/10.1007/978-3-642-04893-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers ent://SD_ILS/0/SD_ILS:189027 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Otto, Friedrich. editor.&#160;Fernau, Henning. 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-88282-4">http://dx.doi.org/10.1007/978-3-540-88282-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189113 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Baek, Joonsang. editor.&#160;Bao, Feng. editor.&#160;Chen, Kefei. editor.&#160;Lai, Xuejia. 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-88733-1">http://dx.doi.org/10.1007/978-3-540-88733-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188769 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Fitzgerald, John S. editor.&#160;Haxthausen, Anne E. editor.&#160;Yenigun, Husnu. 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-85762-4">http://dx.doi.org/10.1007/978-3-540-85762-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Distributed Systems ent://SD_ILS/0/SD_ILS:187012 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Fokkink, Wan. 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-540-73938-8">http://dx.doi.org/10.1007/978-3-540-73938-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Algebraic Graph Transformation ent://SD_ILS/0/SD_ILS:182540 2024-08-23T02:41:08Z 2024-08-23T02:41:08Z Author&#160;Ehrig, Hartmut. author.&#160;Ehrig, Karsten. author.&#160;Prange, Ulrike. author.&#160;Taentzer, Gabriele. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-31188-2">http://dx.doi.org/10.1007/3-540-31188-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>