Search Results for 0 - Narrowed by: Information theory. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d0$0026qf$003dSUBJECT$002509Subject$002509Information$002btheory.$002509Information$002btheory.$0026ps$003d300? 2024-11-16T01:23:23Z Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483421 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148&#160;Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948&#160;Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-06019-0">https://doi.org/10.1007/978-3-030-06019-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Empowering Learners for Life in the Digital Age IFIP TC 3 Open Conference on Computers in Education, OCCE 2018, Linz, Austria, June 24&ndash;28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486084 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Passey, Don. editor. (orcid)0000-0002-9205-502X&#160;Bottino, Rosa. editor. (orcid)0000-0001-6709-0053&#160;Lewin, Cathy. editor. (orcid)0000-0002-3430-4075&#160;Sanchez, Eric. editor. (orcid)0000-0002-3819-6681&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23513-0">https://doi.org/10.1007/978-3-030-23513-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet of Things &ndash; ICIOT 2019 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486227 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Issarny, Valerie. editor.&#160;Palanisamy, Balaji. editor.&#160;Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23357-0">https://doi.org/10.1007/978-3-030-23357-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-Business and Telecommunications 14th International Joint Conference, ICETE 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Paper ent://SD_ILS/0/SD_ILS:484505 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Obaidat, Mohammad S. editor.&#160;Cabello, Enrique. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-11039-0">https://doi.org/10.1007/978-3-030-11039-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Cryptology &ndash; AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485949 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Buchmann, Johannes. editor.&#160;Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757&#160;Rachidi, Tajjeeddine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23696-0">https://doi.org/10.1007/978-3-030-23696-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Cryptology &ndash; LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20&ndash;22, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486418 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Lange, Tanja. editor.&#160;Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-25283-0">https://doi.org/10.1007/978-3-030-25283-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 &ndash; August 3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399408 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Manea, Florin. editor.&#160;Miller, Russell G. editor.&#160;Nowotka, Dirk. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94418-0">https://doi.org/10.1007/978-3-319-94418-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantics, Analytics, Visualization 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399083 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Gonz&aacute;lez-Beltr&aacute;n, Alejandra. editor. (orcid)0000-0003-3499-8262&#160;Osborne, Francesco. editor. (orcid)0000-0001-6557-3131&#160;Peroni, Silvio. editor. (orcid)0000-0003-0530-4305&#160;Vahdati, Sahar. editor. (orcid)0000-0002-7171-169X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01379-0">https://doi.org/10.1007/978-3-030-01379-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Courant&ndash;Friedrichs&ndash;Lewy (CFL) Condition 80 Years After Its Discovery ent://SD_ILS/0/SD_ILS:330567 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;de Moura, Carlos A. editor.&#160;Kubrusly, Carlos S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330567.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-8176-8394-8">http://dx.doi.org/10.1007/978-0-8176-8394-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334901 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;G&#261;sieniec, Leszek. editor.&#160;Wolter, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334901.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40164-0">http://dx.doi.org/10.1007/978-3-642-40164-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334038 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Artemov, Sergei. editor.&#160;Nerode, Anil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334038.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> People, Problems, and Proofs Essays from G&ouml;del's Lost Letter: 2010 ent://SD_ILS/0/SD_ILS:335104 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Lipton, Richard J. author.&#160;Regan, Kenneth W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335104.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41422-0">http://dx.doi.org/10.1007/978-3-642-41422-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196803 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Agrawal, Manindra. editor.&#160;Cooper, S. Barry. editor.&#160;Li, Angsheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29952-0">http://dx.doi.org/10.1007/978-3-642-29952-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196438 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Mossakowski, Till. editor.&#160;Kreowski, Hans-J&ouml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28412-0">http://dx.doi.org/10.1007/978-3-642-28412-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics of Discrete Structures for Computer Science ent://SD_ILS/0/SD_ILS:196778 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Pace, Gordon J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29840-0">http://dx.doi.org/10.1007/978-3-642-29840-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Research in Artificial Intelligence and Computational Intelligence International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197498 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Lei, Jingsheng. editor.&#160;Wang, Fu Lee. editor.&#160;Deng, Hepu. editor.&#160;Miao, Duoqian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34240-0">http://dx.doi.org/10.1007/978-3-642-34240-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to the Theory of Programming Languages ent://SD_ILS/0/SD_ILS:168414 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Dowek, Gilles. author.&#160;L&eacute;vy, Jean-Jacques. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-076-2">http://dx.doi.org/10.1007/978-0-85729-076-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proofs and Algorithms An Introduction to Logic and Computability ent://SD_ILS/0/SD_ILS:168427 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Dowek, Gilles. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-121-9">http://dx.doi.org/10.1007/978-0-85729-121-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concise Guide to Computation Theory ent://SD_ILS/0/SD_ILS:168528 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Maruoka, Akira. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-535-4">http://dx.doi.org/10.1007/978-0-85729-535-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science The Hardware, Software and Heart of It ent://SD_ILS/0/SD_ILS:173871 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Blum, Edward K. editor.&#160;Aho, Alfred V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1168-0">http://dx.doi.org/10.1007/978-1-4614-1168-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday ent://SD_ILS/0/SD_ILS:194028 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Calude, Cristian S. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-19391-0">http://dx.doi.org/10.1007/978-3-642-19391-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Informatics and Communication International Conference, ICAIC 2011, Xi&rsquo;ian, China, August 20-21, 2011. Proceedings, Part III ent://SD_ILS/0/SD_ILS:195281 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Zhang, Jianwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23235-0">http://dx.doi.org/10.1007/978-3-642-23235-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deterministic Extraction from Weak Random Sources ent://SD_ILS/0/SD_ILS:192808 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Gabizon, Ariel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14903-0">http://dx.doi.org/10.1007/978-3-642-14903-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP ent://SD_ILS/0/SD_ILS:192610 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Dovier, Agostino. editor.&#160;Pontelli, Enrico. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14309-0">http://dx.doi.org/10.1007/978-3-642-14309-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192376 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Kratochv&iacute;l, Jan. editor.&#160;Li, Angsheng. editor.&#160;Fiala, Ji&#345;&iacute;. editor.&#160;Kolman, Petr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13562-0">http://dx.doi.org/10.1007/978-3-642-13562-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Randomness and Complexity ent://SD_ILS/0/SD_ILS:166586 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Downey, Rodney G. author.&#160;Hirschfeldt, Denis R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-68441-3">http://dx.doi.org/10.1007/978-0-387-68441-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming Theory and Practice VI ent://SD_ILS/0/SD_ILS:167829 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Worzel, Bill. editor.&#160;Soule, Terence. editor.&#160;Riolo, Rick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-87623-8">http://dx.doi.org/10.1007/978-0-387-87623-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Theory and Statistical Learning ent://SD_ILS/0/SD_ILS:167720 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Emmert-Streib, Frank. editor.&#160;Dehmer, Matthias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-84816-7">http://dx.doi.org/10.1007/978-0-387-84816-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures ent://SD_ILS/0/SD_ILS:191016 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Koopman, Pieter. editor.&#160;Plasmeijer, Rinus. editor.&#160;Swierstra, Doaitse. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04652-0">http://dx.doi.org/10.1007/978-3-642-04652-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191634 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Chen, Jianer. editor.&#160;Fomin, Fedor V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11269-0">http://dx.doi.org/10.1007/978-3-642-11269-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computability of Julia Sets ent://SD_ILS/0/SD_ILS:185503 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Braverman, Mark. author.&#160;Yampolsky, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68547-0">http://dx.doi.org/10.1007/978-3-540-68547-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189435 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Artemov, Sergei. editor.&#160;Nerode, Anil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92687-0">http://dx.doi.org/10.1007/978-3-540-92687-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190925 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Ouaknine, Jo&euml;l. editor.&#160;Vaandrager, Frits W. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04368-0">http://dx.doi.org/10.1007/978-3-642-04368-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Development, Communities and Quality IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy ent://SD_ILS/0/SD_ILS:164749 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Russo, Barbara. editor.&#160;Damiani, Ernesto. editor.&#160;Hissam, Scott. editor.&#160;Lundell, Bj&ouml;rn. editor.&#160;Succi, Giancarlo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-09684-1">http://dx.doi.org/10.1007/978-0-387-09684-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Encyclopedia of Algorithms ent://SD_ILS/0/SD_ILS:165701 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Kao, Ming-Yang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-30162-4">http://dx.doi.org/10.1007/978-0-387-30162-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning to Live in the Knowledge Society IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7&ndash;10, 2008, Milano, Italy ent://SD_ILS/0/SD_ILS:164771 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Kendall, Michael. editor.&#160;Samways, Brian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-09729-9">http://dx.doi.org/10.1007/978-0-387-09729-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Metaheuristics for Hard Optimization ent://SD_ILS/0/SD_ILS:186702 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Siarry, Patrick. editor.&#160;Michalewicz, Zbigniew. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72960-0">http://dx.doi.org/10.1007/978-3-540-72960-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deduction, Computation, Experiment Exploring the Effectiveness of Proof ent://SD_ILS/0/SD_ILS:204291 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Lupacchini, Rossella. editor.&#160;Corsi, Giovanna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-0784-0">http://dx.doi.org/10.1007/978-88-470-0784-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2008 8th International Conference, Krak&oacute;w, Poland, June 23-25, 2008, Proceedings, Part I ent://SD_ILS/0/SD_ILS:185805 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Bubak, Marian. editor.&#160;Albada, Geert Dick. editor.&#160;Dongarra, Jack. editor.&#160;Sloot, Peter M. A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69384-0">http://dx.doi.org/10.1007/978-3-540-69384-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Crashkurs Mathematik f&uuml;r Informatiker ent://SD_ILS/0/SD_ILS:203825 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Jukna, Stasys. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8351-9214-0">http://dx.doi.org/10.1007/978-3-8351-9214-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fifth Ifip International Conference On Theoretical Computer Science &ndash; Tcs 2008 ent://SD_ILS/0/SD_ILS:164747 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Ausiello, Giorgio. editor.&#160;Karhum&auml;ki, Juhani. editor.&#160;Mauri, Giancarlo. editor.&#160;Ong, Luke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-09680-3">http://dx.doi.org/10.1007/978-0-387-09680-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Information Systems Research, Education and Practice IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy ent://SD_ILS/0/SD_ILS:164748 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Avison, David. editor.&#160;Kasper, George M. editor.&#160;Pernici, Barbara. editor.&#160;Ramos, Isabel. editor.&#160;Roode, Dewald. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-09682-7">http://dx.doi.org/10.1007/978-0-387-09682-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence in Theory and Practice II IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy ent://SD_ILS/0/SD_ILS:164755 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Bramer, Max. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-09695-7">http://dx.doi.org/10.1007/978-0-387-09695-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy ent://SD_ILS/0/SD_ILS:164756 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Cascini, Gaetano. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-09697-1">http://dx.doi.org/10.1007/978-0-387-09697-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Introduction to Kolmogorov Complexity and Its Applications ent://SD_ILS/0/SD_ILS:166508 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Li, Ming. author.&#160;Vit&aacute;nyi, Paul. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-49820-1">http://dx.doi.org/10.1007/978-0-387-49820-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hypercomputation Computing Beyond the Church-Turing Barrier ent://SD_ILS/0/SD_ILS:166528 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Syropoulos, Apostolos. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-49970-3">http://dx.doi.org/10.1007/978-0-387-49970-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Computational Paradigms Changing Conceptions of What is Computable ent://SD_ILS/0/SD_ILS:166594 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Cooper, S. Barry. editor.&#160;L&ouml;we, Benedikt. editor.&#160;Sorbi, Andrea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-68546-5">http://dx.doi.org/10.1007/978-0-387-68546-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity ent://SD_ILS/0/SD_ILS:166685 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Georgiou, Chryssis. author.&#160;Shvartsman, Alexander A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-69045-2">http://dx.doi.org/10.1007/978-0-387-69045-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming Theory and Practice V ent://SD_ILS/0/SD_ILS:167322 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Riolo, Rick. editor.&#160;Soule, Terence. editor.&#160;Worzel, Bill. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-76308-8">http://dx.doi.org/10.1007/978-0-387-76308-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Linear Genetic Programming ent://SD_ILS/0/SD_ILS:165774 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Brameier, Markus F. author.&#160;Banzhaf, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-31030-5">http://dx.doi.org/10.1007/978-0-387-31030-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Metaheuristics Progress in Complex Systems Optimization ent://SD_ILS/0/SD_ILS:166897 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Doerner, Karl F. editor.&#160;Gendreau, Michel. editor.&#160;Greistorfer, Peter. editor.&#160;Gutjahr, Walter. editor.&#160;Hartl, Richard F. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-71921-4">http://dx.doi.org/10.1007/978-0-387-71921-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components ent://SD_ILS/0/SD_ILS:169706 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Nicolescu, G. editor.&#160;Jerraya, A. A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-6153-0">http://dx.doi.org/10.1007/978-1-4020-6153-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:186508 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Lehner, Wolfgang. editor.&#160;Meyer, Norbert. editor.&#160;Streit, Achim. editor.&#160;Stewart, Craig. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72337-0">http://dx.doi.org/10.1007/978-3-540-72337-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretische Informatik Formale Sprachen, Berechenbarkeit, Komplexit&auml;tstheorie, Algorithmik, Kommunikation und Kryptographie ent://SD_ILS/0/SD_ILS:203804 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Hromkovi&#269;, Juraj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8351-9115-0">http://dx.doi.org/10.1007/978-3-8351-9115-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition ent://SD_ILS/0/SD_ILS:166176 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Coello, Carlos A. Coello. author.&#160;Lamont, Gary B. author.&#160;Veldhuizen, David A. Van. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-36797-2">http://dx.doi.org/10.1007/978-0-387-36797-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Computer Scientist's Guide to Cell Biology A travelogue from a stranger in a strange land ent://SD_ILS/0/SD_ILS:166399 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Cohen, William W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-48278-1">http://dx.doi.org/10.1007/978-0-387-48278-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming Theory and Practice IV ent://SD_ILS/0/SD_ILS:166493 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Riolo, Rick. editor.&#160;Soule, Terence. editor.&#160;Worzel, Bill. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-49650-4">http://dx.doi.org/10.1007/978-0-387-49650-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deformable Models Theory and Biomaterial Applications ent://SD_ILS/0/SD_ILS:166572 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Suri, Jasjit S. author.&#160;Farag, Aly A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-68343-0">http://dx.doi.org/10.1007/978-0-387-68343-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies ent://SD_ILS/0/SD_ILS:165431 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Zomaya, Albert Y. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-27705-6">http://dx.doi.org/10.1007/0-387-27705-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolvable Hardware ent://SD_ILS/0/SD_ILS:165804 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Higuchi, Tetsuya. editor.&#160;Liu, Yong. editor.&#160;Yao, Xin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-31238-2">http://dx.doi.org/10.1007/0-387-31238-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods ent://SD_ILS/0/SD_ILS:165805 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Nikolaev, Nikolay Y. author.&#160;Iba, Hitoshi. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-31240-4">http://dx.doi.org/10.1007/0-387-31240-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23&ndash;24, 2006, Santiago, Chile ent://SD_ILS/0/SD_ILS:166068 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Navarro, Gonzalo. editor.&#160;Bertossi, Leopoldo. editor.&#160;Kohayakawa, Yoshiharu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-34735-6">http://dx.doi.org/10.1007/978-0-387-34735-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination of Large-Scale Multiagent Systems ent://SD_ILS/0/SD_ILS:165454 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Scerri, Paul. editor.&#160;Vincent, R&eacute;gis. editor.&#160;Mailler, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-27972-5">http://dx.doi.org/10.1007/0-387-27972-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming Theory and Practice III ent://SD_ILS/0/SD_ILS:165469 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Yu, Tina. editor.&#160;Riolo, Rick. editor.&#160;Worzel, Bill. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28111-8">http://dx.doi.org/10.1007/0-387-28111-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computation Engineering Applied Automata Theory and Logic ent://SD_ILS/0/SD_ILS:165858 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Gopalakrishnan, Ganesh. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-32520-4">http://dx.doi.org/10.1007/0-387-32520-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multivariate Public Key Cryptosystems ent://SD_ILS/0/SD_ILS:166190 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Ding, Jintai. author.&#160;Gower, Jason E. author.&#160;Schmidt, Dieter S. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-36946-4">http://dx.doi.org/10.1007/978-0-387-36946-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concurrent Zero-Knowledge With Additional Background by Oded Goldreich ent://SD_ILS/0/SD_ILS:183559 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Rosen, Alon. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-32939-0">http://dx.doi.org/10.1007/3-540-32939-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Elements of information theory ent://SD_ILS/0/SD_ILS:303044 2024-11-16T01:23:23Z 2024-11-16T01:23:23Z Author&#160;Cover, T. M., 1938-2012.&#160;Thomas, Joy A.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.contentreserve.com/TitleInfo.asp?ID={546C70A0-437B-4454-8B81-25E7870BE0C5}&Format=50">Click for information</a> <a href="http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015611517&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA">Inhaltsverzeichnis</a> <a href="http://dx.doi.org/10.1002/047174882X">http://dx.doi.org/10.1002/047174882X</a> Volltext <a href="http://www3.interscience.wiley.com/cgi-bin/bookhome/110438582">http://www3.interscience.wiley.com/cgi-bin/bookhome/110438582</a> Volltext <a href="http://www3.interscience.wiley.com/cgi-bin/homepage/?isbn=9780471748823">http://www3.interscience.wiley.com/cgi-bin/homepage/?isbn=9780471748823</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>