Search Results for Computer science. - Narrowed by: Artificial intelligence. - Information theory.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Information$002btheory.$002509Information$002btheory.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-11T14:58:18Z
Analyzing Evolutionary Algorithms The Computer Science Perspective
ent://SD_ILS/0/SD_ILS:333075
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Jansen, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333075.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17339-4">http://dx.doi.org/10.1007/978-3-642-17339-4</a><br/>Format: Electronic Resources<br/>Availability 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-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Calude, Cristian S. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182332
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Maher, Michael J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103476">http://dx.doi.org/10.1007/b103476</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Asymptotic Nonparametric Statistical Analysis of Stationary Time Series
ent://SD_ILS/0/SD_ILS:486133
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Ryabko, Daniil. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12564-6">https://doi.org/10.1007/978-3-030-12564-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400644
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications
ent://SD_ILS/0/SD_ILS:335208
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Abraham, Ajith. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335208.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45318-2">http://dx.doi.org/10.1007/978-3-642-45318-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
ent://SD_ILS/0/SD_ILS:334841
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334841.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39721-9">http://dx.doi.org/10.1007/978-3-642-39721-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
ent://SD_ILS/0/SD_ILS:334973
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334973.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Lei, Jingsheng. editor. Wang, Fu Lee. editor. Deng, Hepu. editor. Miao, Duoqian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Interaction 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197627
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Busemeyer, Jerome R. editor. Dubois, François. editor. Lambert-Mogiliansky, Ariane. editor. Melucci, Massimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35659-9">http://dx.doi.org/10.1007/978-3-642-35659-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Rough Sets XIV
ent://SD_ILS/0/SD_ILS:194741
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Peters, James F. editor. Skowron, Andrzej. editor. Sakai, Hiroshi. editor. Chakraborty, Mihir Kumar. editor. Slezak, Dominik. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21563-6">http://dx.doi.org/10.1007/978-3-642-21563-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Interaction 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195807
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Song, Dawei. editor. Melucci, Massimo. editor. Frommholz, Ingo. editor. Zhang, Peng. editor. Wang, Lei. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24971-6">http://dx.doi.org/10.1007/978-3-642-24971-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
ent://SD_ILS/0/SD_ILS:192228
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13119-6">http://dx.doi.org/10.1007/978-3-642-13119-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
ent://SD_ILS/0/SD_ILS:192235
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13136-3">http://dx.doi.org/10.1007/978-3-642-13136-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Rough Sets XII
ent://SD_ILS/0/SD_ILS:192664
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Peters, James F. editor. Skowron, Andrzej. editor. Słowiński, Roman. editor. Lingras, Pawan. editor. Miao, Duoqian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14467-7">http://dx.doi.org/10.1007/978-3-642-14467-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Rough Sets XI
ent://SD_ILS/0/SD_ILS:191696
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Peters, James F. editor. Skowron, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11479-3">http://dx.doi.org/10.1007/978-3-642-11479-3</a><br/>Format: Electronic Resources<br/>Availability 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-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Dovier, Agostino. editor. Pontelli, Enrico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190268
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author 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/>
Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190517
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author 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 and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189439
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author 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/>
Quantum Interaction Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189806
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author 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/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190456
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author 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/>
Transactions on Rough Sets X
ent://SD_ILS/0/SD_ILS:190575
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author 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/>
Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185946
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69937-8">http://dx.doi.org/10.1007/978-3-540-69937-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:189332
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Costa, Paulo Cesar G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor. Laskey, Kenneth J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89765-1">http://dx.doi.org/10.1007/978-3-540-89765-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Discovery, Knowledge Engineering and Knowledge Management 8th International Joint Conference, IC3K 2016, Porto, Portugal, November 9–11, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484574
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Fred, Ana. editor. Dietz, Jan. editor. Aveiro, David. editor. (orcid)0000-0001-6453-3648 Liu, Kecheng. editor. Bernardino, Jorge. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99701-8">https://doi.org/10.1007/978-3-319-99701-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Transformation and Global Society 4th International Conference, DTGS 2019, St. Petersburg, Russia, June 19–21, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486660
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Alexandrov, Daniel A. editor. (orcid)0000-0002-4059-8903 Boukhanovsky, Alexander V. editor. Chugunov, Andrei V. editor. Kabanov, Yury. editor. (orcid)0000-0002-4011-2010 Koltsova, Olessia. editor. (orcid)0000-0002-2669-3154<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-37858-5">https://doi.org/10.1007/978-3-030-37858-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:399365
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03418-4">https://doi.org/10.1007/978-3-030-03418-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:399366
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03427-6">https://doi.org/10.1007/978-3-030-03427-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:399397
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:399410
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03421-4">https://doi.org/10.1007/978-3-030-03421-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:399569
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78054-2">https://doi.org/10.1007/978-3-319-78054-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:401495
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93701-4">https://doi.org/10.1007/978-3-319-93701-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:401521
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93698-7">https://doi.org/10.1007/978-3-319-93698-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400333
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02852-7">https://doi.org/10.1007/978-3-030-02852-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:400163
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Böckenhauer, Hans-Joachim. editor. Komm, Dennis. editor. Unger, Walter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98355-4">https://doi.org/10.1007/978-3-319-98355-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
ent://SD_ILS/0/SD_ILS:399861
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01461-2">https://doi.org/10.1007/978-3-030-01461-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401714
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III
ent://SD_ILS/0/SD_ILS:401990
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93713-7">https://doi.org/10.1007/978-3-319-93713-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487827
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Tan, Tieniu. editor. Ruan, Qiuqi. editor. Wang, Shengjin. editor. Ma, Huimin. editor. Huang, Kaiqi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45498-5">https://doi.org/10.1007/978-3-662-45498-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Decision Procedures An Algorithmic Point of View
ent://SD_ILS/0/SD_ILS:187055
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74105-3">http://dx.doi.org/10.1007/978-3-540-74105-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Time-Dependent Scheduling
ent://SD_ILS/0/SD_ILS:185828
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Gawiejnowicz, Stanisław. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69446-5">http://dx.doi.org/10.1007/978-3-540-69446-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Local Search
ent://SD_ILS/0/SD_ILS:184315
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Michiels, Wil. author. Korst, Jan. author. Aarts, Emile. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-35854-1">http://dx.doi.org/10.1007/978-3-540-35854-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability
ent://SD_ILS/0/SD_ILS:181057
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Hutter, Marcus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138233">http://dx.doi.org/10.1007/b138233</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:483164
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17653-2">https://doi.org/10.1007/978-3-030-17653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Forensics and Watermarking 17th International Workshop, IWDW 2018, Jeju Island, Korea, October 22-24, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:486312
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Yoo, Chang D. editor. Shi, Yun-Qing. editor. Kim, Hyoung Joong. editor. Piva, Alessandro. editor. (orcid)0000-0002-3047-0519 Kim, Gwangsu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-11389-6">https://doi.org/10.1007/978-3-030-11389-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399472
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399537
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399551
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice X
ent://SD_ILS/0/SD_ILS:332135
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332135.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6846-2">http://dx.doi.org/10.1007/978-1-4614-6846-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Massively Parallel Evolutionary Computation on GPGPUs
ent://SD_ILS/0/SD_ILS:334507
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Tsutsui, Shigeyoshi. editor. Collet, Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334507.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37959-8">http://dx.doi.org/10.1007/978-3-642-37959-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Search: From Algorithms to Systems
ent://SD_ILS/0/SD_ILS:335109
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Hamadi, Youssef. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335109.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41482-4">http://dx.doi.org/10.1007/978-3-642-41482-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Applied Self-Organizing Systems
ent://SD_ILS/0/SD_ILS:331148
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Prokopenko, Mikhail. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331148.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5113-5">http://dx.doi.org/10.1007/978-1-4471-5113-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:332975
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332975.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03473-7">http://dx.doi.org/10.1007/978-3-319-03473-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings
ent://SD_ILS/0/SD_ILS:335433
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335433.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-54436-4">http://dx.doi.org/10.1007/978-4-431-54436-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings
ent://SD_ILS/0/SD_ILS:203972
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-54106-6">http://dx.doi.org/10.1007/978-4-431-54106-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Natural Computing
ent://SD_ILS/0/SD_ILS:189483
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Rozenberg, Grzegorz. editor. Bäck, Thomas. editor. Kok, Joost N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92910-9">http://dx.doi.org/10.1007/978-3-540-92910-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomous Search
ent://SD_ILS/0/SD_ILS:194700
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Hamadi, Youssef. editor. Monfroy, Eric. editor. Saubion, Frédéric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21434-9">http://dx.doi.org/10.1007/978-3-642-21434-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Complexity of Valued Constraint Satisfaction Problems
ent://SD_ILS/0/SD_ILS:197450
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Živný, Stanislav. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33974-5">http://dx.doi.org/10.1007/978-3-642-33974-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cartesian Genetic Programming
ent://SD_ILS/0/SD_ILS:193564
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Miller, Julian F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17310-3">http://dx.doi.org/10.1007/978-3-642-17310-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice IX
ent://SD_ILS/0/SD_ILS:174011
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Moore, Jason H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1770-5">http://dx.doi.org/10.1007/978-1-4614-1770-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geospatial Abduction Principles and Practice
ent://SD_ILS/0/SD_ILS:174017
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Shakarian, Paulo. author. Subrahmanian, V. S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1794-1">http://dx.doi.org/10.1007/978-1-4614-1794-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Universal Semantic Communication
ent://SD_ILS/0/SD_ILS:195301
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Juba, Brendan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23297-8">http://dx.doi.org/10.1007/978-3-642-23297-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice VIII
ent://SD_ILS/0/SD_ILS:172966
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Riolo, Rick. editor. McConaghy, Trent. editor. Vladislavleva, Ekaterina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7747-2">http://dx.doi.org/10.1007/978-1-4419-7747-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice VII
ent://SD_ILS/0/SD_ILS:172304
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Riolo, Rick. editor. O'Reilly, Una-May. editor. McConaghy, Trent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-1626-6">http://dx.doi.org/10.1007/978-1-4419-1626-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cognitive Reasoning A Formal Approach
ent://SD_ILS/0/SD_ILS:185626
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68875-4">http://dx.doi.org/10.1007/978-3-540-68875-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Game of Life Cellular Automata
ent://SD_ILS/0/SD_ILS:176188
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Adamatzky, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-217-9">http://dx.doi.org/10.1007/978-1-84996-217-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexity
ent://SD_ILS/0/SD_ILS:193330
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Neumann, Frank. author. Witt, Carsten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16544-3">http://dx.doi.org/10.1007/978-3-642-16544-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice VI
ent://SD_ILS/0/SD_ILS:167829
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author 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/>
Hagenberg Research
ent://SD_ILS/0/SD_ILS:190225
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author 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/>
Information Theory and Statistical Learning
ent://SD_ILS/0/SD_ILS:167720
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author 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/>
Computable Models
ent://SD_ILS/0/SD_ILS:175885
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author 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/>
Neural-Symbolic Cognitive Reasoning
ent://SD_ILS/0/SD_ILS:186786
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author 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/>
Genetic Programming Theory and Practice V
ent://SD_ILS/0/SD_ILS:167322
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-76308-8">http://dx.doi.org/10.1007/978-0-387-76308-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Applied Self-organizing Systems
ent://SD_ILS/0/SD_ILS:175656
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Prokopenko, Mikhail. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-982-8">http://dx.doi.org/10.1007/978-1-84628-982-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Metaheuristics for Hard Optimization
ent://SD_ILS/0/SD_ILS:186702
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Siarry, Patrick. editor. Michalewicz, Zbigniew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Multiobjective Problem Solving from Nature From Concepts to Applications
ent://SD_ILS/0/SD_ILS:186704
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Knowles, Joshua. editor. Corne, David. editor. Deb, Kalyanmoy. editor. Chair, Deva Raj. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72964-8">http://dx.doi.org/10.1007/978-3-540-72964-8</a><br/>Format: Electronic Resources<br/>Availability 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-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Bramer, Max. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Robust Intelligent Systems
ent://SD_ILS/0/SD_ILS:175785
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Schuster, Alfons. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-261-6">http://dx.doi.org/10.1007/978-1-84800-261-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Art of Artificial Evolution A Handbook on Evolutionary Art and Music
ent://SD_ILS/0/SD_ILS:186674
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Romero, Juan. editor. Machado, Penousal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72877-1">http://dx.doi.org/10.1007/978-3-540-72877-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Probing Experience From Assessment of User Emotions and Behaviour to Development of Products
ent://SD_ILS/0/SD_ILS:169864
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Westerink, Joyce H. D. M. editor. Ouwerkerk, Martin. editor. Overbeek, Thérése J. M. editor. Pasveer, W. Frank. editor. Ruyter, Boris. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6593-4">http://dx.doi.org/10.1007/978-1-4020-6593-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linear Genetic Programming
ent://SD_ILS/0/SD_ILS:165774
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Brameier, Markus F. author. Banzhaf, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Cohen, William W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Classification and Learning Using Genetic Algorithms Applications in Bioinformatics and Web Intelligence
ent://SD_ILS/0/SD_ILS:185234
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Bandyopadhyay, Sanghamitra. author. Pal, Sankar K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-49607-6">http://dx.doi.org/10.1007/3-540-49607-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition
ent://SD_ILS/0/SD_ILS:166176
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Coello, Carlos A. Coello. author. Lamont, Gary B. author. Veldhuizen, David A. Van. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36797-2">http://dx.doi.org/10.1007/978-0-387-36797-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice IV
ent://SD_ILS/0/SD_ILS:166493
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-49650-4">http://dx.doi.org/10.1007/978-0-387-49650-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimental Research in Evolutionary Computation The New Experimentalism
ent://SD_ILS/0/SD_ILS:183092
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Bartz-Beielstein, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32027-X">http://dx.doi.org/10.1007/3-540-32027-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods
ent://SD_ILS/0/SD_ILS:165805
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Nikolaev, Nikolay Y. author. Iba, Hitoshi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
SAT 2005 Satisfiability Research in the Year 2005
ent://SD_ILS/0/SD_ILS:169525
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Giunchiglia, Enrico. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5571-3">http://dx.doi.org/10.1007/978-1-4020-5571-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nanotechnology: Science and Computation
ent://SD_ILS/0/SD_ILS:182289
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Chen, Junghuei. editor. Jonoska, Nataša. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-30296-4">http://dx.doi.org/10.1007/3-540-30296-4</a><br/>Format: Electronic Resources<br/>Availability 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-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Zomaya, Albert Y. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-27705-6">http://dx.doi.org/10.1007/0-387-27705-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination of Large-Scale Multiagent Systems
ent://SD_ILS/0/SD_ILS:165454
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Scerri, Paul. editor. Vincent, Régis. editor. Mailler, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice III
ent://SD_ILS/0/SD_ILS:165469
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28111-8">http://dx.doi.org/10.1007/0-387-28111-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming IV Routine Human-Competitive Machine Intelligence
ent://SD_ILS/0/SD_ILS:165278
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Koza, John R. author. Keane, Martin A. author. Streeter, Matthew J. author. Mydlowec, William. author. Yu, Jessen. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137549">http://dx.doi.org/10.1007/b137549</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice II
ent://SD_ILS/0/SD_ILS:164879
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author O’Reilly, Una-May. editor. Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b101112">http://dx.doi.org/10.1007/b101112</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling
ent://SD_ILS/0/SD_ILS:170051
2024-09-11T14:58:18Z
2024-09-11T14:58:18Z
Author Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b101185">http://dx.doi.org/10.1007/b101185</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>