Search Results for Intelligence. - Narrowed by: Computer simulation.

Artificial General Intelligence

2026-03-21T18:04:13Z

Author Goertzel, Ben. editor. Pennachin, Cassio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68677-4
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence for Traffic and Mobility

2026-03-21T18:04:13Z

Author Wang, Wuhong. editor. Wets, Geert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336491.1)
Electronic Access http://dx.doi.org/10.2991/978-94-91216-80-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XXVII

2026-03-21T18:04:13Z

Author Mercik, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70647-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XXII

2026-03-21T18:04:13Z

Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49619-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XXIV

2026-03-21T18:04:13Z

Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Kowalczyk, Ryszard. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53525-7
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XXIII

2026-03-21T18:04:13Z

Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Mercik, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-52886-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XV

2026-03-21T18:04:13Z

Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Kowalczyk, Ryszard. editor. Corchado, Juan Manuel. editor. Bajo, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44750-5
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence for Healthy Longevity

2026-03-21T18:04:13Z

Author Moskalev, Alexey. editor. (orcid)0000-0002-3248-1633 Stambler, Ilia. editor. Zhavoronkov, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35176-1
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence IX

2026-03-21T18:04:13Z

Author Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334300.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36815-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XI

2026-03-21T18:04:13Z

Author Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335144.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41776-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence X

2026-03-21T18:04:13Z

Author Nguyen, Ngoc-Thanh. editor. Kołodziej, Joanna. editor. Burczyński, Tadeusz. editor. Biba, Marenglen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334611.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38496-7
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence VIII

2026-03-21T18:04:13Z

Author Nguyen, Ngoc-Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34645-3
Format: Electronic Resources
Availability Online Library~1

Theoretical Foundations of Artificial General Intelligence

2026-03-21T18:04:13Z

Author Wang, Pei. editor. Goertzel, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-62-6
Format: Electronic Resources
Availability Online Library~1

Computing with Instinct Rediscovering Artificial Intelligence

2026-03-21T18:04:13Z

Author Cai, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19757-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations III

2026-03-21T18:04:13Z

Author Iliadis. editor. Maglogiann. editor. Tsoumakasis. editor. Vlahavas. editor. Bramer. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0221-4
Format: Electronic Resources
Availability Online Library~1

Swarm Intelligence Introduction and Applications

2026-03-21T18:04:13Z

Author Blum, Christian. editor. Merkle, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74089-6
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence in Fault Diagnosis

2026-03-21T18:04:13Z

Author Palade, Vasile. editor. Jain, Lakhmi. editor. Bocaniala, Cosmin Danut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-631-5
Format: Electronic Resources
Availability Online Library~1

KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

2026-03-21T18:04:13Z

Author Friedrich, Gerhard. editor. Helmert, Malte. editor. Wotawa, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46073-4
Format: Electronic Resources
Availability Online Library~1

PRICAI 2016: Trends in Artificial Intelligence 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings

2026-03-21T18:04:13Z

Author Booth, Richard. editor. Zhang, Min-Ling. editor. (orcid)0000-0003-1880-5918 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42911-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XXI Special Issue on Keyword Search and Big Data

2026-03-21T18:04:13Z

Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Rupino da Cunha, Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49521-6
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence: Methodology, Systems, and Applications 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, Proceedings

2026-03-21T18:04:13Z

Author Agre, Gennady. editor. (orcid)0000-0003-4610-7973 Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Krisnadhi, Adila A. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10554-3
Format: Electronic Resources
Availability Online Library~1

KI 2014: Advances in Artificial Intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings

2026-03-21T18:04:13Z

Author Lutz, Carsten. editor. Thielscher, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11206-0
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings

2026-03-21T18:04:13Z

Author Bazzan, Ana L.C. editor. Pichara, Karim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12027-0
Format: Electronic Resources
Availability Online Library~1

Human Aspects in Ambient Intelligence Contemporary Challenges and Solutions

2026-03-21T18:04:13Z

Author Bosse, Tibor. editor. Cook, Diane J. editor. Neerincx, Mark. editor. Sadri, Fariba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336488.1)
Electronic Access http://dx.doi.org/10.2991/978-94-6239-018-8
Format: Electronic Resources
Availability Online Library~1

Evolutionary computation toward a new philosophy of machine intelligence

2026-03-21T18:04:13Z

Author Fogel, David B. IEEE Neural Networks Council. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5237910
Format: Electronic Resources
Availability Online Library~1

Robotics and Autonomous Systems and Engineering Applications of Computational Intelligence 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part V

2026-03-21T18:04:13Z

Author Gu, Juping. editor. Hu, Fuyuan. editor. Zhou, Huiyu. editor. (orcid)0000-0003-1634-9840 Fei, Zixiang. editor. Yang, Erfu. editor. (orcid)0000-0003-1813-5950
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0313-8
Format: Electronic Resources
Availability Online Library~1

Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy Proceedings of the Third International Conference, MMCITRE 2022

2026-03-21T18:04:13Z

Author Sahni, Manoj. editor. Merigó, José M. editor. Hussain, Walayat. editor. León-Castro, Ernesto. editor. Verma, Raj Kumar. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9906-2
Format: Electronic Resources
Availability Online Library~1

SMART PROXY MODELING artificial intelligence and machine learning in numerical simulation.

2026-03-21T18:04:13Z

Author Mohaghegh, Shahab D., author.
Preferred Shelf Number TA342
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003242581 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I

2026-03-21T18:04:13Z

Author Han, Shuai. editor. Ye, Liang. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22968-9
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II

2026-03-21T18:04:13Z

Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61833-3
Format: Electronic Resources
Availability Online Library~1

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I

2026-03-21T18:04:13Z

Author Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3966-9
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part I

2026-03-21T18:04:13Z

Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61824-1
Format: Electronic Resources
Availability Online Library~1

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II

2026-03-21T18:04:13Z

Author Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3969-0
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II

2026-03-21T18:04:13Z

Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Li, Li. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41009-8
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I

2026-03-21T18:04:13Z

Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41000-5
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers

2026-03-21T18:04:13Z

Author Li, Kangshun. editor. Li, Jin. editor. Liu, Yong. editor. (orcid)0000-0002-4663-6739 Castiglione, Aniello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-0356-1
Format: Electronic Resources
Availability Online Library~1

KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings

2026-03-21T18:04:13Z

Author Timm, Ingo J. editor. Thimm, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335031.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40942-4
Format: Electronic Resources
Availability Online Library~1

Progress in Artificial Intelligence 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings

2026-03-21T18:04:13Z

Author Correia, Luís. editor. Reis, Luís Paulo. editor. Cascalho, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334986.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40669-0
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence: Methodology, Systems, and Applications 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedings

2026-03-21T18:04:13Z

Author Ramsay, Allan. editor. Agre, Gennady. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33185-5
Format: Electronic Resources
Availability Online Library~1

KI 2012: Advances in Artificial Intelligence 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings

2026-03-21T18:04:13Z

Author Glimm, Birte. editor. Krüger, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33347-7
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence – IBERAMIA 2012 13th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012. Proceedings

2026-03-21T18:04:13Z

Author Pavón, Juan. editor. Duque-Méndez, Néstor D. editor. Fuentes-Fernández, Rubén. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34654-5
Format: Electronic Resources
Availability Online Library~1

Social Understanding On Hermeneutics, Geometrical Models and Artificial Intelligence

2026-03-21T18:04:13Z

Author Klüver, Jürgen. author. Klüver, Christina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9911-2
Format: Electronic Resources
Availability Online Library~1

Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence

2026-03-21T18:04:13Z

