Search Results for Information theory. - Narrowed by: 2009SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInformation$002btheory.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092009$0025092009$0026ps$003d300$0026isd$003dtrue?dt=list2024-11-23T18:23:55ZInformation Theory and Statistical Learningent://SD_ILS/0/SD_ILS:1677202024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Emmert-Streib, Frank. editor. Dehmer, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-84816-7">http://dx.doi.org/10.1007/978-0-387-84816-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems Development Challenges in Practice, Theory, and Education Volume 1ent://SD_ILS/0/SD_ILS:1666272024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Wojtkowski, Wita. editor. Wojtkowski, Gregory. editor. Lang, Michael. editor. Conboy, Kieran. editor. Barry, Chris. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68772-8">http://dx.doi.org/10.1007/978-0-387-68772-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems Development Challenges in Practice, Theory, and Education Volume 2ent://SD_ILS/0/SD_ILS:1675922024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Barry, Chris. editor. Lang, Michael. editor. Wojtkowski, Wita. editor. Conboy, Kieran. editor. Wojtkowski, Gregory. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-78578-3">http://dx.doi.org/10.1007/978-0-387-78578-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Theory in Computer Vision and Pattern Recognitionent://SD_ILS/0/SD_ILS:1759432024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Escolano, Francisco. author. Suau, Pablo. author. Bonev, Boyán. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-297-9">http://dx.doi.org/10.1007/978-1-84882-297-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks Third IFIP WG 11.2 International Workshop, WISTP 2009, Brussels, Belgium, September 1-4, 2009, Proceedingsent://SD_ILS/0/SD_ILS:1907852024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Markowitch, Olivier. editor. Bilas, Angelos. editor. Hoepman, Jaap-Henk. editor. Mitchell, Chris J. editor. Quisquater, Jean-Jacques. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03944-7">http://dx.doi.org/10.1007/978-3-642-03944-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:1909412024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>Stochastic Models, Information Theory, and Lie Groups, Volume 1 Classical Results and Geometric Methodsent://SD_ILS/0/SD_ILS:1682942024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Chirikjian, Gregory S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4803-9">http://dx.doi.org/10.1007/978-0-8176-4803-9</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-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>Database Theory and Application International Conference, DTA 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1914122024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Zhang, Yanchun. editor. Ma, Jianhua. editor. Chung, Kyo-il. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10583-8">http://dx.doi.org/10.1007/978-3-642-10583-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Spatial Information Theory 9th International Conference, COSIT 2009 Aber Wrac’h, France, September 21-25, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1907542024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Hornsby, Kathleen Stewart. editor. Claramunt, Christophe. editor. Denis, Michel. editor. Ligozat, Gérard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03832-7">http://dx.doi.org/10.1007/978-3-642-03832-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Number Theory in Science and Communication With Applications in Cryptography, Physics, Digital Information, Computing, and Self-Similarityent://SD_ILS/0/SD_ILS:1886682024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Schroeder, Manfred. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85298-8">http://dx.doi.org/10.1007/978-3-540-85298-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Informationent://SD_ILS/0/SD_ILS:1897632024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Sommaruga, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00659-3">http://dx.doi.org/10.1007/978-3-642-00659-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of software engineering & knowledge engineeringent://SD_ILS/0/SD_ILS:792872024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Chang, Shi Kuo, 1944- ed.<br/>Preferred Shelf Number QA 76.758 H36 2001- V.2<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Microeconomics of bankingent://SD_ILS/0/SD_ILS:758472024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Freixas, Xavier.<br/>Preferred Shelf Number HG 1601 F74 1997<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Sensitivity and uncertainty analysisent://SD_ILS/0/SD_ILS:2863942024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Cacuci, D. G. Ionescu-Bujor, Mihaela. Navon, Ionel Michael.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203483572">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sensitivity and uncertainty analysisent://SD_ILS/0/SD_ILS:2873342024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Cacuci, D. G. Ionescu-Bujor, Mihaela. Navon, Ionel Michael.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203498798">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Entropi, informasyon ve entropi optimizasyonent://SD_ILS/0/SD_ILS:1249442024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Şamilov, Aladdin.<br/>Preferred Shelf Number Q370 .S26 2009<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Computable Modelsent://SD_ILS/0/SD_ILS:1758852024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Turner, Raymond. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-052-4">http://dx.doi.org/10.1007/978-1-84882-052-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Models of Computation An Introduction to Computability Theoryent://SD_ILS/0/SD_ILS:1759732024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Fernández, Maribel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-434-8">http://dx.doi.org/10.1007/978-1-84882-434-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Elements of Computation Theoryent://SD_ILS/0/SD_ILS:1759872024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Singh, Arindama. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-497-3">http://dx.doi.org/10.1007/978-1-84882-497-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Adventures From Knowledge to Magicent://SD_ILS/0/SD_ILS:1888242024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>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-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systemsent://SD_ILS/0/SD_ILS:1898272024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1898392024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor César, Eduardo. editor. Alexander, Michael. editor. Streit, Achim. editor. Träff, Jesper Larsson. editor. Cérin, Christophe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00955-6">http://dx.doi.org/10.1007/978-3-642-00955-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1898482024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Dediu, Adrian Horia. editor. Ionescu, Armand Mihai. 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-00982-2">http://dx.doi.org/10.1007/978-3-642-00982-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part Ient://SD_ILS/0/SD_ILS:1901772024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01970-8">http://dx.doi.org/10.1007/978-3-642-01970-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part IIent://SD_ILS/0/SD_ILS:1901782024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01973-9">http://dx.doi.org/10.1007/978-3-642-01973-9</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:1901892024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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:1903172024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1903252024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02454-2">http://dx.doi.org/10.1007/978-3-642-02454-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1903262024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02457-3">http://dx.doi.org/10.1007/978-3-642-02457-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1906212024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Corradini, Andrea. editor. Montanari, Ugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03429-9">http://dx.doi.org/10.1007/978-3-642-03429-9</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:1906362024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908302024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1909252024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04368-0">http://dx.doi.org/10.1007/978-3-642-04368-0</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:1909422024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>Transactions on Petri Nets and Other Models of Concurrency IIIent://SD_ILS/0/SD_ILS:1910802024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Jensen, Kurt. editor. Billington, Jonathan. 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-04856-2">http://dx.doi.org/10.1007/978-3-642-04856-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1910902024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04893-7">http://dx.doi.org/10.1007/978-3-642-04893-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Genetic Programming Theory and Practice VIent://SD_ILS/0/SD_ILS:1678292024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>Algorithmic Bioprocessesent://SD_ILS/0/SD_ILS:1891502024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Condon, Anne. editor. Harel, David. editor. Kok, Joost N. editor. Salomaa, Arto. editor. Winfree, Erik. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88869-7">http://dx.doi.org/10.1007/978-3-540-88869-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1894352024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92687-0">http://dx.doi.org/10.1007/978-3-540-92687-0</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:1894392024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1895552024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Nielsen, Mogens. editor. Kučera, Antonín. editor. Miltersen, Peter Bro. editor. Palamidessi, Catuscia. editor. Tůma, Petr. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-95891-8">http://dx.doi.org/10.1007/978-3-540-95891-8</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:1898062024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1904132024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Fisher, Michael. editor. Sadri, Fariba. editor. Thielscher, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02734-5">http://dx.doi.org/10.1007/978-3-642-02734-5</a><br/>Format: 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:1905102024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1904562024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Sossai, Claudio. editor. Chemello, Gaetano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02906-6">http://dx.doi.org/10.1007/978-3-642-02906-6</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:1904632024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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:1904642024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>Transactions on Rough Sets Xent://SD_ILS/0/SD_ILS:1905752024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Peters, James F. editor. Skowron, Andrzej. editor. Wolski, Marcin. editor. Chakraborty, Mihir K. editor. Wu, Wei-Zhi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03281-3">http://dx.doi.org/10.1007/978-3-642-03281-3</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-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>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:1916882024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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:1855032024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>Neural-Symbolic Cognitive Reasoningent://SD_ILS/0/SD_ILS:1867862024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73246-4">http://dx.doi.org/10.1007/978-3-540-73246-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Post-Quantum Cryptographyent://SD_ILS/0/SD_ILS:1891062024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Bernstein, Daniel J. editor. Buchmann, Johannes. editor. Dahmen, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88702-7">http://dx.doi.org/10.1007/978-3-540-88702-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Gröbner Bases, Coding, and Cryptographyent://SD_ILS/0/SD_ILS:1895132024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Sala, Massimiliano. editor. Sakata, Shojiro. editor. Mora, Teo. editor. Traverso, Carlo. editor. Perret, Ludovic. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-93806-4">http://dx.doi.org/10.1007/978-3-540-93806-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:1905172024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1902682024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lecturesent://SD_ILS/0/SD_ILS:1910162024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>Formale Sprachen, abstrakte Automaten und Compiler Lehr- und Arbeitsbuch für Grundstudium und Fortbildungent://SD_ILS/0/SD_ILS:2000032024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Wagenknecht, Christian. author. Hielscher, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9972-9">http://dx.doi.org/10.1007/978-3-8348-9972-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Grundkurs Künstliche Intelligenz Eine praxisorientierte Einführungent://SD_ILS/0/SD_ILS:2000182024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Ertel, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9989-7">http://dx.doi.org/10.1007/978-3-8348-9989-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The origins of object knowledgeent://SD_ILS/0/SD_ILS:2338602024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Hood, Bruce M. (Bruce MacFarlane) Santos, Laurie.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199216895.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199216895.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Claude E. Shannon Spielzeug, Leben und die geheime Geschichte seiner Theorie der Informationent://SD_ILS/0/SD_ILS:2497252024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Roch, Axel.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5271069">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5271069</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:1897392024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 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:1897412024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Alfaro, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00596-1">http://dx.doi.org/10.1007/978-3-642-00596-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1901092024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01748-3">http://dx.doi.org/10.1007/978-3-642-01748-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hagenberg Researchent://SD_ILS/0/SD_ILS:1902252024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Buchberger, Bruno. editor. Affenzeller, Michael. editor. Ferscha, Alois. editor. Haller, Michael. editor. Jebelean, Tudor. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02127-5">http://dx.doi.org/10.1007/978-3-642-02127-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Optical SuperComputing Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1913682024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Dolev, Shlomi. editor. Oltean, Mihai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10442-8">http://dx.doi.org/10.1007/978-3-642-10442-8</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:1914502024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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:1916342024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor 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/>Natural Computing 2nd International Workshop on Natural Computing, Nagoya, Japan, December 2007, Proceedingsent://SD_ILS/0/SD_ILS:2040382024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Suzuki, Y. editor. Hagiya, M. editor. Umeo, H. editor. Adamatzky, A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-88981-6">http://dx.doi.org/10.1007/978-4-431-88981-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Conceptual structures in practiceent://SD_ILS/0/SD_ILS:2896712024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Hitzler, Pascal. Schr̃fe, Henrik.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420060638">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information society dimensionsent://SD_ILS/0/SD_ILS:5170052024-11-23T18:23:55Z2024-11-23T18:23:55ZAuthor Karvalics, Laszlo Z., 1961- author.<br/>Preferred Shelf Number HM851 K375 2009<br/>Format: Books<br/>Availability Beytepe Library~1<br/>