Search Results for Computer science. - Narrowed by: SpringerLink (Online service) - Online Library - 2012 - Algebra -- Data processing. - Artificial intelligence. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092012$0025092012$0026qf$003dSUBJECT$002509Subject$002509Algebra$002b--$002bData$002bprocessing.$002509Algebra$002b--$002bData$002bprocessing.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-10T11:57:06Z Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197355 2024-09-10T11:57:06Z 2024-09-10T11:57:06Z Author&#160;Kahl, Wolfram. editor.&#160;Griffin, Timothy G. 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-33314-9">http://dx.doi.org/10.1007/978-3-642-33314-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197066 2024-09-10T11:57:06Z 2024-09-10T11:57:06Z Author&#160;Jeuring, Johan. editor.&#160;Campbell, John A. editor.&#160;Carette, Jacques. editor.&#160;Reis, Gabriel. editor.&#160;Sojka, Petr. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31374-5">http://dx.doi.org/10.1007/978-3-642-31374-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Grammar 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197170 2024-09-10T11:57:06Z 2024-09-10T11:57:06Z Author&#160;Groote, Philippe. editor.&#160;Nederhof, Mark-Jan. 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-32024-8">http://dx.doi.org/10.1007/978-3-642-32024-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197592 2024-09-10T11:57:06Z 2024-09-10T11:57:06Z Author&#160;Hawblitzel, Chris. editor.&#160;Miller, Dale. 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-35308-6">http://dx.doi.org/10.1007/978-3-642-35308-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197607 2024-09-10T11:57:06Z 2024-09-10T11:57:06Z Author&#160;Baldoni, Roberto. editor.&#160;Flocchini, Paola. editor.&#160;Binoy, Ravindran. 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-35476-2">http://dx.doi.org/10.1007/978-3-642-35476-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Computational Geometry Processing Foundations, Algorithms, and Methods ent://SD_ILS/0/SD_ILS:173534 2024-09-10T11:57:06Z 2024-09-10T11:57:06Z Author&#160;B&aelig;rentzen, Jakob Andreas. author.&#160;Gravesen, Jens. author.&#160;Anton, Fran&ccedil;ois. author.&#160;Aan&aelig;s, Henrik. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4075-7">http://dx.doi.org/10.1007/978-1-4471-4075-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Computational Ontologies in Contexts Formal Models of Knowledge Representation with Membership Degree and Typicality of Objects, and Their Applications ent://SD_ILS/0/SD_ILS:195948 2024-09-10T11:57:06Z 2024-09-10T11:57:06Z Author&#160;Cai, Yi. author.&#160;Au Yeung, Ching-man. author.&#160;Leung, Ho-fung. 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-25456-7">http://dx.doi.org/10.1007/978-3-642-25456-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>