Author Tang, W.H. author. Wu, Q.H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-052-6
Format: Electronic Resources
Availability Online Library~1

KI 2011: Advances in Artificial Intelligence 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings

2026-03-21T18:04:13Z

Author Bach, Joscha. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24455-1
Format: Electronic Resources
Availability Online Library~1

Progress in Artificial Intelligence 15th Portuguese Conference on Artificial Intelligence, EPIA 2011, Lisbon, Portugal, October 10-13, 2011. Proceedings

2026-03-21T18:04:13Z

Author Antunes, Luis. editor. Pinto, H. Sofia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24769-9
Format: Electronic Resources
Availability Online Library~1

Advances in Computation and Intelligence 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings

2026-03-21T18:04:13Z

Author Cai, Zhihua. editor. Hu, Chengyu. editor. Kang, Zhuo. editor. Liu, Yong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16493-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I

2026-03-21T18:04:13Z

Author Wang, Fu Lee. editor. Deng, Hepu. editor. Gao, Yang. editor. Lei, Jingsheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16530-6
Format: Electronic Resources
Availability Online Library~1

Finite-element-model Updating Using Computional Intelligence Techniques Applications to Structural Dynamics

2026-03-21T18:04:13Z

Author Marwala, Tshilidzi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-323-7
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II

2026-03-21T18:04:13Z

Author Wang, Fu Lee. editor. Deng, Hepu. editor. Gao, Yang. editor. Lei, Jingsheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16527-6
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence Methods for Bioinformatics and Biostatistics 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers

2026-03-21T18:04:13Z

Author Masulli, Francesco. editor. Peterson, Leif E. editor. Tagliaferri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14571-1
Format: Electronic Resources
Availability Online Library~1

KI 2010: Advances in Artificial Intelligence 33rd Annual German Conference on AI, Karlsruhe, Germany, September 21-24, 2010. Proceedings

2026-03-21T18:04:13Z

Author Dillmann, Rüdiger. editor. Beyerer, Jürgen. editor. Hanebeck, Uwe D. editor. Schultz, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16111-7
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence – IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010. Proceedings

2026-03-21T18:04:13Z

Author Kuri-Morales, Angel. editor. Simari, Guillermo R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16952-6
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Intelligent Systems 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009. Proceedings

2026-03-21T18:04:13Z

Author Cai, Zhihua. editor. Li, Zhenhua. editor. Kang, Zhuo. editor. Liu, Yong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04962-0
Format: Electronic Resources
Availability Online Library~1

Creating Brain-Like Intelligence From Basic Principles to Complex Intelligent Systems

2026-03-21T18:04:13Z

Author Sendhoff, Bernhard. editor. Körner, Edgar. editor. Sporns, Olaf. editor. Ritter, Helge. editor. Doya, Kenji. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00616-6
Format: Electronic Resources
Availability Online Library~1

Progress in Artificial Intelligence 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009. Proceedings

2026-03-21T18:04:13Z

Author Lopes, Luís Seabra. editor. Lau, Nuno. editor. Mariano, Pedro. editor. Rocha, Luís M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04686-5
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30–December 2, 2009. Proceedings

2026-03-21T18:04:13Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04820-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Computational Intelligence International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings

2026-03-21T18:04:13Z

Author Deng, Hepu. editor. Wang, Lanzhou. editor. Wang, Fu Lee. editor. Lei, Jingsheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05253-8
Format: Electronic Resources
Availability Online Library~1

MICAI 2009: Advances in Artificial Intelligence 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009. Proceedings

2026-03-21T18:04:13Z

Author Aguirre, Arturo Hernández. editor. Borja, Raúl Monroy. editor. Garciá, Carlos Alberto Reyes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05258-3
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings

2026-03-21T18:04:13Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88269-5
Format: Electronic Resources
Availability Online Library~1

Advances in Computation and Intelligence Third International Symposium, ISICA 2008 Wuhan, China, December 19-21, 2008 Proceedings

2026-03-21T18:04:13Z

Author Kang, Lishan. editor. Cai, Zhihua. editor. Yan, Xuesong. editor. Liu, Yong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92137-0
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence – IBERAMIA 2008 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings

2026-03-21T18:04:13Z

Author Geffner, Hector. editor. Prada, Rui. editor. Machado Alexandre, Isabel. editor. David, Nuno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88309-8
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007. Proceedings

2026-03-21T18:04:13Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Yoshida, Yuji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73729-2
Format: Electronic Resources
Availability Online Library~1

50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence

2026-03-21T18:04:13Z

Author Lungarella, Max. editor. Iida, Fumiya. editor. Bongard, Josh. editor. Pfeifer, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77296-5
Format: Electronic Resources
Availability Online Library~1

Advances in Computation and Intelligence Second International Symposium, ISICA 2007 Wuhan, China, September 21-23, 2007 Proceedings

2026-03-21T18:04:13Z

Author Kang, Lishan. editor. Liu, Yong. editor. Zeng, Sanyou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74581-5
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006. Proceedings

2026-03-21T18:04:13Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Valls, Aïda. editor. Domingo-Ferrer, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11681960
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence in Time Series Forecasting Theory and Engineering Applications

2026-03-21T18:04:13Z

Author Palit, Ajoy K. author. Popovic, Dobrivoje. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-184-9
Format: Electronic Resources
Availability Online Library~1

Cognitive Engineering A Distributed Approach to Machine Intelligence

2026-03-21T18:04:13Z

Author Konar, Amit. author. Jain, Lakhmi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-234-9
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Simulation 13th International Conference on AI, Simulation, Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

2026-03-21T18:04:13Z

Author Kim, Tag Gon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105609
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005. Proceedings

2026-03-21T18:04:13Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Miyamoto, Sadaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-31883-5
Format: Electronic Resources
Availability Online Library~1

Hybrid computational intelligent systems : modeling, simulation and optimization

2026-03-21T18:04:13Z

Author Bhattacharyya, Siddhartha, 1975- editor.
Preferred Shelf Number Q342
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003381167 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computational Methods for Biological Models

2026-03-21T18:04:13Z

Author Singh, Harendra. editor. Dutta, Hemen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5001-0
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Computation, Machine Learning, and Cognitive Research Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia

2026-03-21T18:04:13Z

Author Kryzhanovsky, Boris. editor. Dunin-Barkowski, Witali. editor. Redko, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66604-4
Format: Electronic Resources
Availability Online Library~1

Neural Networks for Cooperative Control of Multiple Robot Arms

2026-03-21T18:04:13Z

Author Li, Shuai. author. Zhang, Yinyan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7037-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Control A Hybrid Approach Based on Fuzzy Logic, Neural Networks and Genetic Algorithms

2026-03-21T18:04:13Z

Author Siddique, Nazmul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-02135-5
Format: Electronic Resources
Availability Online Library~1

Decision Aid Models for Disaster Management and Emergencies

2026-03-21T18:04:13Z

Author Vitoriano, Begoña. editor. Montero, Javier. editor. Ruan, Da. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336490.1)
Electronic Access http://dx.doi.org/10.2991/978-94-91216-74-9
Format: Electronic Resources
Availability Online Library~1

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

2026-03-21T18:04:13Z

Author Janssen, Jeroen. Schockaert, Steven. Vermeir, Dirk. de Cock, Martine. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-59-6
Format: Electronic Resources
Availability Online Library~1

From Animals to Animats 17 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings

2026-03-21T18:04:13Z

Author Brock, Oliver. editor. (orcid)0000-0002-3719-7754 Krichmar, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71533-4
Format: Electronic Resources
Availability Online Library~1

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I

