Search Results for International theory - Narrowed by: Computer software.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInternational$002btheory$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026ic$003dtrue$0026ps$003d300?dt=list2024-12-19T01:16:11ZInformation 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:3995992024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Theory and Practice of Natural Computing 7th International Conference, TPNC 2018, Dublin, Ireland, December 12–14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3998942024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Fagan, David. editor. (orcid)0000-0002-5982-8983 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 O'Neill, Michael. editor. (orcid)0000-0001-8734-417X Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04070-3">https://doi.org/10.1007/978-3-030-04070-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4012742024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4014592024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77313-1">https://doi.org/10.1007/978-3-319-77313-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994862024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Hoshi, Mizuho. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: 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:4004632024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4007112024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73117-9">https://doi.org/10.1007/978-3-319-73117-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:4011052024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74727-9">https://doi.org/10.1007/978-3-319-74727-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:4019582024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74718-7">https://doi.org/10.1007/978-3-319-74718-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329472024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332947.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02786-9">http://dx.doi.org/10.1007/978-3-319-02786-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343552024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334355.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37064-9">http://dx.doi.org/10.1007/978-3-642-37064-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346662024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334666.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38771-5">http://dx.doi.org/10.1007/978-3-642-38771-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350302024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335030.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40935-6">http://dx.doi.org/10.1007/978-3-642-40935-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351242024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335124.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41575-3">http://dx.doi.org/10.1007/978-3-642-41575-3</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:3351572024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>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:3351602024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351782024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335178.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45008-2">http://dx.doi.org/10.1007/978-3-642-45008-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:3335592024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Csurka, Gabriela. editor. Kraus, Martin. editor. Mestetskiy, Leonid. editor. Richard, Paul. editor. Braz, José. editor.<br/>Preferred Shelf Number ONLINE(333559.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32350-8">http://dx.doi.org/10.1007/978-3-642-32350-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340642024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.<br/>Preferred Shelf Number ONLINE(334064.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35843-2">http://dx.doi.org/10.1007/978-3-642-35843-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342782024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334278.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</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:3345642024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345872024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Johansson, Thomas. editor. Nguyen, Phong Q. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334587.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38348-9">http://dx.doi.org/10.1007/978-3-642-38348-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346172024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334617.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38536-0">http://dx.doi.org/10.1007/978-3-642-38536-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347242024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334724.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1964182024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28332-1">http://dx.doi.org/10.1007/978-3-642-28332-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Security and Trust First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedingsent://SD_ILS/0/SD_ILS:1964972024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Degano, Pierpaolo. editor. Guttman, Joshua D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28641-4">http://dx.doi.org/10.1007/978-3-642-28641-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965012024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor O’Boyle, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28652-0">http://dx.doi.org/10.1007/978-3-642-28652-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2012 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965882024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Pointcheval, David. editor. Johansson, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29011-4">http://dx.doi.org/10.1007/978-3-642-29011-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Learning Theory 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1974732024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Bshouty, Nader H. editor. Stoltz, Gilles. editor. Vayatis, Nicolas. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34106-9">http://dx.doi.org/10.1007/978-3-642-34106-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975002024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Grossklags, Jens. editor. Walrand, Jean. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34266-0">http://dx.doi.org/10.1007/978-3-642-34266-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969342024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Hirsch, Edward A. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. Prilutskii, Michail. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30642-6">http://dx.doi.org/10.1007/978-3-642-30642-6</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:1975592024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Public Key Cryptography – PKC 2012 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1968222024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Fischlin, Marc. editor. Buchmann, Johannes. editor. Manulis, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30057-8">http://dx.doi.org/10.1007/978-3-642-30057-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1971152024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31612-8">http://dx.doi.org/10.1007/978-3-642-31612-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Natural Computing First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1974392024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33860-1">http://dx.doi.org/10.1007/978-3-642-33860-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Game Theory for Networks 2nd International ICST Conference, GAMENETS 2011, Shanghai, China, April 16-18, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1968692024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Jain, Rahul. editor. Kannan, Rajgopal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30373-9">http://dx.doi.org/10.1007/978-3-642-30373-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1944622024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Kulikov, Alexander. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20712-9">http://dx.doi.org/10.1007/978-3-642-20712-9</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:1945712024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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:1953072024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Algorithmic Decision Theory Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1957752024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Brafman, Ronen I. editor. Roberts, Fred S. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24873-3">http://dx.doi.org/10.1007/978-3-642-24873-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public Key Cryptography – PKC 2011 14th International Conference on Practice and Theory in Public Key Cryptography, Taormina, Italy, March 6-9, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1940242024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Catalano, Dario. editor. Fazio, Nelly. editor. Gennaro, Rosario. editor. Nicolosi, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19379-8">http://dx.doi.org/10.1007/978-3-642-19379-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941442024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Marchetti-Spaccamela, Alberto. editor. Segal, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19754-3">http://dx.doi.org/10.1007/978-3-642-19754-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2011 30th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tallinn, Estonia, May 15-19, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1943802024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Paterson, Kenneth G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20465-4">http://dx.doi.org/10.1007/978-3-642-20465-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language and Automata Theory and Applications 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946422024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Dediu, Adrian-Horia. editor. Inenaga, Shunsuke. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21254-3">http://dx.doi.org/10.1007/978-3-642-21254-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1947472024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Sakallah, Karem A. editor. Simon, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21581-0">http://dx.doi.org/10.1007/978-3-642-21581-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Learning Theory 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1956292024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Kivinen, Jyrki. editor. Szepesvári, Csaba. editor. Ukkonen, Esko. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24412-4">http://dx.doi.org/10.1007/978-3-642-24412-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developments in Language Theory 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1949872024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Mauri, Giancarlo. editor. Leporati, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22321-1">http://dx.doi.org/10.1007/978-3-642-22321-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1951922024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Owe, Olaf. editor. Steffen, Martin. editor. Telle, Jan Arne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22953-4">http://dx.doi.org/10.1007/978-3-642-22953-4</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:1961102024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Compiler Construction 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941812024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Knoop, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19861-8">http://dx.doi.org/10.1007/978-3-642-19861-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1959002024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Baras, John S. editor. Katz, Jonathan. editor. Altman, Eitan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25280-8">http://dx.doi.org/10.1007/978-3-642-25280-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2010, Angers, France, May 17-21, 2010. Revised Selected Papersent://SD_ILS/0/SD_ILS:1959302024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Richard, Paul. editor. Braz, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25382-9">http://dx.doi.org/10.1007/978-3-642-25382-9</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:1959312024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1918142024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Ranchordas, AlpeshKumar. editor. Pereira, João Madeiras. editor. Araújo, Hélder J. editor. Tavares, João Manuel R. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11840-1">http://dx.doi.org/10.1007/978-3-642-11840-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public Key Cryptography – PKC 2010 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1921872024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Nguyen, Phong Q. editor. Pointcheval, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13013-7">http://dx.doi.org/10.1007/978-3-642-13013-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1922152024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Dediu, Adrian-Horia. editor. Fernau, Henning. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13089-2">http://dx.doi.org/10.1007/978-3-642-13089-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1935242024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Alpcan, Tansu. editor. Buttyán, Levente. editor. Baras, John S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17197-0">http://dx.doi.org/10.1007/978-3-642-17197-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918502024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Gupta, Rajiv. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11970-5">http://dx.doi.org/10.1007/978-3-642-11970-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1925722024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Strichman, Ofer. editor. Szeider, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14186-7">http://dx.doi.org/10.1007/978-3-642-14186-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1926602024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Gao, Yuan. editor. Lu, Hanlin. editor. Seki, Shinnosuke. editor. Yu, Sheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14455-4">http://dx.doi.org/10.1007/978-3-642-14455-4</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:1935822024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>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:1936572024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>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:1919732024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1922532024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Ablayev, Farid. editor. Mayr, Ernst W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13182-0">http://dx.doi.org/10.1007/978-3-642-13182-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2010 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, French Riviera, May 30 – June 3, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1922562024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Gilbert, Henri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13190-5">http://dx.doi.org/10.1007/978-3-642-13190-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Number Theory 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1926812024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Hanrot, Guillaume. editor. Morain, François. editor. Thomé, Emmanuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14518-6">http://dx.doi.org/10.1007/978-3-642-14518-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1931872024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Hutter, Marcus. editor. Stephan, Frank. editor. Vovk, Vladimir. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16108-7">http://dx.doi.org/10.1007/978-3-642-16108-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public Key Cryptography – PKC 2009 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1896972024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Jarecki, Stanisław. editor. Tsudik, Gene. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00468-1">http://dx.doi.org/10.1007/978-3-642-00468-1</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:1908302024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>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:1909412024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>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:1897842024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 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:1897942024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00768-2">http://dx.doi.org/10.1007/978-3-642-00768-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2009 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1898522024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Joux, Antoine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01001-9">http://dx.doi.org/10.1007/978-3-642-01001-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developments in Language Theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1904142024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Diekert, Volker. editor. Nowotka, Dirk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02737-6">http://dx.doi.org/10.1007/978-3-642-02737-6</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:1903172024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>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:1913462024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>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:1905982024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1906132024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Kutyłowski, Mirosław. editor. Charatonik, Witold. editor. Gębala, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03409-1">http://dx.doi.org/10.1007/978-3-642-03409-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2008 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882922024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Smart, Nigel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78967-3">http://dx.doi.org/10.1007/978-3-540-78967-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developments in Language Theory 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1887732024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Ito, Masami. editor. Toyama, Masafumi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85780-8">http://dx.doi.org/10.1007/978-3-540-85780-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Geometry and Graph Theory International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papersent://SD_ILS/0/SD_ILS:1892892024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Ito, Hiro. editor. Kano, Mikio. editor. Katoh, Naoki. editor. Uno, Yushi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89550-3">http://dx.doi.org/10.1007/978-3-540-89550-3</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:1892342024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Public Key Cryptography – PKC 2008 11th International Workshop on Practice and Theory in Public-Key Cryptography, Barcelona, Spain, March 9-12, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1881302024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Cramer, Ronald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78440-1">http://dx.doi.org/10.1007/978-3-540-78440-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882462024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78800-3">http://dx.doi.org/10.1007/978-3-540-78800-3</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:1883672024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Algorithmic Number Theory 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1884392024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Poorten, Alfred J. editor. Stein, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79456-1">http://dx.doi.org/10.1007/978-3-540-79456-1</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:1884972024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1885002024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79719-7">http://dx.doi.org/10.1007/978-3-540-79719-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papersent://SD_ILS/0/SD_ILS:1887132024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Hertling, Peter. editor. Hoffmann, Christoph M. editor. Luther, Wolfram. editor. Revol, Nathalie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85521-7">http://dx.doi.org/10.1007/978-3-540-85521-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public Key Cryptography – PKC 2007 10th International Conference on Practice and Theory in Public-Key Cryptography Beijing, China, April 16-20, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1863402024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Okamoto, Tatsuaki. 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-540-71677-8">http://dx.doi.org/10.1007/978-3-540-71677-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2007 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1865732024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Naor, Moni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72540-4">http://dx.doi.org/10.1007/978-3-540-72540-4</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:1877202024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862132024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71209-1">http://dx.doi.org/10.1007/978-3-540-71209-1</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:1865572024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866522024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72788-0">http://dx.doi.org/10.1007/978-3-540-72788-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1870962024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Csuhaj-Varjú, Erzsébet. editor. Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74240-1">http://dx.doi.org/10.1007/978-3-540-74240-1</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:1871822024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Practice and Theory of Automated Timetabling VI 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papersent://SD_ILS/0/SD_ILS:1878462024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Burke, Edmund K. editor. Rudová, Hana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77345-0">http://dx.doi.org/10.1007/978-3-540-77345-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836042024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691372">http://dx.doi.org/10.1007/11691372</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public Key Cryptography - PKC 2006 9th International Conference on Theory and Practice in Public-Key Cryptography, New York, NY, USA, April 24-26, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1838562024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Yung, Moti. editor. Dodis, Yevgeniy. editor. Kiayias, Aggelos. editor. Malkin, Tal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11745853">http://dx.doi.org/10.1007/11745853</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2006 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1841012024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Vaudenay, Serge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11761679">http://dx.doi.org/10.1007/11761679</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Number Theory 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1843482024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Hess, Florian. editor. Pauli, Sebastian. editor. Pohst, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11792086">http://dx.doi.org/10.1007/11792086</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1844962024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</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:1852142024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1839092024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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:1839572024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>Algorithmic Learning Theory 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1849792024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Balcázar, José L. editor. Long, Philip M. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11894841">http://dx.doi.org/10.1007/11894841</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public Key Cryptography - PKC 2005 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1823772024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Vaudenay, Serge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105124">http://dx.doi.org/10.1007/b105124</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1828262024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Learning Theory 16th International Conference, ALT 2005, Singapore, October 8-11, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1828372024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Jain, Sanjay. editor. Simon, Hans Ulrich. editor. Tomita, Etsuji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11564089">http://dx.doi.org/10.1007/11564089</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830512024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107194">http://dx.doi.org/10.1007/b107194</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2005 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831202024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Cramer, Ronald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136415">http://dx.doi.org/10.1007/b136415</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1827522024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11527695">http://dx.doi.org/10.1007/11527695</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1829592024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Liśkiewicz, Maciej. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11537311">http://dx.doi.org/10.1007/11537311</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1833632024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor Burke, Edmund. editor. Trick, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11593577">http://dx.doi.org/10.1007/11593577</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:1832542024-12-19T01:16:11Z2024-12-19T01:16:11ZAuthor 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/>