Search Results for Mathematics. - Narrowed by: SpringerLink (Online service) - E-Book - Artificial intelligence. - Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematics.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-07T14:11:39Z
Learning Spaces Interdisciplinary Applied Mathematics
ent://SD_ILS/0/SD_ILS:189862
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Falmagne, Jean-Claude. author. Doignon, Jean-Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01039-2">http://dx.doi.org/10.1007/978-3-642-01039-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Medial Representations Mathematics, Algorithms and Applications
ent://SD_ILS/0/SD_ILS:170265
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Siddiqi, Kaleem. editor. Pizer, Stephen M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8658-8">http://dx.doi.org/10.1007/978-1-4020-8658-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399968
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Rabe, Florian. editor. Farmer, William M. editor. Passmore, Grant O. editor. Youssef, Abdou. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96812-4">https://doi.org/10.1007/978-3-319-96812-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 I
ent://SD_ILS/0/SD_ILS:401746
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
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-78024-5">https://doi.org/10.1007/978-3-319-78024-5</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-07T14:11:39Z
2024-09-07T14:11:39Z
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/>
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
ent://SD_ILS/0/SD_ILS:334264
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334264.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36675-8">http://dx.doi.org/10.1007/978-3-642-36675-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Language of Mathematics A Linguistic and Philosophical Investigation
ent://SD_ILS/0/SD_ILS:334341
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Ganesalingam, Mohan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334341.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37012-0">http://dx.doi.org/10.1007/978-3-642-37012-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334781
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE(334781.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39320-4">http://dx.doi.org/10.1007/978-3-642-39320-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
ent://SD_ILS/0/SD_ILS:196775
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Henderson-Sellers, Brian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29825-7">http://dx.doi.org/10.1007/978-3-642-29825-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197066
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31374-5">http://dx.doi.org/10.1007/978-3-642-31374-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195101
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Davenport, James H. editor. Farmer, William M. editor. Urban, Josef. editor. Rabe, Florian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22673-1">http://dx.doi.org/10.1007/978-3-642-22673-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192559
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Autexier, Serge. editor. Calmet, Jacques. editor. Delahaye, David. editor. Ion, Patrick D. F. editor. Rideau, Laurence. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14128-7">http://dx.doi.org/10.1007/978-3-642-14128-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192298
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13321-3">http://dx.doi.org/10.1007/978-3-642-13321-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190376
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Carette, Jacques. editor. Dixon, Lucas. editor. Coen, Claudio Sacerdoti. editor. Watt, Stephen M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02614-0">http://dx.doi.org/10.1007/978-3-642-02614-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188596
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Autexier, Serge. editor. Campbell, John. editor. Rubio, Julio. editor. Sorge, Volker. editor. Suzuki, Masakazu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85110-3">http://dx.doi.org/10.1007/978-3-540-85110-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:188917
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Kapur, Deepak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87827-8">http://dx.doi.org/10.1007/978-3-540-87827-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:398934
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Kozubek, Tomáš. editor. Čermák, Martin. editor. (orcid)0000-0002-0171-625X Tichý, Petr. editor. (orcid)0000-0001-6008-4056 Blaheta, Radim. editor. Šístek, Jakub. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97136-0">https://doi.org/10.1007/978-3-319-97136-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487781
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Pizzuti, Clara. editor. (orcid)0000-0001-7297-7126 Spezzano, Giandomenico. editor. (orcid)0000-0002-2518-5510 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12745-3">https://doi.org/10.1007/978-3-319-12745-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Particle Filters for Random Set Models
ent://SD_ILS/0/SD_ILS:332002
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Ristic, Branko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332002.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6316-0">http://dx.doi.org/10.1007/978-1-4614-6316-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Theory A Game Theoretic Perspective
ent://SD_ILS/0/SD_ILS:332129
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Alpern, Steve. editor. Fokkink, Robbert. editor. Gąsieniec, Leszek. editor. Lindelauf, Roy. editor. Subrahmanian, V.S. editor.<br/>Preferred Shelf Number ONLINE(332129.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6825-7">http://dx.doi.org/10.1007/978-1-4614-6825-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332892
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332892.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01928-4">http://dx.doi.org/10.1007/978-3-319-01928-4</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-07T14:11:39Z
2024-09-07T14:11:39Z
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/>
Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332999
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332999.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03850-6">http://dx.doi.org/10.1007/978-3-319-03850-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automation, Communication and Cybernetics in Science and Engineering 2011/2012
ent://SD_ILS/0/SD_ILS:333703
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Jeschke, Sabina. editor. Isenhardt, Ingrid. editor. Hees, Frank. editor. Henning, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333703.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33389-7">http://dx.doi.org/10.1007/978-3-642-33389-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334048
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Pfeiffer, Heather D. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. Gadiraju, Nagarjuna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334048.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35786-2">http://dx.doi.org/10.1007/978-3-642-35786-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334105
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Lodaya, Kamal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334105.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36039-8">http://dx.doi.org/10.1007/978-3-642-36039-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334121
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334121.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36092-3">http://dx.doi.org/10.1007/978-3-642-36092-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335176
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335176.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-44973-4">http://dx.doi.org/10.1007/978-3-642-44973-4</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-07T14:11:39Z
2024-09-07T14:11:39Z
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/>
The 3rd International Workshop on Intelligent Data Analysis and Management
ent://SD_ILS/0/SD_ILS:336358
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Uden, Lorna. editor. Wang, Leon S.L. editor. Hong, Tzung-Pei. editor. Yang, Hsin-Chang. editor. Ting, I-Hsien. editor.<br/>Preferred Shelf Number ONLINE(336358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-7293-9">http://dx.doi.org/10.1007/978-94-007-7293-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013
ent://SD_ILS/0/SD_ILS:334443
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Yin, Zhixiang. editor. Pan, Linqiang. editor. Fang, Xianwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334443.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37502-6">http://dx.doi.org/10.1007/978-3-642-37502-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence A Methodological Introduction
ent://SD_ILS/0/SD_ILS:331117
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Kruse, Rudolf. author. Borgelt, Christian. author. Klawonn, Frank. author. Moewes, Christian. author. Steinbrecher, Matthias. author.<br/>Preferred Shelf Number ONLINE(331117.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5013-8">http://dx.doi.org/10.1007/978-1-4471-5013-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334615
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334615.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38527-8">http://dx.doi.org/10.1007/978-3-642-38527-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:334657
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334657.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38715-9">http://dx.doi.org/10.1007/978-3-642-38715-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334665
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334665.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38768-5">http://dx.doi.org/10.1007/978-3-642-38768-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:334722
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334722.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39065-4">http://dx.doi.org/10.1007/978-3-642-39065-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:334723
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334723.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39068-5">http://dx.doi.org/10.1007/978-3-642-39068-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334724
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334724.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334879
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334879.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40020-9">http://dx.doi.org/10.1007/978-3-642-40020-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334915
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Nascimento, Mario A. editor. Sellis, Timos. editor. Cheng, Reynold. editor. Sander, Jörg. editor. Zheng, Yu. editor.<br/>Preferred Shelf Number ONLINE(334915.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40235-7">http://dx.doi.org/10.1007/978-3-642-40235-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:334962
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334969
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334969.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334987
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334987.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40672-0">http://dx.doi.org/10.1007/978-3-642-40672-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:335036
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335036.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40988-2">http://dx.doi.org/10.1007/978-3-642-40988-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:335037
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335037.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40991-2">http://dx.doi.org/10.1007/978-3-642-40991-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:335038
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335038.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40994-3">http://dx.doi.org/10.1007/978-3-642-40994-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334064
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.<br/>Preferred Shelf Number ONLINE(334064.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35843-2">http://dx.doi.org/10.1007/978-3-642-35843-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective
ent://SD_ILS/0/SD_ILS:334558
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Chan, Chi-kong. author. Leung, Ho-fung. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334558.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38215-4">http://dx.doi.org/10.1007/978-3-642-38215-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:334653
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334653.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38703-6">http://dx.doi.org/10.1007/978-3-642-38703-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334549
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334549.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38171-3">http://dx.doi.org/10.1007/978-3-642-38171-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334552
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Albert, Elvira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334552.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335214
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Atzmueller, Martin. editor. Chin, Alvin. editor. Helic, Denis. editor. Hotho, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335214.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45392-2">http://dx.doi.org/10.1007/978-3-642-45392-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neuromathematik und Assoziativmaschinen
ent://SD_ILS/0/SD_ILS:337305
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Bentz, Hans-Joachim. author. Dierks, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337305.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37938-3">http://dx.doi.org/10.1007/978-3-642-37938-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
IRobot - uMan Künstliche Intelligenz und Kultur: Eine jahrtausendealte Beziehungskiste
ent://SD_ILS/0/SD_ILS:195184
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Barthelmeß, Ulrike. author. Furbach, Ulrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22928-2">http://dx.doi.org/10.1007/978-3-642-22928-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197115
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31612-8">http://dx.doi.org/10.1007/978-3-642-31612-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence Eine methodische Einführung in Künstliche Neuronale Netze, Evolutionäre Algorithmen, Fuzzy-Systeme und Bayes-Netze
ent://SD_ILS/0/SD_ILS:199096
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Kruse, Rudolf. author. Borgelt, Christian. author. Klawonn, Frank. author. Moewes, Christian. author. Ruß, Georg. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-8299-8">http://dx.doi.org/10.1007/978-3-8348-8299-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
ent://SD_ILS/0/SD_ILS:196468
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28525-7">http://dx.doi.org/10.1007/978-3-642-28525-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
ent://SD_ILS/0/SD_ILS:191764
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11682-7">http://dx.doi.org/10.1007/978-3-642-11682-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194940
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Cavallucci, Denis. editor. Guio, Roland. editor. Cascini, Gaetano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22182-8">http://dx.doi.org/10.1007/978-3-642-22182-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Et voilà i robot Etica ed estetica nell’era delle macchine
ent://SD_ILS/0/SD_ILS:204454
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Bonifati, Nunzia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-1581-4">http://dx.doi.org/10.1007/978-88-470-1581-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Neural Computation
ent://SD_ILS/0/SD_ILS:205054
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Ivancevic, Vladimir G. author. Ivancevic, Tijana T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3350-5">http://dx.doi.org/10.1007/978-90-481-3350-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex Intelligent Systems and Their Applications
ent://SD_ILS/0/SD_ILS:172308
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Xhafa, Fatos. editor. Barolli, Leonard. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-1636-5">http://dx.doi.org/10.1007/978-1-4419-1636-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discrete, Continuous, and Hybrid Petri Nets
ent://SD_ILS/0/SD_ILS:191440
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author David, René. author. Alla, Hassane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10669-9">http://dx.doi.org/10.1007/978-3-642-10669-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Systems Interaction Backgrounds and Applications
ent://SD_ILS/0/SD_ILS:190552
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03202-8">http://dx.doi.org/10.1007/978-3-642-03202-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings
ent://SD_ILS/0/SD_ILS:191462
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10741-2">http://dx.doi.org/10.1007/978-3-642-10741-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Convergence and Knowledge Processing in Multi-Agent Systems
ent://SD_ILS/0/SD_ILS:175888
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Chli, Maria. editor. Wilde, Philippe de. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-063-0">http://dx.doi.org/10.1007/978-1-84882-063-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Game Theoretic Problems in Network Economics and Mechanism Design Solutions
ent://SD_ILS/0/SD_ILS:175862
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Prakash, Hastagiri. author. Narayanam, Ramasuri. author. Garg, Dinesh. author. Narahari, Y. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-938-7">http://dx.doi.org/10.1007/978-1-84800-938-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Performance Evaluation and Benchmarking of Intelligent Systems
ent://SD_ILS/0/SD_ILS:171977
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Madhavan, Raj. editor. Tunstel, Edward. editor. Messina, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0492-8">http://dx.doi.org/10.1007/978-1-4419-0492-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Processing with Interval and Soft Computing
ent://SD_ILS/0/SD_ILS:175815
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Kreinovich, Vladik. editor. Korvin, Andre. editor. Baker Kearfott, R. editor. Hu, Chenyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-326-2">http://dx.doi.org/10.1007/978-1-84800-326-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Approximate Reasoning
ent://SD_ILS/0/SD_ILS:169568
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Hüllermeier, Eyke. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-5695-8">http://dx.doi.org/10.1007/1-4020-5695-8</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-07T14:11:39Z
2024-09-07T14:11:39Z
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/>
Dynamic Programming A Computational Tool
ent://SD_ILS/0/SD_ILS:184480
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Art, Lew. author. Mauch, Holger. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-37014-7">http://dx.doi.org/10.1007/978-3-540-37014-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Multimedia Data Hiding New Directions
ent://SD_ILS/0/SD_ILS:186200
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Pan, Jeng-Shyang. editor. Huang, Hsiang-Cheh. editor. Jain, Lakhmi C. editor. Fang, Wai-Chi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71169-8">http://dx.doi.org/10.1007/978-3-540-71169-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186737
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Kauers, Manuel. editor. Kerber, Manfred. editor. Miner, Robert. editor. Windsteiger, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73086-6">http://dx.doi.org/10.1007/978-3-540-73086-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Genetic Algorithms 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186865
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Stephens, Christopher R. editor. Toussaint, Marc. editor. Whitley, Darrell. editor. Stadler, Peter F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73482-6">http://dx.doi.org/10.1007/978-3-540-73482-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling and Reasoning with Vague Concepts
ent://SD_ILS/0/SD_ILS:165711
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Lawry, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-30262-X">http://dx.doi.org/10.1007/0-387-30262-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182628
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Kohlhase, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11618027">http://dx.doi.org/10.1007/11618027</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-07T14:11:39Z
2024-09-07T14:11:39Z
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/>
Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184488
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Borwein, Jonathan M. editor. Farmer, William M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11812289">http://dx.doi.org/10.1007/11812289</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy
ent://SD_ILS/0/SD_ILS:184649
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Kohlhase, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11826095">http://dx.doi.org/10.1007/11826095</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discrete, Continuous, and Hybrid Petri Nets
ent://SD_ILS/0/SD_ILS:181009
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author David, René. author. Alla, Hassane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138130">http://dx.doi.org/10.1007/b138130</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geometric Fundamentals of Robotics
ent://SD_ILS/0/SD_ILS:165353
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Selig, J. M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138859">http://dx.doi.org/10.1007/b138859</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Genetic Algorithms 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5 - 9 , 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183100
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Wright, Alden H. editor. Vose, Michael D. editor. Jong, Kenneth A. editor. Schmitt, Lothar M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138412">http://dx.doi.org/10.1007/b138412</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Paradigms for Healthcare Enterprises
ent://SD_ILS/0/SD_ILS:183305
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Silverman, Barry. editor. Jain, Ashlesha. editor. Ichalkaranje, Ajita. editor. Jain, Lakhmi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b99809">http://dx.doi.org/10.1007/b99809</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hierarchical Bayesian Optimization Algorithm Toward a new Generation of Evolutionary Algorithms
ent://SD_ILS/0/SD_ILS:183316
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Pelikan, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b10910">http://dx.doi.org/10.1007/b10910</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design of Intelligent Multi-Agent Systems Human-Centredness, Architectures, Learning and Adaptation
ent://SD_ILS/0/SD_ILS:184778
2024-09-07T14:11:39Z
2024-09-07T14:11:39Z
Author Ichalkaranje, Nikhil. author. Jain, Lakhmi C. author. Khosla, Rajiv. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-44516-6">http://dx.doi.org/10.1007/978-3-540-44516-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>