2026-03-21T18:04:13Z

Author Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2882-7
Format: Electronic Resources
Availability Online Library~1

Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings

2026-03-21T18:04:13Z

Author Ren, Jinchang. editor. Hussain, Amir. editor. (orcid)0000-0002-8080-082X Liao, Iman Yi. editor. Chen, Rongjun. editor. Huang, Kaizhu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-1417-9
Format: Electronic Resources
Availability Online Library~1

Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization

2026-03-21T18:04:13Z

Author Blum, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60103-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI

2026-03-21T18:04:13Z

Author Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27529-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV

2026-03-21T18:04:13Z

Author Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27538-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V

2026-03-21T18:04:13Z

Author Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27541-9
Format: Electronic Resources
Availability Online Library~1

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

2026-03-21T18:04:13Z

Author Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29007-8
Format: Electronic Resources
Availability Online Library~1

From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

2026-03-21T18:04:13Z

Author Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576 Larsen, Jørgen Christian. editor. (orcid)0000-0002-4741-8290 Xiong, Xiaofeng. editor. Hallam, John. editor. Triesch, Jochen. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97628-0
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2026-03-21T18:04:13Z

Author Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91587-6
Format: Electronic Resources
Availability Online Library~1

Spatial Cognition X 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, Revised Selected Papers

2026-03-21T18:04:13Z

Author Barkowsky, Thomas. editor. Burte, Heather. editor. Hölscher, Christoph. editor. Schultheis, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68189-4
Format: Electronic Resources
Availability Online Library~1

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

2026-03-21T18:04:13Z

Author Namazi-Rad, Mohammad-Reza. editor. Padgham, Lin. editor. Perez, Pascal. editor. Nagel, Kai. editor. Bazzan, Ana. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51957-9
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Based Simulation XVII International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers

2026-03-21T18:04:13Z

Author Nardin, Luis Gustavo. editor. Antunes, Luis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67477-3
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

2026-03-21T18:04:13Z

Author Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59294-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

2026-03-21T18:04:13Z

Author Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62075-6
Format: Electronic Resources
Availability Online Library~1

Autonomous Agents and Multiagent Systems AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers

2026-03-21T18:04:13Z

Author Osman, Nardine. editor. Sierra, Carles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46882-2
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

2026-03-21T18:04:13Z

Author Rovatsos, Michael. editor. Vouros, George. editor. Julian, Vicente. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33509-4
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Based Simulation XVI International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers

2026-03-21T18:04:13Z

Author Gaudou, Benoit. editor. Sichman, Jaime Simao. editor. (orcid)0000-0001-8924-9643 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31447-1
Format: Electronic Resources
Availability Online Library~1

Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection 14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings

2026-03-21T18:04:13Z

Author Demazeau, Yves. editor. Ito, Takayuki. editor. Bajo, Javier. editor. Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39324-7
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings

2026-03-21T18:04:13Z

Author Klusch, Matthias. editor. Unland, Rainer. editor. Shehory, Onn. editor. Pokahr, Alexander. editor. Ahrndt, Sebastian. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45889-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

2026-03-21T18:04:13Z

Author Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42547-4
Format: Electronic Resources
Availability Online Library~1

Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach

2026-03-21T18:04:13Z

Author Bessiere, Christian. editor. De Raedt, Luc. editor. Kotthoff, Lars. editor. Nijssen, Siegfried. editor. O'Sullivan, Barry. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50137-6
Format: Electronic Resources
Availability Online Library~1

Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings

2026-03-21T18:04:13Z

Author Demazeau, Yves. editor. Zambonelli, Franco. editor. (orcid)0000-0002-6837-8806 Corchado Rodríguez, Juan M. editor. Bajo Pérez, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07551-8
Format: Electronic Resources
Availability Online Library~1

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes

2026-03-21T18:04:13Z

Author Bosse, Tibor. editor. Broekens, Joost. editor. Dias, João. editor. (orcid)0000-0002-1653-1821 van der Zwaan, Janneke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12973-0
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 12th German Conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014, Proceedings

2026-03-21T18:04:13Z

Author Müller, Jörg P. editor. Weyrich, Michael. editor. Bazzan, Ana L.C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11584-9
Format: Electronic Resources
Availability Online Library~1

Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

2026-03-21T18:04:13Z

Author Brugali, Davide. editor. Broenink, Jan. editor. Kroeger, Torsten. editor. MacDonald, Bruce. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11900-7
Format: Electronic Resources
Availability Online Library~1

Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

2026-03-21T18:04:13Z

Author Alam, Shah Jamal. editor. Parunak, H. Van Dyke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54783-6
Format: Electronic Resources
Availability Online Library~1

Spatial Cognition IX International Conference, Spatial Cognition 2014, Bremen, Germany, September 15-19, 2014. Proceedings

2026-03-21T18:04:13Z

Author Freksa, Christian. editor. Nebel, Bernhard. editor. Hegarty, Mary. editor. Barkowsky, Thomas. editor. (orcid)0000-0002-3961-2595 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11215-2
Format: Electronic Resources
Availability Online Library~1

Systems Modelling and Simulation First International Symposium, SMS 2024, Johor Bahru, Malaysia, December 16-17, 2024, Proceedings

2026-03-21T18:04:13Z

Author Mohamed, Zaharuddin. editor. (orcid)0000-0002-2719-4138 Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Tan, Gary. editor. Ahmad, Anita. editor. (orcid)0000-0002-8109-2490 Pei Ling, Leow. editor. (orcid)0000-0001-7930-4717
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4613-5
Format: Electronic Resources
Availability Online Library~1

Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings

2026-03-21T18:04:13Z

Author Juan, Angel A. editor. (orcid)0000-0003-1392-1776 Guisado-Lizar, José-Luis. editor. (orcid)0000-0001-5480-7617 Morón-Fernández, María-José. editor. (orcid)0000-0003-3291-7297 Perez-Bernabeu, Elena. editor. (orcid)0000-0002-9221-7623 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-87345-4
Format: Electronic Resources
Availability Online Library~1

Computational Modeling and Sustainable Energy Proceedings of ICCMSE 2023

2026-03-21T18:04:13Z

Author Jha, Brajesh Kumar. editor. (orcid)0000-0001-9370-2949 Jha, Navnit. editor. (orcid)0000-0001-7884-8640 Brahma, Jwngsar. editor. Yavuz, Mehmet. editor. (orcid)0000-0002-3966-6518 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-6794-6
Format: Electronic Resources
Availability Online Library~1

Applications of Machine Learning in Hydroclimatology

2026-03-21T18:04:13Z

Author Srivastav, Roshan. author. (orcid)0000-0002-8175-8969 Nayak, Purna C. author. (orcid)0000-0002-0711-5295 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64403-0
Format: Electronic Resources
Availability Online Library~1

Expanding Senses using Neurotechnology Volume 2 ‒ Brain Computer Interfaces and their Applications

2026-03-21T18:04:13Z

Author Chaudhary, Ujwal. author. (orcid)0000-0002-7887-1012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78991-5
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

2026-03-21T18:04:13Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82949-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

2026-03-21T18:04:13Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82957-4
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

2026-03-21T18:04:13Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-83885-9
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

2026-03-21T18:04:13Z

Author Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93706-4
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part I

2026-03-21T18:04:13Z

Author Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Sunar, Noorhazirah. editor. Mohd Basri, Mohd Ariffanan. editor. Mahmud, Mohd Saiful Azimi. editor. Ishak, Mohamad Hafis Izran. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7240-1
Format: Electronic Resources
Availability Online Library~1

