Search Results for Data Structures. - Narrowed by: Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dData$002bStructures.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ps$003d300$0026isd$003dtrue?dt=list 2024-11-27T09:48:43Z Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, G&ouml;ttingen, Germany, August 26&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483847 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29400-7">https://doi.org/10.1007/978-3-030-29400-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401195 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Fomin, Fedor V. editor.&#160;Podolskii, Vladimir V. 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-90530-3">https://doi.org/10.1007/978-3-319-90530-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399486 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Hoshi, Mizuho. editor.&#160;Seki, Shinnosuke. 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-98654-8">https://doi.org/10.1007/978-3-319-98654-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400194 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Chen, Liqun. editor. (orcid)0000-0003-2680-4907&#160;Manulis, Mark. editor. (orcid)0000-0002-1512-9670&#160;Schneider, Steve. editor. (orcid)0000-0001-8365-6993&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99136-8">https://doi.org/10.1007/978-3-319-99136-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401274 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Khomenko, Victor. editor.&#160;Roux, Olivier H. 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-91268-4">https://doi.org/10.1007/978-3-319-91268-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25&ndash;27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402724 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Konstantinidis, Stavros. editor.&#160;Pighizzini, Giovanni. 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-94631-3">https://doi.org/10.1007/978-3-319-94631-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 &ndash; August 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399051 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;C&acirc;mpeanu, Cezar. editor. (orcid)0000-0002-9777-3012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94812-6">https://doi.org/10.1007/978-3-319-94812-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400146 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Casimiro, Ant&oacute;nio. editor. (orcid)0000-0002-5522-5739&#160;Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92432-8">https://doi.org/10.1007/978-3-319-92432-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400605 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. 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-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488939 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Yamashita, Shigeru. editor.&#160;Minato, Shin-ichi. 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-08494-7">https://doi.org/10.1007/978-3-319-08494-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Chan, T-H. Hubert. editor.&#160;Lau, Lap Chi. editor.&#160;Trevisan, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334564.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334651 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Colom, Jos&eacute;-Manuel. editor.&#160;Desel, J&ouml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334651.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38697-8">http://dx.doi.org/10.1007/978-3-642-38697-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse ent://SD_ILS/0/SD_ILS:337578 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;B&ouml;ckenhauer, Hans-Joachim. author.&#160;Hromkovic, Juraj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337578.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-00725-6">http://dx.doi.org/10.1007/978-3-658-00725-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197023 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Haddad, Serge. editor.&#160;Pomello, Lucia. 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-31131-4">http://dx.doi.org/10.1007/978-3-642-31131-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Ehrig, Hartmut. editor.&#160;Engels, Gregor. editor.&#160;Kreowski, Hans-J&ouml;rg. editor.&#160;Rozenberg, Grzegorz. 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-33654-6">http://dx.doi.org/10.1007/978-3-642-33654-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Agrawal, Manindra. editor.&#160;Cooper, S. Barry. editor.&#160;Li, Angsheng. 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-29952-0">http://dx.doi.org/10.1007/978-3-642-29952-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Rahaman, Hafizur. editor.&#160;Chattopadhyay, Sanatan. editor.&#160;Chattopadhyay, Santanu. 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-31494-0">http://dx.doi.org/10.1007/978-3-642-31494-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197171 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Pe&ntilde;a, Ricardo. editor.&#160;Page, Rex. 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-32037-8">http://dx.doi.org/10.1007/978-3-642-32037-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures ent://SD_ILS/0/SD_ILS:197188 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Gibbons, Jeremy. 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-32202-0">http://dx.doi.org/10.1007/978-3-642-32202-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Sch&uuml;rr, Andy. editor.&#160;Varr&oacute;, D&aacute;niel. editor.&#160;Varr&oacute;, Gergely. 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-34176-2">http://dx.doi.org/10.1007/978-3-642-34176-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Domaratzki, Michael. editor.&#160;Salomaa, Kai. 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-18098-9">http://dx.doi.org/10.1007/978-3-642-18098-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Bouchou-Markhoff, B&eacute;atrice. editor.&#160;Caron, Pascal. editor.&#160;Champarnaud, Jean-Marc. editor.&#160;Maurel, Denis. 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-22256-6">http://dx.doi.org/10.1007/978-3-642-22256-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Murlak, Filip. editor.&#160;Sankowski, Piotr. 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-22993-0">http://dx.doi.org/10.1007/978-3-642-22993-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27&ndash;October 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193130 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Ehrig, Hartmut. editor.&#160;Rensink, Arend. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Sch&uuml;rr, Andy. 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-15928-2">http://dx.doi.org/10.1007/978-3-642-15928-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Hlin&#283;n&yacute;, Petr. editor.&#160;Ku&#269;era, Anton&iacute;n. 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-15155-2">http://dx.doi.org/10.1007/978-3-642-15155-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Lee, Mong Li. editor.&#160;Yu, Jeffrey Xu. editor.&#160;Bellahs&egrave;ne, Zohra. editor.&#160;Unland, Rainer. 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-15684-7">http://dx.doi.org/10.1007/978-3-642-15684-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191741 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Wu, Yanwen. editor.&#160;Luo, Qi. 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-11618-6">http://dx.doi.org/10.1007/978-3-642-11618-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Vahrenhold, 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-02011-7">http://dx.doi.org/10.1007/978-3-642-02011-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:190413 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Fisher, Michael. editor.&#160;Sadri, Fariba. editor.&#160;Thielscher, Michael. 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-02734-5">http://dx.doi.org/10.1007/978-3-642-02734-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;St&uuml;tzle, Thomas. editor.&#160;Birattari, Mauro. editor.&#160;Hoos, Holger H. 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-03751-1">http://dx.doi.org/10.1007/978-3-642-03751-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Kr&aacute;lovi&#269;, Rastislav. editor.&#160;Niwi&#324;ski, Damian. 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-03816-7">http://dx.doi.org/10.1007/978-3-642-03816-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Datta, Anupam. 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-10622-4">http://dx.doi.org/10.1007/978-3-642-10622-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Sch&uuml;rr, Andy. editor.&#160;Nagl, Manfred. editor.&#160;Z&uuml;ndorf, Albert. 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-89020-1">http://dx.doi.org/10.1007/978-3-540-89020-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2008: Theoretical Informatics 8th Latin American Symposium, B&uacute;zios, Brazil, April 7-11, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188237 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Laber, Eduardo Sany. editor.&#160;Bornstein, Claudson. editor.&#160;Nogueira, Loana Tito. editor.&#160;Faria, Luerbio. 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-78773-0">http://dx.doi.org/10.1007/978-3-540-78773-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Ehrig, Hartmut. editor.&#160;Heckel, Reiko. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Taentzer, Gabriele. 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-87405-8">http://dx.doi.org/10.1007/978-3-540-87405-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru&acute;n, Poland, August 25-29, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188648 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Ochma&#324;ski, Edward. editor.&#160;Tyszkiewicz, Jerzy. 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-85238-4">http://dx.doi.org/10.1007/978-3-540-85238-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188226 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Drossopoulou, Sophia. 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-78739-6">http://dx.doi.org/10.1007/978-3-540-78739-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Modular Calculus for the Average Cost of Data Structuring ent://SD_ILS/0/SD_ILS:167050 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Schellekens, Michel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Thomas, Wolfgang. editor.&#160;Weil, Pascal. 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-70918-3">http://dx.doi.org/10.1007/978-3-540-70918-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 &#268;esk&yacute; Krumlov, Czech Republic, August 26-31, 2007 Proceedings ent://SD_ILS/0/SD_ILS:187162 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Ku&#269;era, Lud&#283;k. editor.&#160;Ku&#269;era, Anton&iacute;n. 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-74456-6">http://dx.doi.org/10.1007/978-3-540-74456-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186244 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Nicola, Rocco. 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-71316-6">http://dx.doi.org/10.1007/978-3-540-71316-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Okada, Mitsu. editor.&#160;Satoh, Ichiro. 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-77505-8">http://dx.doi.org/10.1007/978-3-540-77505-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures ent://SD_ILS/0/SD_ILS:187680 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Backhouse, Roland. editor.&#160;Gibbons, Jeremy. editor.&#160;Hinze, Ralf. editor.&#160;Jeuring, Johan. 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-76786-2">http://dx.doi.org/10.1007/978-3-540-76786-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science &ndash; 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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Cervesato, Iliano. 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-76929-3">http://dx.doi.org/10.1007/978-3-540-76929-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Durand, Bruno. editor.&#160;Thomas, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11672142">http://dx.doi.org/10.1007/11672142</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Correa, Jos&eacute; R. editor.&#160;Hevia, Alejandro. editor.&#160;Kiwi, Marcos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11682462">http://dx.doi.org/10.1007/11682462</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Star&aacute; Lesn&aacute;, Slovakia, August 28-September 1, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184636 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Kr&aacute;lovi&#269;, Rastislav. editor.&#160;Urzyczyn, Pawe&#322;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11821069">http://dx.doi.org/10.1007/11821069</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Corradini, Andrea. editor.&#160;Ehrig, Hartmut. editor.&#160;Montanari, Ugo. editor.&#160;Ribeiro, Leila. editor.&#160;Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183617 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Sestoft, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11693024">http://dx.doi.org/10.1007/11693024</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Einf&uuml;hrung in die Informatik Objektorientiert mit Java ent://SD_ILS/0/SD_ILS:181070 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;K&uuml;chlin, Wolfgang. author.&#160;Weber, Andreas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138253">http://dx.doi.org/10.1007/b138253</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29&ndash;September 2, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182953 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;J&#553;drzejowicz, Joanna. editor.&#160;Szepietowski, Andrzej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11549345">http://dx.doi.org/10.1007/11549345</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183058 2024-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Sagiv, Mooly. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b107380">http://dx.doi.org/10.1007/b107380</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-27T09:48:43Z 2024-11-27T09:48:43Z Author&#160;Coppo, Mario. editor.&#160;Lodi, Elena. editor.&#160;Pinna, G. Michele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11560586">http://dx.doi.org/10.1007/11560586</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>