Search Results for Information Theory. - Narrowed by: Computer software.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInformation$002bTheory.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026te$003dILS$0026ps$003d300?2026-03-06T11:28:29ZGeneral Theory of Information Transfer and Combinatoricsent://SD_ILS/0/SD_ILS:1849032026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Ahlswede, Rudolf. editor. Bäumer, Lars. editor. Cai, Ning. editor. Aydinian, Harout. editor. Blinovsky, Vladimir. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11889342">http://dx.doi.org/10.1007/11889342</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4004632026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91476-3">https://doi.org/10.1007/978-3-319-91476-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3995992026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91473-2">https://doi.org/10.1007/978-3-319-91473-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3351572026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335157.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-42033-7">http://dx.doi.org/10.1007/978-3-642-42033-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswedeent://SD_ILS/0/SD_ILS:3343192026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334319.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36899-8">http://dx.doi.org/10.1007/978-3-642-36899-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3351602026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335160.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-42045-0">http://dx.doi.org/10.1007/978-3-642-42045-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975592026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Wang, Xiaoyun. editor. Sako, Kazue. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34961-4">http://dx.doi.org/10.1007/978-3-642-34961-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Theory and Practice. Security and Privacy of Mobile Devices in Wireless Communication 5th IFIP WG 11.2 International Workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1945712026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Ardagna, Claudio A. editor. Zhou, Jianying. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21040-2">http://dx.doi.org/10.1007/978-3-642-21040-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Information Retrieval Theory Third International Conference, ICTIR 2011, Bertinoro, Italy, September 12-14, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1953072026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Amati, Giambattista. editor. Crestani, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23318-0">http://dx.doi.org/10.1007/978-3-642-23318-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2011 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1959312026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Lee, Dong Hoon. editor. Wang, Xiaoyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25385-0">http://dx.doi.org/10.1007/978-3-642-25385-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database Theory and Application, Bio-Science and Bio-Technology International Conferences, DTA and BSBT 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2001 in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1961102026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Cuzzocrea, Alfredo. editor. Arslan, Tughrul. editor. Zhang, Yanchun. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27157-1">http://dx.doi.org/10.1007/978-3-642-27157-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2010 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1935822026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Abe, Masayuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17373-8">http://dx.doi.org/10.1007/978-3-642-17373-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1919732026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Samarati, Pierangela. editor. Tunstall, Michael. editor. Posegga, Joachim. editor. Markantonakis, Konstantinos. editor. Sauveron, Damien. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12368-9">http://dx.doi.org/10.1007/978-3-642-12368-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database Theory and Application, Bio-Science and Bio-Technology International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1936572026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Zhang, Yanchun. editor. Cuzzocrea, Alfredo. editor. Ma, Jianhua. editor. Chung, Kyo-il. editor. Arslan, Tughrul. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17622-7">http://dx.doi.org/10.1007/978-3-642-17622-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Information Retrieval Theory Second International Conference on the Theory of Information Retrieval, ICTIR 2009 Cambridge, UK, September 10-12, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1909412026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Azzopardi, Leif. editor. Kazai, Gabriella. editor. Robertson, Stephen. editor. Rüger, Stefan. editor. Shokouhi, Milad. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04417-5">http://dx.doi.org/10.1007/978-3-642-04417-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2009 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1913462026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Matsui, Mitsuru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10366-7">http://dx.doi.org/10.1007/978-3-642-10366-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2008 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1892342026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Pieprzyk, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89255-7">http://dx.doi.org/10.1007/978-3-540-89255-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2007 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1877202026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Kurosawa, Kaoru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76900-2">http://dx.doi.org/10.1007/978-3-540-76900-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2006 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1852142026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Lai, Xuejia. editor. Chen, Kefei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11935230">http://dx.doi.org/10.1007/11935230</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2005 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832542026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Roy, Bimal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11593447">http://dx.doi.org/10.1007/11593447</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantum Attacks on Public-Key Cryptosystemsent://SD_ILS/0/SD_ILS:3308282026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Yan, Song Y. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330828.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschriftent://SD_ILS/0/SD_ILS:3328222026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Paule, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340222026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334022.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35656-8">http://dx.doi.org/10.1007/978-3-642-35656-8</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. Proceedingsent://SD_ILS/0/SD_ILS:3345642026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor 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/>Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346632026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334663.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38756-2">http://dx.doi.org/10.1007/978-3-642-38756-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Genetic Programming Theory and Practice Xent://SD_ILS/0/SD_ILS:3321352026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332135.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6846-2">http://dx.doi.org/10.1007/978-1-4614-6846-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3341792026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Abdalla, Michel. editor. Lange, Tanja. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334179.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36334-4">http://dx.doi.org/10.1007/978-3-642-36334-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedingsent://SD_ILS/0/SD_ILS:3349732026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334973.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350222026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335022.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40867-0">http://dx.doi.org/10.1007/978-3-642-40867-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Computing 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3351192026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Afek, Yehuda. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335119.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41527-2">http://dx.doi.org/10.1007/978-3-642-41527-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3350662026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Palamidessi, Catuscia. editor. Ryan, Mark D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335066.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41157-1">http://dx.doi.org/10.1007/978-3-642-41157-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3351972026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Stam, Martijn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335197.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45239-0">http://dx.doi.org/10.1007/978-3-642-45239-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1967512026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Snoeyink, Jack. editor. Lu, Pinyan. editor. Su, Kaile. editor. Wang, Lusheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29700-7">http://dx.doi.org/10.1007/978-3-642-29700-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Approximation Algorithms and Semidefinite Programmingent://SD_ILS/0/SD_ILS:1948902026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Gärtner, Bernd. author. Matousek, Jiri. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22015-9">http://dx.doi.org/10.1007/978-3-642-22015-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973822026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Baeten, Jos C. M. editor. Ball, Tom. editor. Boer, Frank S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33475-7">http://dx.doi.org/10.1007/978-3-642-33475-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Intelligence and Intelligent Systems 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975022026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Li, Zhenhua. editor. Li, Xiang. editor. Liu, Yong. editor. Cai, Zhihua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34289-9">http://dx.doi.org/10.1007/978-3-642-34289-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantum Interaction 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:1976272026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Busemeyer, Jerome R. editor. Dubois, François. editor. Lambert-Mogiliansky, Ariane. editor. Melucci, Massimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35659-9">http://dx.doi.org/10.1007/978-3-642-35659-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:1963332026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Marx, Dániel. editor. Rossmanith, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1962622026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Dinneen, Michael J. editor. Khoussainov, Bakhadyr. editor. Nies, André. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27654-5">http://dx.doi.org/10.1007/978-3-642-27654-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1963822026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Adam, Gheorghe. editor. Buša, Ján. editor. Hnatič, Michal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28212-6">http://dx.doi.org/10.1007/978-3-642-28212-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency Vent://SD_ILS/0/SD_ILS:1966052026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Jensen, Kurt. editor. Donatelli, Susanna. editor. Kleijn, Jetty. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29072-5">http://dx.doi.org/10.1007/978-3-642-29072-5</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. Proceedingsent://SD_ILS/0/SD_ILS:1968032026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor 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/>Computational Complexity Theory, Techniques, and Applicationsent://SD_ILS/0/SD_ILS:1740192026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Meyers, Robert A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1800-9">http://dx.doi.org/10.1007/978-1-4614-1800-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Search Computing Trends and Developmentsent://SD_ILS/0/SD_ILS:1941162026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19668-3">http://dx.doi.org/10.1007/978-3-642-19668-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1945172026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20877-5">http://dx.doi.org/10.1007/978-3-642-20877-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Quantum Computation, Communication, and Cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1937962026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Dam, Wim. editor. Kendon, Vivien M. editor. Severini, Simone. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18073-6">http://dx.doi.org/10.1007/978-3-642-18073-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946262026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Atallah, Mikhail. editor. Li, Xiang-Yang. editor. Zhu, Binhai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21204-8">http://dx.doi.org/10.1007/978-3-642-21204-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantum Interaction 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1958072026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Song, Dawei. editor. Melucci, Massimo. editor. Frommholz, Ingo. editor. Zhang, Peng. editor. Wang, Lei. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24971-6">http://dx.doi.org/10.1007/978-3-642-24971-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1962012026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Liu, Chunfeng. editor. Chang, Jincai. editor. Yang, Aimin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27452-7">http://dx.doi.org/10.1007/978-3-642-27452-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1962152026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Liu, Chunfeng. editor. Chang, Jincai. editor. Yang, Aimin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27503-6">http://dx.doi.org/10.1007/978-3-642-27503-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1932632026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16336-4">http://dx.doi.org/10.1007/978-3-642-16336-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Genetic Programming Theory and Practice VIIIent://SD_ILS/0/SD_ILS:1729662026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Riolo, Rick. editor. McConaghy, Trent. editor. Vladislavleva, Ekaterina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7747-2">http://dx.doi.org/10.1007/978-1-4419-7747-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computability and Complexity Theoryent://SD_ILS/0/SD_ILS:1737532026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Homer, Steven. author. Selman, Alan L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0682-2">http://dx.doi.org/10.1007/978-1-4614-0682-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Genetic Programming Theory and Practice IXent://SD_ILS/0/SD_ILS:1740112026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Moore, Jason H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1770-5">http://dx.doi.org/10.1007/978-1-4614-1770-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Randomness and Complexityent://SD_ILS/0/SD_ILS:1665862026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Downey, Rodney G. author. Hirschfeldt, Denis R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68441-3">http://dx.doi.org/10.1007/978-0-387-68441-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Search Computing Challenges and Directionsent://SD_ILS/0/SD_ILS:1919542026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12310-8">http://dx.doi.org/10.1007/978-3-642-12310-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part Ient://SD_ILS/0/SD_ILS:1922282026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13119-6">http://dx.doi.org/10.1007/978-3-642-13119-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part IIent://SD_ILS/0/SD_ILS:1922352026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13136-3">http://dx.doi.org/10.1007/978-3-642-13136-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923762026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13562-0">http://dx.doi.org/10.1007/978-3-642-13562-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1926932026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Lee, Der-Tsai. editor. Chen, Danny Z. editor. Ying, Shi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14553-7">http://dx.doi.org/10.1007/978-3-642-14553-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1934262026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Brennan, Rob. editor. Fleck, Joel. editor. Meer, Sven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16836-9">http://dx.doi.org/10.1007/978-3-642-16836-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930162026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15582-6">http://dx.doi.org/10.1007/978-3-642-15582-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932072026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16167-4">http://dx.doi.org/10.1007/978-3-642-16167-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1932642026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16339-5">http://dx.doi.org/10.1007/978-3-642-16339-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexityent://SD_ILS/0/SD_ILS:1933302026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Neumann, Frank. author. Witt, Carsten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16544-3">http://dx.doi.org/10.1007/978-3-642-16544-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1936172026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Raman, Venkatesh. editor. Saurabh, Saket. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency IVent://SD_ILS/0/SD_ILS:1938332026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Jensen, Kurt. editor. Donatelli, Susanna. editor. Koutny, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18222-8">http://dx.doi.org/10.1007/978-3-642-18222-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Genetic Programming Theory and Practice VIIent://SD_ILS/0/SD_ILS:1723042026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Riolo, Rick. editor. O'Reilly, Una-May. editor. McConaghy, Trent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-1626-6">http://dx.doi.org/10.1007/978-1-4419-1626-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The P=NP Question and Gödel’s Lost Letterent://SD_ILS/0/SD_ILS:1727872026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Lipton, Richard J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7155-5">http://dx.doi.org/10.1007/978-1-4419-7155-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Adventures From Knowledge to Magicent://SD_ILS/0/SD_ILS:1888242026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Hromkovic, Juraj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85986-4">http://dx.doi.org/10.1007/978-3-540-85986-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1905102026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Ambos-Spies, Klaus. editor. Löwe, Benedikt. editor. Merkle, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03073-4">http://dx.doi.org/10.1007/978-3-642-03073-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1905172026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Archibald, Margaret. editor. Brattka, Vasco. editor. Goranko, Valentin. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03092-5">http://dx.doi.org/10.1007/978-3-642-03092-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1906362026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Leucker, Martin. editor. Morgan, Carroll. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1909422026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Bournez, Olivier. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04420-5">http://dx.doi.org/10.1007/978-3-642-04420-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Genetic Programming Theory and Practice VIent://SD_ILS/0/SD_ILS:1678292026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Worzel, Bill. editor. Soule, Terence. editor. Riolo, Rick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-87623-8">http://dx.doi.org/10.1007/978-0-387-87623-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1894392026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Ramanujam, R. editor. Sarukkai, Sundar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92701-3">http://dx.doi.org/10.1007/978-3-540-92701-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897392026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00590-9">http://dx.doi.org/10.1007/978-3-642-00590-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897842026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00722-4">http://dx.doi.org/10.1007/978-3-642-00722-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantum Interaction Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1898062026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Bruza, Peter. editor. Sofge, Donald. editor. Lawless, William. editor. Rijsbergen, Keith. editor. Klusch, Matthias. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00834-4">http://dx.doi.org/10.1007/978-3-642-00834-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systemsent://SD_ILS/0/SD_ILS:1898272026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00899-3">http://dx.doi.org/10.1007/978-3-642-00899-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1901892026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02017-9">http://dx.doi.org/10.1007/978-3-642-02017-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903172026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02424-5">http://dx.doi.org/10.1007/978-3-642-02424-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1902682026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Ono, Hiroakira. editor. Kanazawa, Makoto. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02261-6">http://dx.doi.org/10.1007/978-3-642-02261-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1905982026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Frid, Anna. editor. Morozov, Andrey. editor. Rybalchenko, Andrey. editor. Wagner, Klaus W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03351-3">http://dx.doi.org/10.1007/978-3-642-03351-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908302026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Bravetti, Mario. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04081-8">http://dx.doi.org/10.1007/978-3-642-04081-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lecturesent://SD_ILS/0/SD_ILS:1910162026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Koopman, Pieter. editor. Plasmeijer, Rinus. editor. Swierstra, Doaitse. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04652-0">http://dx.doi.org/10.1007/978-3-642-04652-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1904632026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02927-1">http://dx.doi.org/10.1007/978-3-642-02927-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1904642026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02930-1">http://dx.doi.org/10.1007/978-3-642-02930-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Quantum Computation, Communication, and Cryptography 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1914502026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Childs, Andrew. editor. Mosca, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10698-9">http://dx.doi.org/10.1007/978-3-642-10698-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1916342026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Chen, Jianer. editor. Fomin, Fedor V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1916882026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11447-2">http://dx.doi.org/10.1007/978-3-642-11447-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computability of Julia Setsent://SD_ILS/0/SD_ILS:1855032026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Braverman, Mark. author. Yampolsky, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1883672026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Agrawal, Manindra. editor. Du, Dingzhu. editor. Duan, Zhenhua. 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-540-79228-4">http://dx.doi.org/10.1007/978-3-540-79228-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1884972026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Hirsch, Edward A. editor. Razborov, Alexander A. editor. Semenov, Alexei. editor. Slissenko, Anatol. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79709-8">http://dx.doi.org/10.1007/978-3-540-79709-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1887692026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Fitzgerald, John S. editor. Haxthausen, Anne E. editor. Yenigun, Husnu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Hypercomputation Computing Beyond the Church-Turing Barrierent://SD_ILS/0/SD_ILS:1665282026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Syropoulos, Apostolos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-49970-3">http://dx.doi.org/10.1007/978-0-387-49970-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Do-All Computing in Distributed Systems Cooperation in the Presence of Adversityent://SD_ILS/0/SD_ILS:1666852026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Georgiou, Chryssis. author. Shvartsman, Alexander A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-69045-2">http://dx.doi.org/10.1007/978-0-387-69045-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Genetic Programming Theory and Practice Vent://SD_ILS/0/SD_ILS:1673222026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-76308-8">http://dx.doi.org/10.1007/978-0-387-76308-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1858152026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Beckmann, Arnold. editor. Dimitracopoulos, Costas. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69407-6">http://dx.doi.org/10.1007/978-3-540-69407-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Time-Dependent Schedulingent://SD_ILS/0/SD_ILS:1858282026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Gawiejnowicz, Stanisław. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69446-5">http://dx.doi.org/10.1007/978-3-540-69446-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasingent://SD_ILS/0/SD_ILS:1866732026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Bandyopadhyay, Subir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72875-7">http://dx.doi.org/10.1007/978-3-540-72875-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1859462026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69937-8">http://dx.doi.org/10.1007/978-3-540-69937-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papersent://SD_ILS/0/SD_ILS:1892412026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Kawano, Yasuhito. editor. Mosca, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89304-2">http://dx.doi.org/10.1007/978-3-540-89304-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthdayent://SD_ILS/0/SD_ILS:1880402026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Avron, Arnon. editor. Dershowitz, Nachum. editor. Rabinovich, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78127-1">http://dx.doi.org/10.1007/978-3-540-78127-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Local Searchent://SD_ILS/0/SD_ILS:1843152026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Michiels, Wil. author. Korst, Jan. author. Aarts, Emile. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-35854-1">http://dx.doi.org/10.1007/978-3-540-35854-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Calculus of Computation Decision Procedures with Applications to Verificationent://SD_ILS/0/SD_ILS:1870582026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74113-8">http://dx.doi.org/10.1007/978-3-540-74113-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Genetic Programming Theory and Practice IVent://SD_ILS/0/SD_ILS:1664932026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-49650-4">http://dx.doi.org/10.1007/978-0-387-49650-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1865572026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Zhu, Hong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72504-6">http://dx.doi.org/10.1007/978-3-540-72504-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1867162026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73001-9">http://dx.doi.org/10.1007/978-3-540-73001-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1871822026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Diekert, Volker. editor. Volkov, Mikhail V. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74510-5">http://dx.doi.org/10.1007/978-3-540-74510-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolutionary Algorithms for Solving Multi-Objective Problems Second Editionent://SD_ILS/0/SD_ILS:1661762026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Coello, Carlos A. Coello. author. Lamont, Gary B. author. Veldhuizen, David A. Van. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36797-2">http://dx.doi.org/10.1007/978-0-387-36797-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1868542026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Leivant, Daniel. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73445-1">http://dx.doi.org/10.1007/978-3-540-73445-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Computationent://SD_ILS/0/SD_ILS:1754342026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Kozen, Dexter C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-477-5">http://dx.doi.org/10.1007/1-84628-477-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologiesent://SD_ILS/0/SD_ILS:1654312026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Zomaya, Albert Y. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-27705-6">http://dx.doi.org/10.1007/0-387-27705-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Genetic Programming Theory and Practice IIIent://SD_ILS/0/SD_ILS:1654692026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28111-8">http://dx.doi.org/10.1007/0-387-28111-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parameterized Complexity Theoryent://SD_ILS/0/SD_ILS:1821972026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29953-X">http://dx.doi.org/10.1007/3-540-29953-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logicent://SD_ILS/0/SD_ILS:1835552026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Bollig, Benedikt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32923-4">http://dx.doi.org/10.1007/3-540-32923-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1839092026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Cai, Jin-Yi. 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/11750321">http://dx.doi.org/10.1007/11750321</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedingsent://SD_ILS/0/SD_ILS:1839572026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Grigoriev, Dima. editor. Harrison, John. editor. Hirsch, Edward A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11753728">http://dx.doi.org/10.1007/11753728</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842602026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Beckmann, Arnold. editor. Berger, Ulrich. editor. Löwe, Benedikt. editor. Tucker, John V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11780342">http://dx.doi.org/10.1007/11780342</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Genetic Programming Theory and Practice IIent://SD_ILS/0/SD_ILS:1648792026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor O’Reilly, Una-May. editor. Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b101112">http://dx.doi.org/10.1007/b101112</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832532026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Cooper, S. Barry. editor. Löwe, Benedikt. editor. Torenvliet, Leen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136981">http://dx.doi.org/10.1007/b136981</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Super-Recursive Algorithmsent://SD_ILS/0/SD_ILS:1652972026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Burgin, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138114">http://dx.doi.org/10.1007/b138114</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Toleranceent://SD_ILS/0/SD_ILS:1808752026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Hromkovič, Juraj. author. Klasing, Ralf. author. Pelc, Andrzej. author. Ružička†, Peter. author. Unger, Walter. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137871">http://dx.doi.org/10.1007/b137871</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Complexity Theory and Cryptology An Introduction to Cryptocomplexityent://SD_ILS/0/SD_ILS:1817822026-03-06T11:28:29Z2026-03-06T11:28:29ZAuthor Rothe, Jörg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28520-2">http://dx.doi.org/10.1007/3-540-28520-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>