Modeling, Simulation and Optimization Proceedings of CoMSO 2022

2026-03-21T18:04:13Z

Author Das, Biplab. editor. (orcid)0000-0003-3752-6308 Patgiri, Ripon. editor. (orcid)0000-0002-9899-9152 Bandyopadhyay, Sivaji. editor. (orcid)0000-0003-2607-1774 Balas, Valentina Emilia. editor. Roy, Sukanta. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-6866-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems and Computing

2026-03-21T18:04:13Z

Author Cao, Bing-Yuan. editor. Wang, Shu-Feng. editor. Nasseri, Hadi. editor. Zhong, Yu-Bin. editor. (orcid)0000-0002-0473-0372 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2891-6
Format: Electronic Resources
Availability Online Library~1

Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings

2026-03-21T18:04:13Z

Author Guisado-Lizar, José-Luis. editor. Riscos-Núñez, Agustín. editor. (orcid)0000-0002-5409-3578 Morón-Fernández, María-José. editor. Wainer, Gabriel. editor. (orcid)0000-0003-3366-9184 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57523-5
Format: Electronic Resources
Availability Online Library~1

IT Crisisology Models Object-Based Optimization for Sustainable Development

2026-03-21T18:04:13Z

Author Zykov, Sergey V. author. (orcid)0000-0002-2115-5461 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8649-1
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedings

2026-03-21T18:04:13Z

Author Saito, Seiki. editor. Tanaka, Satoshi. editor. Li, Liang. editor. Takatori, Satoshi. editor. Tamura, Yuichi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7225-4
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 4th International Conference on Advances in Computational Science and Engineering ICACSE 2023, 16-17 December, Manila, Philippines

2026-03-21T18:04:13Z

Author Thiruchelvam, Vinesh. editor. Alfred, Rayner. editor. (orcid)0000-0002-3080-3264 Ismail, Zamhar Iswandono Bin Awang. editor. Haviluddin, Haviluddin. editor. Baharum, Aslina. editor. (orcid)0000-0003-3910-5646
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2977-7
Format: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings

2026-03-21T18:04:13Z

Author Schäfer, Guido. editor. (orcid)0000-0002-1923-4902 Ventre, Carmine. editor. (orcid)0000-0003-1464-1215 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71033-9
Format: Electronic Resources
Availability Online Library~1

Deep Generative Modeling

2026-03-21T18:04:13Z

Author Tomczak, Jakub M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64087-2
Format: Electronic Resources
Availability Online Library~1

Advancement in Computational Methods for Life Systems Modelling and Simulation 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part I

2026-03-21T18:04:13Z

Author Fei, Minrui. editor. Wu, Hongjie. editor. Niu, Qun. editor. Li, Xin. editor. Zhang, Jingjing. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0188-2
Format: Electronic Resources
Availability Online Library~1

Computer-Aided and Machine Learning-Driven Drug Design From Theory to Applications

2026-03-21T18:04:13Z

Author Maltarollo, Vinícius Gonçalves. editor. (orcid)0000-0001-9675-5907 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76718-0
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part II

2026-03-21T18:04:13Z

Author Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Sunar, Noorhazirah. editor. Mohd Basri, Mohd Ariffanan. editor. Mahmud, Mohd Saiful Azimi. editor. Ishak, Mohamad Hafis Izran. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7243-2
Format: Electronic Resources
Availability Online Library~1

MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

2026-03-21T18:04:13Z

Author Xue, Dingyü. author. Pan, Feng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1176-9
Format: Electronic Resources
Availability Online Library~1

Fundamental Mathematical Concepts for Machine Learning in Science

2026-03-21T18:04:13Z

Author Michelucci, Umberto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56431-4
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

2026-03-21T18:04:13Z

Author Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60698-4
Format: Electronic Resources
Availability Online Library~1

Digital Twin Driven Intelligent Systems and Emerging Metaverse

2026-03-21T18:04:13Z

Author Karaarslan, Enis. editor. Aydin, Ömer. editor. Cali, Ümit. editor. Challenger, Moharram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0252-1
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 5th International Conference on Numerical Modelling in Engineering Volume 1: Numerical Modelling in Civil Engineering, NME 2022, 23-24 August, Ghent University, Belgium

2026-03-21T18:04:13Z

Author Abdel Wahab, Magd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-8429-7
Format: Electronic Resources
Availability Online Library~1

Computational Modeling of Multilevel Organisational Learning and Its Control Using Self-modeling Network Models

2026-03-21T18:04:13Z

Author Canbaloğlu, Gülay. editor. Treur, Jan. editor. Wiewiora, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28735-0
Format: Electronic Resources
Availability Online Library~1

Exscalate4CoV High-Performance Computing for COVID Drug Discovery

2026-03-21T18:04:13Z

Author Coletti, Silvano. editor. Bernardi, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30691-4
Format: Electronic Resources
Availability Online Library~1

Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science ICMMCS 2023

2026-03-21T18:04:13Z

Author Peng, Sheng-Lung. editor. Jhanjhi, Noor Zaman. editor. Pal, Souvik. editor. Amsaad, Fathi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3611-3
Format: Electronic Resources
Availability Online Library~1

Systems engineering neural networks

2026-03-21T18:04:13Z

Author Migliaccio, Alessandro, author. Iannone, Giovanni, author.
Preferred Shelf Number QA76.87 .M537 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027
Format: Electronic Resources
Availability Online Library~1

Modeling and use of context in action

2026-03-21T18:04:13Z

Author Brézillon, Patrick, editor. Turner, Roy M., editor.
Preferred Shelf Number Q180.55 .M4 M63 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163960
Format: Electronic Resources
Availability Online Library~1

Model-based system architecture

2026-03-21T18:04:13Z

Author Weilkiens, Tim, author. Lamm, Jesko G., 1976- author. Roth, Stephan, 1968- author. Walker, Markus, 1965- author. John Wiley & Sons.
Preferred Shelf Number TA168 .W45 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119746683
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Network Simulation The OMNeT++ Environment and its Ecosystem

2026-03-21T18:04:13Z

Author Virdis, Antonio. editor. Kirsche, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12842-5
Format: Electronic Resources
Availability Online Library~1

Green Energy and Networking 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings

2026-03-21T18:04:13Z

Author Jin, Jiyu. editor. Li, Peng. editor. Fan, Lei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21730-3
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

2026-03-21T18:04:13Z

Author Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32409-4
Format: Electronic Resources
Availability Online Library~1

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

2026-03-21T18:04:13Z

Author Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13651-2
Format: Electronic Resources
Availability Online Library~1

Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings

2026-03-21T18:04:13Z

Author Song, Houbing. editor. Jiang, Dingde. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32216-8
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2026-03-21T18:04:13Z

Author Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30446-1
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2026-03-21T18:04:13Z

Author Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II

2026-03-21T18:04:13Z

Author Gu, Xuemai. editor. Liu, Gongliang. editor. Li, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73447-7
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2026-03-21T18:04:13Z

Author Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

2026-03-21T18:04:13Z

Author Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98938-9
Format: Electronic Resources
Availability Online Library~1

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

2026-03-21T18:04:13Z

Author Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94779-2
Format: Electronic Resources
Availability Online Library~1

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2026-03-21T18:04:13Z

Author Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02852-7
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2026-03-21T18:04:13Z

Author McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources
Availability Online Library~1

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2026-03-21T18:04:13Z

Author Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71734-0
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I

2026-03-21T18:04:13Z

Author Gu, Xuemai. editor. Liu, Gongliang. editor. Li, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73564-1
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

2026-03-21T18:04:13Z

