Search Results for Logic. - Narrowed by: English - Online Library - Computer software. - Data structures (Computer science).
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026qf$003dSUBJECT$002509Subject$002509Data$002bstructures$002b$002528Computer$002bscience$002529.$002509Data$002bstructures$002b$002528Computer$002bscience$002529.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-06T00:15:59Z
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334925
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334925.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40313-2">http://dx.doi.org/10.1007/978-3-642-40313-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334564
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334564.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38236-9">http://dx.doi.org/10.1007/978-3-642-38236-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334771
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Konstantinidis, Stavros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334771.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39274-0">http://dx.doi.org/10.1007/978-3-642-39274-0</a><br/>Format: Electronic Resources<br/>Availability 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
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335202.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197090
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31494-0">http://dx.doi.org/10.1007/978-3-642-31494-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:197486
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Schürr, Andy. editor. Varró, Dániel. editor. Varró, Gergely. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34176-2">http://dx.doi.org/10.1007/978-3-642-34176-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197416
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Ehrig, Hartmut. editor. Engels, Gregor. editor. Kreowski, Hans-Jörg. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33654-6">http://dx.doi.org/10.1007/978-3-642-33654-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196803
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29952-0">http://dx.doi.org/10.1007/978-3-642-29952-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193805
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Domaratzki, Michael. editor. Salomaa, Kai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18098-9">http://dx.doi.org/10.1007/978-3-642-18098-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194965
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Bouchou-Markhoff, Béatrice. editor. Caron, Pascal. editor. Champarnaud, Jean-Marc. editor. Maurel, Denis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22256-6">http://dx.doi.org/10.1007/978-3-642-22256-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195206
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Murlak, Filip. editor. Sankowski, Piotr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22993-0">http://dx.doi.org/10.1007/978-3-642-22993-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193130
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15928-2">http://dx.doi.org/10.1007/978-3-642-15928-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192878
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Hliněný, Petr. editor. Kučera, Antonín. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15155-2">http://dx.doi.org/10.1007/978-3-642-15155-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193051
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Lee, Mong Li. editor. Yu, Jeffrey Xu. editor. Bellahsène, Zohra. editor. Unland, Rainer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15684-7">http://dx.doi.org/10.1007/978-3-642-15684-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190188
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Vahrenhold, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02011-7">http://dx.doi.org/10.1007/978-3-642-02011-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191425
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Datta, Anupam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10622-4">http://dx.doi.org/10.1007/978-3-642-10622-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190726
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Stützle, Thomas. editor. Birattari, Mauro. editor. Hoos, Holger H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03751-1">http://dx.doi.org/10.1007/978-3-642-03751-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190747
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Královič, Rastislav. editor. Niwiński, Damian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03816-7">http://dx.doi.org/10.1007/978-3-642-03816-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:189178
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Schürr, Andy. editor. Nagl, Manfred. editor. Zündorf, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89020-1">http://dx.doi.org/10.1007/978-3-540-89020-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188237
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Laber, Eduardo Sany. editor. Bornstein, Claudson. editor. Nogueira, Loana Tito. editor. Faria, Luerbio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78773-0">http://dx.doi.org/10.1007/978-3-540-78773-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188648
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Ochmański, Edward. editor. Tyszkiewicz, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85238-4">http://dx.doi.org/10.1007/978-3-540-85238-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Modular Calculus for the Average Cost of Data Structuring
ent://SD_ILS/0/SD_ILS:167050
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Schellekens, Michel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-73384-5">http://dx.doi.org/10.1007/978-0-387-73384-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188842
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Ehrig, Hartmut. editor. Heckel, Reiko. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87405-8">http://dx.doi.org/10.1007/978-3-540-87405-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186099
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Thomas, Wolfgang. editor. Weil, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70918-3">http://dx.doi.org/10.1007/978-3-540-70918-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187727
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Cervesato, Iliano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76929-3">http://dx.doi.org/10.1007/978-3-540-76929-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187896
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77505-8">http://dx.doi.org/10.1007/978-3-540-77505-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187162
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74456-6">http://dx.doi.org/10.1007/978-3-540-74456-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184636
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Královič, Rastislav. editor. Urzyczyn, Paweł. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11821069">http://dx.doi.org/10.1007/11821069</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183496
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Correa, José R. editor. Hevia, Alejandro. editor. Kiwi, Marcos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11682462">http://dx.doi.org/10.1007/11682462</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184697
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Corradini, Andrea. editor. Ehrig, Hartmut. editor. Montanari, Ugo. editor. Ribeiro, Leila. editor. Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183274
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Durand, Bruno. editor. Thomas, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11672142">http://dx.doi.org/10.1007/11672142</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182953
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11549345">http://dx.doi.org/10.1007/11549345</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183091
2024-09-06T00:15:59Z
2024-09-06T00:15:59Z
Author Coppo, Mario. editor. Lodi, Elena. editor. Pinna, G. Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11560586">http://dx.doi.org/10.1007/11560586</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>