Author Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96142-2
Format: Electronic Resources
Availability Online Library~1

Nature Inspired Computing Proceedings of CSI 2015

2026-03-21T18:04:13Z

Author Panigrahi, Bijaya Ketan. editor. Hoda, M. N. editor. Sharma, Vinod. editor. Goel, Shivendra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6747-1
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

2026-03-21T18:04:13Z

Author Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76072-8
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings

2026-03-21T18:04:13Z

Author Li, Liang. editor. Hasegawa, Kyoko. editor. Tanaka, Satoshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2853-4
Format: Electronic Resources
Availability Online Library~1

Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings

2026-03-21T18:04:13Z

Author Li, Cheng. editor. Mao, Shiwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90802-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2026-03-21T18:04:13Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources
Availability Online Library~1

Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers

2026-03-21T18:04:13Z

Author Lewis, Peter R. editor. Headleand, Christopher J. editor. Battle, Steve. editor. Ritsos, Panagiotis D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90418-4
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

2026-03-21T18:04:13Z

Author Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96145-3
Format: Electronic Resources
Availability Online Library~1

5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings

2026-03-21T18:04:13Z

Author Long, Keping. editor. Leung, Victor C.M. editor. Zhang, Haijun. editor. Feng, Zhiyong. editor. Li, Yonghui. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72823-0
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

2026-03-21T18:04:13Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74727-9
Format: Electronic Resources
Availability Online Library~1

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2026-03-21T18:04:13Z

Author de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90089-6
Format: Electronic Resources
Availability Online Library~1

Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings

2026-03-21T18:04:13Z

Author Deville, Yannick. editor. (orcid)0000-0002-8769-2446 Gannot, Sharon. editor. (orcid)0000-0002-2885-170X Mason, Russell. editor. (orcid)0000-0002-6030-9603 Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075 Ward, Dominic. editor. (orcid)0000-0002-7819-0145
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93764-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

2026-03-21T18:04:13Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74718-7
Format: Electronic Resources
Availability Online Library~1

Automatic Tuning of Compilers Using Machine Learning

2026-03-21T18:04:13Z

Author Ashouri, Amir H. author. Palermo, Gianluca. author. Cavazos, John. author. Silvano, Cristina. author. (orcid)0000-0003-1668-0883 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71489-9
Format: Electronic Resources
Availability Online Library~1

Advanced Hybrid Information Processing First International Conference, ADHIP 2017, Harbin, China, July 17–18, 2017, Proceedings

2026-03-21T18:04:13Z

Author Sun, Guanglu. editor. Liu, Shuai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73317-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing, Networked Control, and Their Engineering Applications International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part II

2026-03-21T18:04:13Z

Author Yue, Dong. editor. Peng, Chen. editor. (orcid)0000-0003-3652-2233 Du, Dajun. editor. Zhang, Tengfei. editor. Zheng, Min. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6373-2
Format: Electronic Resources
Availability Online Library~1

Simulation and Synthesis in Medical Imaging Second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings

2026-03-21T18:04:13Z

Author Tsaftaris, Sotirios A. editor. Gooya, Ali. editor. Frangi, Alejandro F. editor. Prince, Jerry L. editor. (orcid)0000-0002-6553-0876 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68127-6
Format: Electronic Resources
Availability Online Library~1

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

2026-03-21T18:04:13Z

Author Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89935-0
Format: Electronic Resources
Availability Online Library~1

Bankruptcy Prediction through Soft Computing based Deep Learning Technique

2026-03-21T18:04:13Z

Author Chaudhuri, Arindam. author. Ghosh, Soumya K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6683-2
Format: Electronic Resources
Availability Online Library~1

Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. III)

2026-03-21T18:04:13Z

Author Park, Seon Ki. editor. Xu, Liang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43415-5
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

2026-03-21T18:04:13Z

Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63387-9
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

2026-03-21T18:04:13Z

Author Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Kvasov, Dmitri E. editor. Sergeyev, Yaroslav D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69404-7
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

2026-03-21T18:04:13Z

Author Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72308-2
Format: Electronic Resources
Availability Online Library~1

Computational Logistics 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings

2026-03-21T18:04:13Z

Author Bektaş, Tolga. editor. Coniglio, Stefano. editor. Martinez-Sykora, Antonio. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68496-3
Format: Electronic Resources
Availability Online Library~1

Subdivision Surface Modeling Technology

2026-03-21T18:04:13Z

Author Liao, Wenhe. author. Liu, Hao. author. Li, Tao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3515-9
Format: Electronic Resources
Availability Online Library~1

Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part II

2026-03-21T18:04:13Z

Author Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7302-1
Format: Electronic Resources
Availability Online Library~1

Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part I

2026-03-21T18:04:13Z

Author Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7299-4
Format: Electronic Resources
Availability Online Library~1

Bio-inspired Computing: Theories and Applications 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings

2026-03-21T18:04:13Z

Author He, Cheng. editor. Mo, Hongwei. editor. Pan, Linqiang. editor. Zhao, Yuxin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7179-9
Format: Electronic Resources
Availability Online Library~1

Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part III

2026-03-21T18:04:13Z

Author Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7305-2
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers

2026-03-21T18:04:13Z

Author Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66302-9
Format: Electronic Resources
Availability Online Library~1

Urban Dynamics and Simulation Models

2026-03-21T18:04:13Z

Author Pumain, Denise. author. Reuillon, Romain. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46497-8
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings

2026-03-21T18:04:13Z

Author van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57861-3
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

2026-03-21T18:04:13Z

Author Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54069-5
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

2026-03-21T18:04:13Z

Author Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66583-2
Format: Electronic Resources
Availability Online Library~1

Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings

2026-03-21T18:04:13Z

Author Bajo, Javier. editor. Vale, Zita. editor. Hallenborg, Kasper. editor. Rocha, Ana Paula. editor. Mathieu, Philippe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60285-1
Format: Electronic Resources
Availability Online Library~1

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2026-03-21T18:04:13Z

Author Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63121-9
Format: Electronic Resources
Availability Online Library~1

Mathematical Advances Towards Sustainable Environmental Systems

2026-03-21T18:04:13Z

Author Furze, James N. editor. Swing, Kelly. editor. Gupta, Anil K. editor. McClatchey, Richard H. editor. Reynolds, Darren M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43901-3
Format: Electronic Resources
Availability Online Library~1

Analyzing Emotion in Spontaneous Speech

2026-03-21T18:04:13Z

Author Chakraborty, Rupayan. author. Pandharipande, Meghna. author. Kopparapu, Sunil Kumar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7674-9
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings

2026-03-21T18:04:13Z

Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. Chaki, Rituparna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59105-6
Format: Electronic Resources
Availability Online Library~1

Nature-Inspired Computing and Optimization Theory and Applications

2026-03-21T18:04:13Z

Author Patnaik, Srikanta. editor. Yang, Xin-She. editor. Nakamatsu, Kazumi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50920-4
Format: Electronic Resources
Availability Online Library~1

Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings

2026-03-21T18:04:13Z

Author Tichavský, Petr. editor. Babaie-Zadeh, Massoud. editor. Michel, Olivier J.J. editor. Thirion-Moreau, Nadège. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53547-0
Format: Electronic Resources
Availability Online Library~1

Computational Neurology and Psychiatry

2026-03-21T18:04:13Z

Author Érdi, Péter. editor. Sen Bhattacharya, Basabdatta. editor. Cochran, Amy L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49959-8
Format: Electronic Resources
Availability Online Library~1

Advances in Social Simulation 2015

2026-03-21T18:04:13Z

Author Jager, Wander. editor. Verbrugge, Rineke. editor. Flache, Andreas. editor. de Roo, Gert. editor. Hoogduin, Lex. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47253-9
Format: Electronic Resources
Availability Online Library~1

Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III

2026-03-21T18:04:13Z

Author Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Niu, Qun. editor. Yang, Zhile. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6364-0
Format: Electronic Resources
Availability Online Library~1

Advanced Computational Methods in Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I

2026-03-21T18:04:13Z

Author Fei, Minrui. editor. Ma, Shiwei. editor. Li, Xin. editor. Sun, Xin. editor. Jia, Li. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6370-1
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Intelligent Communications First International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers

2026-03-21T18:04:13Z

Author Xin-lin, Huang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52730-7
Format: Electronic Resources
Availability Online Library~1

Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings

2026-03-21T18:04:13Z

Author Shi, Yuhui. editor. Tan, Kay Chen. editor. Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538 Tang, Ke. editor. Li, Xiaodong. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68759-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems for Computer Modelling Proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015

2026-03-21T18:04:13Z

Author Styskala, Vitezslav. editor. Kolosov, Dmitrii. editor. Snasel, Vaclav. editor. Karakeyev, Taalaybek. editor. Abraham, Ajith. editor. (orcid)0000-0002-0169-6738
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27644-1
Format: Electronic Resources
Availability Online Library~1

Toward Robotic Socially Believable Behaving Systems - Volume II Modeling Social Signals

2026-03-21T18:04:13Z

Author Esposito, Anna. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31053-4
Format: Electronic Resources
Availability Online Library~1

Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2015 Colmar, France, July 21-23, 2015 Revised Selected Papers

2026-03-21T18:04:13Z

Author Obaidat, Mohammad S. editor. Kacprzyk, Janusz. editor. Ören, Tuncer. editor. (orcid)0000-0001-8202-285X Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31295-8
Format: Electronic Resources
Availability Online Library~1

Innovative Simulation Systems

2026-03-21T18:04:13Z

Author Nawrat, Aleksander. editor. Jędrasiak, Karol. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21118-3
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

2026-03-21T18:04:13Z

Author Festa, Paola. editor. Sellmann, Meinolf. editor. Vanschoren, Joaquin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50349-3
Format: Electronic Resources
Availability Online Library~1

Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings

2026-03-21T18:04:13Z

Author Paias, Ana. editor. Ruthmair, Mario. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44896-1
Format: Electronic Resources
Availability Online Library~1

Patch-Based Techniques in Medical Imaging Second International Workshop, Patch-MI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Proceedings

2026-03-21T18:04:13Z

Author Wu, Guorong. editor. Coupé, Pierrick. editor. Zhan, Yiqiang. editor. Munsell, Brent C. editor. Rueckert, Daniel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47118-1
Format: Electronic Resources
Availability Online Library~1

Anti-fragile ICT Systems

2026-03-21T18:04:13Z

Author Hole, Kjell Jørgen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30070-2
Format: Electronic Resources
Availability Online Library~1

Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection International Workshops of PAAMS 2016, Sevilla, Spain, June 1-3, 2016. Proceedings

2026-03-21T18:04:13Z

Author Bajo, Javier. editor. Escalona, María José. editor. Giroux, Sylvain. editor. Hoffa-Dąbrowska, Patrycja. editor. Julián, Vicente. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39387-2
Format: Electronic Resources
Availability Online Library~1

Machine Learning for Evolution Strategies

2026-03-21T18:04:13Z

Author Kramer, Oliver. author. (orcid)0000-0001-7607-1700 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33383-0
Format: Electronic Resources
Availability Online Library~1

Innovating with Concept Mapping 7th International Conference on Concept Mapping, CMC 2016, Tallinn, Estonia, September 5-9, 2016, Proceedings

2026-03-21T18:04:13Z

Author Cañas, Alberto. editor. Reiska, Priit. editor. Novak, Joseph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45501-3
Format: Electronic Resources
Availability Online Library~1

Scholarpedia of Touch

2026-03-21T18:04:13Z

Author Prescott, Tony. editor. Ahissar, Ehud. editor. Izhikevich, Eugene. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.2991/978-94-6239-133-8
Format: Electronic Resources
Availability Online Library~1

Autonomic Road Transport Support Systems

2026-03-21T18:04:13Z

Author McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25808-9
Format: Electronic Resources
Availability Online Library~1

Simulation and Synthesis in Medical Imaging First International Workshop, SASHIMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings

2026-03-21T18:04:13Z

Author Tsaftaris, Sotirios A. editor. Gooya, Ali. editor. Frangi, Alejandro F. editor. Prince, Jerry L. editor. (orcid)0000-0002-6553-0876 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46630-9
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

2026-03-21T18:04:13Z

Author Cinquemani, Eugenio. editor. Donzé, Alexandre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47151-8
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings

2026-03-21T18:04:13Z

Author Link, Sebastian. editor. Trujillo, Juan C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47717-6
Format: Electronic Resources
Availability Online Library~1

Computational Methods and Clinical Applications for Spine Imaging Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings

2026-03-21T18:04:13Z

Author Vrtovec, Tomaž. editor. Yao, Jianhua. editor. Glocker, Ben. editor. (orcid)0000-0002-4897-9356 Klinder, Tobias. editor. Frangi, Alejandro. editor. (orcid)0000-0002-2675-528X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41827-8
Format: Electronic Resources
Availability Online Library~1

Applications of Soft Computing in Time Series Forecasting Simulation and Modeling Techniques

2026-03-21T18:04:13Z

Author Singh, Pritpal. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26293-2
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation for Autonomous Systems Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers

2026-03-21T18:04:13Z

Author Hodicky, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47605-6
Format: Electronic Resources
Availability Online Library~1

Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I

2026-03-21T18:04:13Z

Author Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42321-0
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition 38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 2016, Proceedings

2026-03-21T18:04:13Z

Author Rosenhahn, Bodo. editor. Andres, Bjoern. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45886-1
Format: Electronic Resources
Availability Online Library~1

Toward Robotic Socially Believable Behaving Systems - Volume I Modeling Emotions

2026-03-21T18:04:13Z

Author Esposito, Anna. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31056-5
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Natural Computing Selected Results from the IWNC 8 Symposium

2026-03-21T18:04:13Z

Author Suzuki, Yasuhiro. editor. Hagiya, Masami. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-4-431-55429-5
Format: Electronic Resources
Availability Online Library~1

Bionic Optimization in Structural Design Stochastically Based Methods to Improve the Performance of Parts and Assemblies

2026-03-21T18:04:13Z

Author Steinbuch, Rolf. editor. Gekeler, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-46596-7
Format: Electronic Resources
Availability Online Library~1

Social Computing Second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings, Part I

2026-03-21T18:04:13Z

Author Che, Wanxiang. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Jing, Weipeng. editor. Peng, Shaoliang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2053-7
Format: Electronic Resources
Availability Online Library~1

Context-Enhanced Information Fusion Boosting Real-World Performance with Domain Knowledge

2026-03-21T18:04:13Z

Author Snidaro, Lauro. editor. García, Jesús. editor. (orcid)0000-0003-1768-2688 Llinas, James. editor. Blasch, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28971-7
Format: Electronic Resources
Availability Online Library~1

Social Computing Second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings, Part II

2026-03-21T18:04:13Z

Author Che, Wanxiang. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Jing, Weipeng. editor. Peng, Shaoliang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2098-8
Format: Electronic Resources
Availability Online Library~1

Bio-inspired Computing - Theories and Applications 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I

2026-03-21T18:04:13Z

Author Gong, Maoguo. editor. Pan, Linqiang. editor. Song, Tao. editor. (orcid)0000-0002-0130-3340 Zhang, Gexiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3611-8
Format: Electronic Resources
Availability Online Library~1

Bio-inspired Computing - Theories and Applications 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II

2026-03-21T18:04:13Z

Author Gong, Maoguo. editor. Pan, Linqiang. editor. Song, Tao. editor. (orcid)0000-0002-0130-3340 Zhang, Gexiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3614-9
Format: Electronic Resources
Availability Online Library~1

Computational Methods and Clinical Applications for Spine Imaging 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers

2026-03-21T18:04:13Z

Author Yao, Jianhua. editor. Vrtovec, Tomaž. editor. Zheng, Guoyan. editor. Frangi, Alejandro. editor. (orcid)0000-0002-2675-528X Glocker, Ben. editor. (orcid)0000-0002-4897-9356
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55050-3
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Natural Computing Selected Results from the IWNC 7 Symposium

2026-03-21T18:04:13Z

Author Suzuki, Yasuhiro. editor. Hagiya, Masami. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-4-431-55105-8
Format: Electronic Resources
Availability Online Library~1

Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers

2026-03-21T18:04:13Z

Author Obaidat, Mohammad S. editor. Koziel, Slawomir. editor. Kacprzyk, Janusz. editor. Leifsson, Leifur. editor. Ören, Tuncer. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11457-6
Format: Electronic Resources
Availability Online Library~1

Tactile Score A Knowledge Media for Tactile Sense

2026-03-21T18:04:13Z

Author Suzuki, Yasuhiro. author. Suzuki, Rieko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-4-431-54547-7
Format: Electronic Resources
Availability Online Library~1

Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings

2026-03-21T18:04:13Z

Author Tan, Tieniu. editor. Ruan, Qiuqi. editor. Wang, Shengjin. editor. Ma, Huimin. editor. Huang, Kaiqi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45498-5
Format: Electronic Resources
Availability Online Library~1

Context in Computing A Cross-Disciplinary Approach for Modeling the Real World

2026-03-21T18:04:13Z

Author Brézillon, Patrick. editor. Gonzalez, Avelino J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-1887-4
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition 36th German Conference, GCPR 2014, Münster, Germany, September 2-5, 2014, Proceedings

2026-03-21T18:04:13Z

Author Jiang, Xiaoyi. editor. Hornegger, Joachim. editor. Koch, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11752-2
Format: Electronic Resources
Availability Online Library~1

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

2026-03-21T18:04:13Z

Author Cerone, Antonio. editor. Persico, Donatella. editor. Fernandes, Sara. editor. Garcia-Perez, Alexeis. editor. Katsaros, Panagiotis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54338-8
Format: Electronic Resources
Availability Online Library~1

Cultural Diversity for Virtual Characters Investigating Behavioral Aspects across Cultures

2026-03-21T18:04:13Z

Author Endrass, Birgit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-04910-2
Format: Electronic Resources
Availability Online Library~1

Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part I

2026-03-21T18:04:13Z

Author Auvray, Malika. editor. Duriez, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44193-0
Format: Electronic Resources
Availability Online Library~1

Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part II

2026-03-21T18:04:13Z

Author Auvray, Malika. editor. Duriez, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44196-1
Format: Electronic Resources
Availability Online Library~1

Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers

2026-03-21T18:04:13Z

Author Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12084-3
Format: Electronic Resources
Availability Online Library~1

Guide to Computing for Expressive Music Performance

2026-03-21T18:04:13Z

Author Kirke, Alexis. editor. Miranda, Eduardo R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330911.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4123-5
Format: Electronic Resources
Availability Online Library~1

Grasping in Robotics

2026-03-21T18:04:13Z

Author Carbone, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331037.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4664-3
Format: Electronic Resources
Availability Online Library~1

Computational Medicine in Data Mining and Modeling

2026-03-21T18:04:13Z

Author Rakocevic, Goran. editor. Djukic, Tijana. editor. Filipovic, Nenad. editor. Milutinović, Veljko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332448.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8785-2
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2026-03-21T18:04:13Z

Author Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332934.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Electronic Resources
Availability Online Library~1

Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers

2026-03-21T18:04:13Z

Author Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332975.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03473-7
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2026-03-21T18:04:13Z

Author Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334120.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition 35th German Conference, GCPR 2013, Saarbrücken, Germany, September 3-6, 2013. Proceedings

2026-03-21T18:04:13Z

Author Weickert, Joachim. editor. Hein, Matthias. editor. Schiele, Bernt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334977.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40602-7
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

2026-03-21T18:04:13Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335219.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-53856-8
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II

2026-03-21T18:04:13Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335220.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-53862-9
Format: Electronic Resources
Availability Online Library~1

Multidimensional Data Visualization Methods and Applications

2026-03-21T18:04:13Z

Author Dzemyda, Gintautas. author. Kurasova, Olga. author. Žilinskas, Julius. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330795.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0236-8
Format: Electronic Resources
Availability Online Library~1

Advances in Applied Self-Organizing Systems

2026-03-21T18:04:13Z

Author Prokopenko, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331148.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5113-5
Format: Electronic Resources
Availability Online Library~1

Extremal Fuzzy Dynamic Systems Theory and Applications

2026-03-21T18:04:13Z

Author Sirbiladze, Gia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331460.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4250-9
Format: Electronic Resources
Availability Online Library~1

Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertainty

2026-03-21T18:04:13Z

Author Starczewski, Janusz T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333243.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29520-1
Format: Electronic Resources
Availability Online Library~1

Towards Advanced Data Analysis by Combining Soft Computing and Statistics

2026-03-21T18:04:13Z

Author Borgelt, Christian. editor. Gil, María Ángeles. editor. Sousa, João M.C. editor. Verleysen, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333309.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-30278-7
Format: Electronic Resources
Availability Online Library~1

Consensus and Synchronization in Complex Networks

2026-03-21T18:04:13Z

Author Kocarev, Ljupco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333698.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33359-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2026-03-21T18:04:13Z

Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334055.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Electronic Resources
Availability Online Library~1

Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers

2026-03-21T18:04:13Z

Author Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334099.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36008-4
Format: Electronic Resources
Availability Online Library~1

Repetitive Motion Planning and Control of Redundant Robot Manipulators

2026-03-21T18:04:13Z

Author Zhang, Yunong. author. Zhang, Zhijun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334446.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37518-7
Format: Electronic Resources
Availability Online Library~1

Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings

2026-03-21T18:04:13Z

Author Demazeau, Yves. editor. Ishida, Toru. editor. Corchado, Juan M. editor. Bajo, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334528.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38073-0
Format: Electronic Resources
Availability Online Library~1

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

2026-03-21T18:04:13Z

Author Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334556.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38209-3
Format: Electronic Resources
Availability Online Library~1

Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings

2026-03-21T18:04:13Z

Author Fernández-Izquierdo, María Ángeles. editor. Muñoz-Torres, María Jesús. editor. León, Raúl. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334573.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38279-6
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

2026-03-21T18:04:13Z

Author Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334725.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39074-6
Format: Electronic Resources
Availability Online Library~1

Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers

2026-03-21T18:04:13Z

Author Giardini, Francesca. editor. Amblard, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334684.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38859-0
Format: Electronic Resources
Availability Online Library~1

Intelligent Virtual Agents 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013. Proceedings

2026-03-21T18:04:13Z

Author Aylett, Ruth. editor. Krenn, Brigitte. editor. Pelachaud, Catherine. editor. Shimodaira, Hiroshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334943.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40415-3
Format: Electronic Resources
Availability Online Library~1

Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings

2026-03-21T18:04:13Z

Author Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335043.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41019-2
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2013 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings

2026-03-21T18:04:13Z

Author Demey, Yan Tang. editor. Panetto, Hervé. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335045.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41033-8
Format: Electronic Resources
Availability Online Library~1

Activities of Transport Telematics 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustroń, Poland, October 23–26, 2013, Selected Papers

2026-03-21T18:04:13Z

Author Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335135.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41647-7
Format: Electronic Resources
Availability Online Library~1

Agent-Based Modelling of Socio-Technical Systems

2026-03-21T18:04:13Z

Author Dam, Koen H. editor. Nikolic, Igor. editor. Lukszo, Zofia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335852.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4933-7
Format: Electronic Resources
Availability Online Library~1

Grundkurs Künstliche Intelligenz Eine praxisorientierte Einführung

2026-03-21T18:04:13Z

Author Ertel, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(338326.1)
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2157-7
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings

2026-03-21T18:04:13Z

Author Klusch, Matthias. editor. Thimm, Matthias. editor. Paprzycki, Marcin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335001.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40776-5
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

2026-03-21T18:04:13Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27549-4
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers

2026-03-21T18:04:13Z

Author Collier, Rem. editor. Dix, Jürgen. editor. Novák, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28939-2
Format: Electronic Resources
Availability Online Library~1

Games, Actions and Social Software Multidisciplinary Aspects

2026-03-21T18:04:13Z

Author Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29326-9
Format: Electronic Resources
Availability Online Library~1

Eco-friendly Computing and Communication Systems International Conference, ICECCS 2012, Kochi, India, August 9-11, 2012. Proceedings

2026-03-21T18:04:13Z

Author Mathew, Jimson. editor. Patra, Priyadarshan. editor. Pradhan, Dhiraj K. editor. Kuttyamma, A. J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32112-2
Format: Electronic Resources
Availability Online Library~1

Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers

2026-03-21T18:04:13Z

Author Beer, Martin. editor. Brom, Cyril. editor. Dignum, Frank. editor. Soo, Von-Wun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32326-3
Format: Electronic Resources
Availability Online Library~1

Spatial Cognition VIII International Conference, Spatial Cognition 2012, Kloster Seeon, Germany, August 31 – September 3, 2012. Proceedings

2026-03-21T18:04:13Z

Author Stachniss, Cyrill. editor. Schill, Kerstin. editor. Uttal, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32732-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Virtual Agents 12th International Conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012. Proceedings

2026-03-21T18:04:13Z

Author Nakano, Yukiko. editor. Neff, Michael. editor. Paiva, Ana. editor. Walker, Marilyn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33197-8
Format: Electronic Resources
Availability Online Library~1

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings

2026-03-21T18:04:13Z

Author Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34327-8
Format: Electronic Resources
Availability Online Library~1

AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II

2026-03-21T18:04:13Z

Author Xiao, Tianyuan. editor. Zhang, Lin. editor. Fei, Minrui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34390-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems VI Special Issue on Database- and Expert-Systems Applications

2026-03-21T18:04:13Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Liddle, Stephen W. editor. Schewe, Klaus-Dieter. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34179-3
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I

2026-03-21T18:04:13Z

Author Huang, Tingwen. editor. Zeng, Zhigang. editor. Li, Chuandong. editor. Leung, Chi Sing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34475-6
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part II

2026-03-21T18:04:13Z

Author Huang, Tingwen. editor. Zeng, Zhigang. editor. Li, Chuandong. editor. Leung, Chi Sing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34481-7
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V

2026-03-21T18:04:13Z

Author Huang, Tingwen. editor. Zeng, Zhigang. editor. Li, Chuandong. editor. Leung, Chi Sing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34500-5
Format: Electronic Resources
Availability Online Library~1

Behavior Computing Modeling, Analysis, Mining and Decision

2026-03-21T18:04:13Z

Author Cao, Longbing. editor. Yu, Philip S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2969-1
Format: Electronic Resources
Availability Online Library~1

Mobile Intention Recognition

2026-03-21T18:04:13Z

Author Kiefer, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1854-2
Format: Electronic Resources
Availability Online Library~1

Modeling and Simulation in Engineering, Economics and Management International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012. Proceedings

2026-03-21T18:04:13Z

Author Engemann, Kurt J. editor. Gil-Lafuente, Anna M. editor. Merigó, José M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30433-0
Format: Electronic Resources
Availability Online Library~1

Agent and Multi-Agent Systems. Technologies and Applications 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings

2026-03-21T18:04:13Z

Author Jezic, Gordan. editor. Kusek, Mario. editor. Nguyen, Ngoc-Thanh. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30947-2
Format: Electronic Resources
Availability Online Library~1

Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings

2026-03-21T18:04:13Z

Author Hu, Hao. editor. Shi, Xiaoning. editor. Stahlbock, Robert. editor. Voß, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33587-7
Format: Electronic Resources
Availability Online Library~1

Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings

2026-03-21T18:04:13Z

Author Abelló, Alberto. editor. Bellatreche, Ladjel. editor. Benatallah, Boualem. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33609-6
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2012 Workshops Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings

2026-03-21T18:04:13Z

Author Herrero, Pilar. editor. Panetto, Hervé. editor. Meersman, Robert. editor. Dillon, Tharam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33618-8
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 10th German Conference, MATES 2012, Trier, Germany, October 10-12, 2012. Proceedings

2026-03-21T18:04:13Z

Author Timm, Ingo J. editor. Guttmann, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33690-4
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012. Proceedings

2026-03-21T18:04:13Z

Author Coello Coello, Carlos A. editor. Greensmith, Julie. editor. Krasnogor, Natalio. editor. Liò, Pietro. editor. Nicosia, Giuseppe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33757-4
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings

2026-03-21T18:04:13Z

Author Castano, Silvana. editor. Vassiliadis, Panos. editor. Lakshmanan, Laks V. editor. Lee, Mong Li. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33999-8
Format: Electronic Resources
Availability Online Library~1

Telematics in the Transport Environment 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustroń, Poland, October 10–13, 2012. Selected Papers

2026-03-21T18:04:13Z

Author Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34050-5
Format: Electronic Resources
Availability Online Library~1

System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I

2026-03-21T18:04:13Z

Author Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34381-0
Format: Electronic Resources
Availability Online Library~1

AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I

2026-03-21T18:04:13Z

Author Xiao, Tianyuan. editor. Zhang, Lin. editor. Fei, Minrui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34384-1
Format: Electronic Resources
Availability Online Library~1

AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part III

2026-03-21T18:04:13Z

Author Xiao, Tianyuan. editor. Zhang, Lin. editor. Fei, Minrui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34387-2
Format: Electronic Resources
Availability Online Library~1

System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II

2026-03-21T18:04:13Z

Author Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34396-4
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part IV

2026-03-21T18:04:13Z

Author Huang, Tingwen. editor. Zeng, Zhigang. editor. Li, Chuandong. editor. Leung, Chi Sing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34478-7
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part III

2026-03-21T18:04:13Z

Author Huang, Tingwen. editor. Zeng, Zhigang. editor. Li, Chuandong. editor. Leung, Chi Sing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34487-9
Format: Electronic Resources
Availability Online Library~1

Motion in Games 5th International Conference, MIG 2012, Rennes, France, November 15-17, 2012. Proceedings

2026-03-21T18:04:13Z

Author Kallmann, Marcelo. editor. Bekris, Kostas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34710-8
Format: Electronic Resources
Availability Online Library~1