Search Results for Computer science. - Narrowed by: SpringerLink (Online service) - Artificial intelligence.

Computer and Information Science

2024-08-10T21:27:51Z

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

Computer and Information Science

2024-08-10T21:27:51Z

Author Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332801.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00804-2
Format: Electronic Resources
Availability Online Library~1

Computer and Information Science

2024-08-10T21:27:51Z

Author Lee, Roger. editor. Kim, Haeng-Kon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79187-4
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Education

2024-08-10T21:27:51Z

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

Advances in Computer Science and Engineering

2024-08-10T21:27:51Z

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

Computer and Information Science 2012

2024-08-10T21:27:51Z

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

Computer and Information Science 2011

2024-08-10T21:27:51Z

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

Computer and Information Science 2010

2024-08-10T21:27:51Z

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

Computer and Information Science 2009

2024-08-10T21:27:51Z

Author Lee, Roger. editor. Hu, Gongzu. editor. Miao, Huaikou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01209-9
Format: Electronic Resources
Availability Online Library~1

Computer Science and Engineering—Theory and Applications

2024-08-10T21:27:51Z

Author Sanchez, Mauricio A. editor. Aguilar, Leocundo. editor. Castañón-Puga, Manuel. editor. Rodríguez-Díaz, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74060-7
Format: Electronic Resources
Availability Online Library~1

Analyzing Evolutionary Algorithms The Computer Science Perspective

2024-08-10T21:27:51Z

Author Jansen, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333075.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-17339-4
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

2024-08-10T21:27:51Z

Author van Bevern, René. editor. (orcid)0000-0002-4805-218X Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19955-5
Format: Electronic Resources
Availability Online Library~1

Data Science 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Guilin, China, September 20–23, 2019, Proceedings, Part I

2024-08-10T21:27:51Z

Author Cheng, Xiaohui. editor. Jing, Weipeng. editor. Song, Xianhua. editor. Lu, Zeguang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0118-0
Format: Electronic Resources
Availability Online Library~1

Data Science 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Guilin, China, September 20–23, 2019, Proceedings, Part II

2024-08-10T21:27:51Z

Author Mao, Rui. editor. Wang, Hongzhi. editor. Xie, Xiaolan. editor. Lu, Zeguang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0121-0
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

2024-08-10T21:27:51Z

Author Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0105-0
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

2024-08-10T21:27:51Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72056-2
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

2024-08-10T21:27:51Z

Author Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2712-4
Format: Electronic Resources
Availability Online Library~1

Data Science 4th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2018, Zhengzhou, China, September 21-23, 2018, Proceedings, Part II

2024-08-10T21:27:51Z

Author Zhou, Qinglei. editor. Miao, Qiguang. editor. Wang, Hongzhi. editor. Xie, Wei. editor. Wang, Yan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2206-8
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

2024-08-10T21:27:51Z

Author Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73117-9
Format: Electronic Resources
Availability Online Library~1

Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

2024-08-10T21:27:51Z

Author Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00389-0
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

2024-08-10T21:27:51Z

Author Fomin, Fedor V. editor. Podolskii, Vladimir V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90530-3
Format: Electronic Resources
Availability Online Library~1

Data Science 4th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2018, Zhengzhou, China, September 21-23, 2018, Proceedings, Part I

2024-08-10T21:27:51Z

Author Zhou, Qinglei. editor. Gan, Yong. editor. Jing, Weipeng. editor. Song, Xianhua. editor. Wang, Yan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2203-7
Format: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

2024-08-10T21:27:51Z

Author Desharnais, Jules. editor. (orcid)0000-0002-4780-2698 Guttmann, Walter. editor. (orcid)0000-0003-2969-1688 Joosten, Stef. editor. (orcid)0000-0001-8308-0189 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02149-8
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2014: Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practice of Computer Science,Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings

2024-08-10T21:27:51Z

Author Geffert, Viliam. editor. Preneel, Bart. editor. Rovan, Branislav. editor. Štuller, Július. editor. Tjoa, A Min. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04298-5
Format: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

2024-08-10T21:27:51Z

Author Höfner, Peter. editor. Jipsen, Peter. editor. Kahl, Wolfram. editor. Müller, Martin Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06251-8
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

2024-08-10T21:27:51Z

Author Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Preferred Shelf Number ONLINE(334064.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35843-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XIX Special Issue on Computer Graphics

2024-08-10T21:27:51Z

Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Konushin, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334847.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39759-2
Format: Electronic Resources
Availability Online Library~1

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

2024-08-10T21:27:51Z

Author Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31570-1
Format: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

2024-08-10T21:27:51Z

Author Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33314-9
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers

2024-08-10T21:27:51Z

Author Golumbic, Martin Charles. editor. Stern, Michal. editor. Levy, Avivit. editor. Morgenstern, Gila. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34611-8
Format: Electronic Resources
Availability Online Library~1

Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I

2024-08-10T21:27:51Z

Author Shen, Gang. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21402-8
Format: Electronic Resources
Availability Online Library~1

Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II

2024-08-10T21:27:51Z

Author Shen, Gang. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21411-0
Format: Electronic Resources
Availability Online Library~1

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

2024-08-10T21:27:51Z

Author Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24897-9
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Education Applications International Conference, CSE 2011, Qingdao, China, July 9-10, 2011. Proceedings, Part II

2024-08-10T21:27:51Z

Author Zhou, Mark. editor. Tan, Honghua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22456-0
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Science and Information Technology Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings

2024-08-10T21:27:51Z

Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Robles, Rosslin John. editor. Balitanas, Maricel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24267-0
Format: Electronic Resources
Availability Online Library~1

Trends in Computer Science, Engineering and Information Technology First International Conference on Computer Science, Engineering and Information Technology, CCSEIT 2011, Tirunelveli, Tamil Nadu, India, September 23-25, 2011. Proceedings

2024-08-10T21:27:51Z

Author Nagamalai, Dhinaharan. editor. Renault, Eric. editor. Dhanuskodi, Murugan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24043-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Information Technology First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part I

2024-08-10T21:27:51Z

Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17857-3
Format: Electronic Resources
Availability Online Library~1

Advances in Networks and Communications First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part II

2024-08-10T21:27:51Z

Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17878-8
Format: Electronic Resources
Availability Online Library~1

Advanced Computing First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part III

2024-08-10T21:27:51Z

Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17881-8
Format: Electronic Resources
Availability Online Library~1

Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday

2024-08-10T21:27:51Z

Author Calude, Cristian S. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19391-0
Format: Electronic Resources
Availability Online Library~1

Human Language Technology. Challenges for Computer Science and Linguistics 4th Language and Technology Conference, LTC 2009, Poznan, Poland, November 6-8, 2009, Revised Selected Papers

2024-08-10T21:27:51Z

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

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

2024-08-10T21:27:51Z

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

Computer Science for Environmental Engineering and EcoInformatics International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011, Proceedings, Part II

2024-08-10T21:27:51Z

Author Yu, Yuanxu. editor. Yu, Zhengtao. editor. Zhao, Jingying. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22691-5
Format: Electronic Resources
Availability Online Library~1

Computer Science for Environmental Engineering and EcoInformatics International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011. Proceedings

2024-08-10T21:27:51Z

Author Yu, Yuanxu. editor. Yu, Zhengtao. editor. Zhao, Jingying. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22694-6
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part I

2024-08-10T21:27:51Z

Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23321-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part II

2024-08-10T21:27:51Z

Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23324-1
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part IV

2024-08-10T21:27:51Z

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

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011, Proceedings, Part III

2024-08-10T21:27:51Z

Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23345-6
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part V

2024-08-10T21:27:51Z

Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23357-9
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Information Technology AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings

2024-08-10T21:27:51Z

Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13577-4
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

2024-08-10T21:27:51Z

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

Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings

2024-08-10T21:27:51Z

Author Tomar, G. S. editor. Chang, Ruay-Shiung. editor. Gervasi, Osvaldo. editor. Kim, Tai-hoon. editor. Bandyopadhyay, Samir Kumar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13346-6
Format: Electronic Resources
Availability Online Library~1

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

2024-08-10T21:27:51Z

Author Governatori, Guido. editor. Sartor, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14183-6
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Engineering 13th International CSI Computer Conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 Revised Selected Papers

2024-08-10T21:27:51Z

Author Sarbazi-Azad, Hamid. editor. Parhami, Behrooz. editor. Miremadi, Seyed-Ghassem. editor. Hessabi, Shaahin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89985-3
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

2024-08-10T21:27:51Z

Author Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87531-4
Format: Electronic Resources
Availability Online Library~1

Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

2024-08-10T21:27:51Z

Author Meyden, Ron. editor. Torre, Leendert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70525-3
Format: Electronic Resources
Availability Online Library~1

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings

2024-08-10T21:27:51Z

Author Berghammer, Rudolf. editor. Möller, Bernhard. editor. Struth, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78913-0
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

2024-08-10T21:27:51Z

Author Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74915-8
Format: Electronic Resources
Availability Online Library~1

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

2024-08-10T21:27:51Z

Author MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11734673
Format: Electronic Resources
Availability Online Library~1

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings

2024-08-10T21:27:51Z

Author Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11828563
Format: Electronic Resources
Availability Online Library~1

Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings

2024-08-10T21:27:51Z

Author Goble, Lou. editor. Meyer, John-Jules Ch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11786849
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

2024-08-10T21:27:51Z

Author Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11874683
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

2024-08-10T21:27:51Z

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

Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings

2024-08-10T21:27:51Z

Author Maher, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b103476
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science – ASIAN 2005. Data Management on the Web 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings

2024-08-10T21:27:51Z

Author Grumbach, Stéphane. editor. Sui, Liying. editor. Vianu, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11596370
Format: Electronic Resources
Availability Online Library~1

Representation Theorems in Computer Science A Treatment in Logic Engineering

2024-08-10T21:27:51Z

Author Özçep, Özgür Lütfü. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25785-9
Format: Electronic Resources
Availability Online Library~1

Human Language Technology. Challenges for Computer Science and Linguistics 7th Language and Technology Conference, LTC 2015, Poznań, Poland, November 27-29, 2015, Revised Selected Papers

2024-08-10T21:27:51Z

Author Vetulani, Zygmunt. editor. Mariani, Joseph. editor. Kubis, Marek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93782-3
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 11th International Symposium on Computer Science in Sport (IACSS 2017)

2024-08-10T21:27:51Z

Author Lames, Martin. editor. Saupe, Dietmar. editor. Wiemeyer, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67846-7
Format: Electronic Resources
Availability Online Library~1

Advanced Computational Methods for Knowledge Engineering Proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017

2024-08-10T21:27:51Z

Author Le, Nguyen-Thinh. editor. van Do, Tien. editor. Nguyen, Ngoc Thanh. editor. Thi, Hoai An Le. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61911-8
Format: Electronic Resources
Availability Online Library~1

Logics for Computer Science Classical and Non-Classical

2024-08-10T21:27:51Z

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

Smart STEM-Driven Computer Science Education Theory, Methodology and Robot-based Practices

2024-08-10T21:27:51Z

Author Štuikys, Vytautas. author. Burbaitė, Renata. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78485-4
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Systems and Computing II Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2017, September 5-8 Lviv, Ukraine

2024-08-10T21:27:51Z

Author Shakhovska, Natalia. editor. Stepashko, Volodymyr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70581-1
Format: Electronic Resources
Availability Online Library~1

Advanced Computational Methods for Knowledge Engineering Proceedings of the 2nd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2014)

2024-08-10T21:27:51Z

Author Do, Tien. editor. Thi, Hoai An Le. editor. Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06569-4
Format: Electronic Resources
Availability Online Library~1

Modern Trends and Techniques in Computer Science 3rd Computer Science On-line Conference 2014 (CSOC 2014)

2024-08-10T21:27:51Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06740-7
Format: Electronic Resources
Availability Online Library~1

Human Language Technology Challenges for Computer Science and Linguistics 5th Language and Technology Conference, LTC 2011, Poznań, Poland, November 25--27, 2011, Revised Selected Papers

2024-08-10T21:27:51Z

Author Vetulani, Zygmunt. editor. (orcid)0000-0003-4833-8601 Mariani, Joseph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08958-4
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Control Systems and Computer Science

2024-08-10T21:27:51Z

Author Dumitrache, Loan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333593.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32548-9
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2012 International Conference of Modern Computer Science and Applications

2024-08-10T21:27:51Z

Author Du, Zhenyu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333653.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33030-8
Format: Electronic Resources
Availability Online Library~1

Computing Statistics under Interval and Fuzzy Uncertainty Applications to Computer Science and Engineering

2024-08-10T21:27:51Z

Author Nguyen, Hung T. author. Kreinovich, Vladik. author. Wu, Berlin. author. Xiang, Gang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24905-1
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II

2024-08-10T21:27:51Z

Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27308-7
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III

2024-08-10T21:27:51Z

Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27317-9
Format: Electronic Resources
Availability Online Library~1

Advanced Technology in Teaching - Proceedings of the 2009 3rd International Conference on Teaching and Computational Science (WTCS 2009) Volume 2: Education, Psychology and Computer Science

2024-08-10T21:27:51Z

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

Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I

2024-08-10T21:27:51Z

Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27299-8
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Intelligent System and Environment

2024-08-10T21:27:51Z

Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23753-9
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Intelligent System and Environment

2024-08-10T21:27:51Z

Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23756-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Intelligent System and Environment

2024-08-10T21:27:51Z

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

Geometric Algebra Computing in Engineering and Computer Science

2024-08-10T21:27:51Z

Author Bayro-Corrochano, Eduardo. editor. Scheuermann, Gerik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-108-0
Format: Electronic Resources
Availability Online Library~1

Belief Revision in Non-Classical Logics

2024-08-10T21:27:51Z

Author Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330925.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: Electronic Resources
Availability Online Library~1

Querying Moving Objects Detected by Sensor Networks

2024-08-10T21:27:51Z

Author Bestehorn, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331623.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4927-0
Format: Electronic Resources
Availability Online Library~1

A General Framework for Reasoning On Inconsistency

2024-08-10T21:27:51Z

Author Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332107.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: Electronic Resources
Availability Online Library~1

Semantic Web-based Intelligent Geospatial Web Services

2024-08-10T21:27:51Z

Author Yue, Peng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332124.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6809-7
Format: Electronic Resources
Availability Online Library~1

Omnidirectional Vision Systems Calibration, Feature Extraction and 3D Information

2024-08-10T21:27:51Z

Author Puig, Luis. author. Guerrero, J.J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331106.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4947-7
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence A Methodological Introduction

2024-08-10T21:27:51Z

Author Kruse, Rudolf. author. Borgelt, Christian. author. Klawonn, Frank. author. Moewes, Christian. author. Steinbrecher, Matthias. author.
Preferred Shelf Number ONLINE(331117.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5013-8
Format: Electronic Resources
Availability Online Library~1

From Fault Classification to Fault Tolerance for Multi-Agent Systems

2024-08-10T21:27:51Z

Author Potiron, Katia. author. El Fallah Seghrouchni, Amal. author. Taillibert, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331127.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5046-6
Format: Electronic Resources
Availability Online Library~1

Sentiment Analysis for PTSD Signals

2024-08-10T21:27:51Z

Author Kagan, Vadim. author. Rossini, Edward. author. Sapounas, Demetrios. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331316.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3097-1
Format: Electronic Resources
Availability Online Library~1

Spatial AutoRegression (SAR) Model Parameter Estimation Techniques

2024-08-10T21:27:51Z

Author Kazar, Baris M. author. Celik, Mete. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1842-9
Format: Electronic Resources
Availability Online Library~1

Criminal Justice Forecasts of Risk A Machine Learning Approach

2024-08-10T21:27:51Z

Author Berk, Richard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3085-8
Format: Electronic Resources
Availability Online Library~1

Decentralized Reasoning in Ambient Intelligence

2024-08-10T21:27:51Z

Author Viterbo, José. author. Endler, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4168-6
Format: Electronic Resources
Availability Online Library~1

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

2024-08-10T21:27:51Z

Author Henderson-Sellers, Brian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29825-7
Format: Electronic Resources
Availability Online Library~1

Automated Configuration Problem Solving

2024-08-10T21:27:51Z

Author Petrie, Charles J. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4532-6
Format: Electronic Resources
Availability Online Library~1

Event-Driven Surveillance Possibilities and Challenges

2024-08-10T21:27:51Z

Author Denecke, Kerstin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28135-8
Format: Electronic Resources
Availability Online Library~1

Evolutionary Game Design

2024-08-10T21:27:51Z

Author Browne, Cameron. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2179-4
Format: Electronic Resources
Availability Online Library~1

Glazed Panel Construction with Human-Robot Cooperation

2024-08-10T21:27:51Z

Author Lee, Seungyeol. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1418-6
Format: Electronic Resources
Availability Online Library~1

Markov Decision Processes and the Belief-Desire-Intention Model Bridging the Gap for Autonomous Agents

2024-08-10T21:27:51Z

Author Simari, Gerardo I. author. Parsons, Simon D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1472-8
Format: Electronic Resources
Availability Online Library~1

Guide to Intelligent Data Analysis How to Intelligently Make Sense of Real Data

2024-08-10T21:27:51Z

Author Berthold, Michael R. author. Borgelt, Christian. author. Höppner, Frank. author. Klawonn, Frank. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-260-3
Format: Electronic Resources
Availability Online Library~1

Introduction to Databases From Biological to Spatio-Temporal

2024-08-10T21:27:51Z

Author Revesz, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-095-3
Format: Electronic Resources
Availability Online Library~1

Fundamentals of the New Artificial Intelligence Neural, Evolutionary, Fuzzy and More

2024-08-10T21:27:51Z

Author Munakata, Toshinori. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-839-5
Format: Electronic Resources
Availability Online Library~1

Evolutionary Synthesis of Pattern Recognition Systems

2024-08-10T21:27:51Z

Author Bhanu, Bir. author. Lin, Yingqiang. author. Krawiec, Krzysztof. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105515
Format: Electronic Resources
Availability Online Library~1

Geometric Fundamentals of Robotics

2024-08-10T21:27:51Z

Author Selig, J. M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138859
Format: Electronic Resources
Availability Online Library~1

Computational Techniques for Human Smile Analysis

2024-08-10T21:27:51Z

Author Ugail, Hassan. author. Aldahoud, Ahmad Ali Asad. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15381-6
Format: Electronic Resources
Availability Online Library~1

Introduction to Intelligent Surveillance Surveillance Data Capture, Transmission, and Analytics

2024-08-10T21:27:51Z

Author Yan, Wei Qi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-10713-0
Format: Electronic Resources
Availability Online Library~1

Deep Learning: Convergence to Big Data Analytics

2024-08-10T21:27:51Z

Author Khan, Murad. author. Jan, Bilal. author. Farman, Haleem. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-3459-7
Format: Electronic Resources
Availability Online Library~1

Asymptotic Nonparametric Statistical Analysis of Stationary Time Series

2024-08-10T21:27:51Z

Author Ryabko, Daniil. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12564-6
Format: Electronic Resources
Availability Online Library~1

Multimedia QoE Evaluation

2024-08-10T21:27:51Z

Author Wei, Xin. author. Zhou, Liang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23350-1
Format: Electronic Resources
Availability Online Library~1

Segmentation and Separation of Overlapped Latent Fingerprints Algorithms, Techniques, and Datasets

2024-08-10T21:27:51Z

Author Stojanović, Branka. author. Marques, Oge. author. Nešković, Aleksandar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23364-8
Format: Electronic Resources
Availability Online Library~1

Culture on the Edge of Chaos Cultural Algorithms and the Foundations of Social Intelligence

2024-08-10T21:27:51Z

Author Reynolds, Robert G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74171-0
Format: Electronic Resources
Availability Online Library~1

A Survey on 3D Cameras: Metrological Comparison of Time-of-Flight, Structured-Light and Active Stereoscopy Technologies

2024-08-10T21:27:51Z

Author Giancola, Silvio. author. Valenti, Matteo. author. Sala, Remo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91761-0
Format: Electronic Resources
Availability Online Library~1

Deep Neural Networks in a Mathematical Framework

2024-08-10T21:27:51Z

Author Caterini, Anthony L. author. Chang, Dong Eui. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75304-1
Format: Electronic Resources
Availability Online Library~1

Point-of-Interest Recommendation in Location-Based Social Networks

2024-08-10T21:27:51Z

Author Zhao, Shenglin. author. Lyu, Michael R. author. King, Irwin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1349-3
Format: Electronic Resources
Availability Online Library~1

Large Scale Hierarchical Classification: State of the Art

2024-08-10T21:27:51Z

Author Naik, Azad. author. Rangwala, Huzefa. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01620-3
Format: Electronic Resources
Availability Online Library~1

Online Social Media Content Delivery A Data-Driven Approach

2024-08-10T21:27:51Z

Author Wang, Zhi. author. Zhu, Wenwu. author. Yang, Shiqiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2774-1
Format: Electronic Resources
Availability Online Library~1

Large Group Decision Making Creating Decision Support Approaches at Scale

2024-08-10T21:27:51Z

Author Palomares Carrascosa, Iván. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01027-0
Format: Electronic Resources
Availability Online Library~1

Tree-Based Convolutional Neural Networks Principles and Applications

2024-08-10T21:27:51Z

Author Mou, Lili. author. Jin, Zhi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1870-2
Format: Electronic Resources
Availability Online Library~1

Composing Fisher Kernels from Deep Neural Models A Practitioner's Approach

2024-08-10T21:27:51Z

Author Azim, Tayyaba. author. Ahmed, Sarah. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98524-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Tools for Cyber Attribution

2024-08-10T21:27:51Z

Author Nunes, Eric. author. Shakarian, Paulo. author. Simari, Gerardo I. author. Ruef, Andrew. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73788-1
Format: Electronic Resources
Availability Online Library~1

A Contrario Line Segment Detection

2024-08-10T21:27:51Z

Author Grompone von Gioi, Rafael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-0575-1
Format: Electronic Resources
Availability Online Library~1

Open Problems in Spectral Dimensionality Reduction

2024-08-10T21:27:51Z

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

Boosted Statistical Relational Learners From Benchmarks to Data-Driven Medicine

2024-08-10T21:27:51Z

Author Natarajan, Sriraam. author. Kersting, Kristian. author. Khot, Tushar. author. Shavlik, Jude. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13644-8
Format: Electronic Resources
Availability Online Library~1

Feature Coding for Image Representation and Recognition

2024-08-10T21:27:51Z

Author Huang, Yongzhen. author. Tan, Tieniu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45000-0
Format: Electronic Resources
Availability Online Library~1

Autonomous Robotics and Deep Learning

2024-08-10T21:27:51Z

Author Nath, Vishnu. author. Levinson, Stephen E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05603-6
Format: Electronic Resources
Availability Online Library~1

Data-driven Generation of Policies

2024-08-10T21:27:51Z

Author Parker, Austin. author. Simari, Gerardo I. author. Sliva, Amy. author. Subrahmanian, V.S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-0274-3
Format: Electronic Resources
Availability Online Library~1

Driver Drowsiness Detection Systems and Solutions

2024-08-10T21:27:51Z

Author Čolić, Aleksandar. author. Marques, Oge. author. Furht, Borko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11535-1
Format: Electronic Resources
Availability Online Library~1

Autonomous Military Robotics

2024-08-10T21:27:51Z

Author Nath, Vishnu. author. Levinson, Stephen E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05606-7
Format: Electronic Resources
Availability Online Library~1

Automatic Generation of Combinatorial Test Data

2024-08-10T21:27:51Z

Author Zhang, Jian. author. Zhang, Zhiqiang. author. Ma, Feifei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43429-1
Format: Electronic Resources
Availability Online Library~1

Stochastic Models in Reliability, Network Security and System Safety Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday

2024-08-10T21:27:51Z

Author Li, Quan-Lin. editor. Wang, Jinting. editor. Yu, Hai-Bo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0864-6
Format: Electronic Resources
Availability Online Library~1

Computing and Software Science State of the Art and Perspectives

2024-08-10T21:27:51Z

Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources
Availability Online Library~1

Game Theory Third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7–9, 2019, Revised Selected Papers

2024-08-10T21:27:51Z

Author Li, Deng-Feng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0657-4
Format: Electronic Resources
Availability Online Library~1

New Trends in Computer Technologies and Applications 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20–22, 2018, Revised Selected Papers

2024-08-10T21:27:51Z

Author Chang, Chuan-Yu. editor. Lin, Chien-Chou. editor. Lin, Horng-Horng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-9190-3
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence, Communications, and Business Analytics Second International Conference, CICBA 2018, Kalyani, India, July 27–28, 2018, Revised Selected Papers, Part I

2024-08-10T21:27:51Z

Author Mandal, Jyotsna Kumar. editor. Mukhopadhyay, Somnath. editor. Dutta, Paramartha. editor. Dasgupta, Kousik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-8578-0
Format: Electronic Resources
Availability Online Library~1

Optimization and Applications 9th International Conference, OPTIMA 2018, Petrovac, Montenegro, October 1–5, 2018, Revised Selected Papers

2024-08-10T21:27:51Z

Author Evtushenko, Yury. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-10934-9
Format: Electronic Resources
Availability Online Library~1

Advances in Computing and Data Sciences Third International Conference, ICACDS 2019, Ghaziabad, India, April 12–13, 2019, Revised Selected Papers, Part II

2024-08-10T21:27:51Z

Author Singh, Mayank. editor. Gupta, P.K. editor. Tyagi, Vipin. editor. Flusser, Jan. editor. Ören, Tuncer. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-9942-8
Format: Electronic Resources
Availability Online Library~1

Next Generation Computing Technologies on Computational Intelligence 4th International Conference, NGCT 2018, Dehradun, India, November 21–22, 2018, Revised Selected Papers

2024-08-10T21:27:51Z

Author Prateek, Manish. editor. Sharma, Durgansh. editor. Tiwari, Rajeev. editor. Sharma, Rashmi. editor. Kumar, Kamal. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1718-1
Format: Electronic Resources
Availability Online Library~1

Advances in Computing and Data Sciences Third International Conference, ICACDS 2019, Ghaziabad, India, April 12–13, 2019, Revised Selected Papers, Part I

2024-08-10T21:27:51Z

Author Singh, Mayank. editor. Gupta, P.K. editor. Tyagi, Vipin. editor. Flusser, Jan. editor. Ören, Tuncer. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-9939-8
Format: Electronic Resources
Availability Online Library~1

Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers

2024-08-10T21:27:51Z

Author Bykadorov, Igor. editor. (orcid)0000-0002-2740-3905 Strusevich, Vitaly. editor. (orcid)0000-0002-4602-8573 Tchemisova, Tatiana. editor. (orcid)0000-0002-2678-2552 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33394-2
Format: Electronic Resources
Availability Online Library~1

Operations Research and Enterprise Systems 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24–26, 2018, Revised Selected Papers

2024-08-10T21:27:51Z

Author Parlier, Greg H. editor. Liberatore, Federico. editor. Demange, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16035-7
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence, Communications, and Business Analytics Second International Conference, CICBA 2018, Kalyani, India, July 27–28, 2018, Revised Selected Papers, Part II

2024-08-10T21:27:51Z

Author Mandal, Jyotsna Kumar. editor. Mukhopadhyay, Somnath. editor. Dutta, Paramartha. editor. Dasgupta, Kousik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-8581-0
Format: Electronic Resources
Availability Online Library~1

HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2024-08-10T21:27:51Z

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

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

2024-08-10T21:27:51Z

Author Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91271-4
Format: Electronic Resources
Availability Online Library~1

Immersive Learning Research Network 4th International Conference, iLRN 2018, Missoula, MT, USA, June 24-29, 2018, Proceedings

2024-08-10T21:27:51Z

Author Beck, Dennis. editor. Allison, Colin. editor. Morgado, Leonel. editor. Pirker, Johanna. editor. Peña-Rios, Anasol. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93596-6
Format: Electronic Resources
Availability Online Library~1

Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

2024-08-10T21:27:51Z

Author Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91641-5
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

2024-08-10T21:27:51Z

Author Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-57669-4
Format: Electronic Resources
Availability Online Library~1

Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings

2024-08-10T21:27:51Z

Author Takahashi, Yutaka. editor. Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 Yue, Wuyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93736-6
Format: Electronic Resources
Availability Online Library~1

High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers

2024-08-10T21:27:51Z

Author Kozubek, Tomáš. editor. Čermák, Martin. editor. (orcid)0000-0002-0171-625X Tichý, Petr. editor. (orcid)0000-0001-6008-4056 Blaheta, Radim. editor. Šístek, Jakub. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97136-0
Format: Electronic Resources
Availability Online Library~1

HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2024-08-10T21:27:51Z

Author Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92279-9
Format: Electronic Resources
Availability Online Library~1

HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part III

2024-08-10T21:27:51Z

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

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

2024-08-10T21:27:51Z

Author Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829 Padovani, Luca. editor. (orcid)0000-0001-9097-1297 Torquati, Massimo. editor. (orcid)0000-0001-6323-3459 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96983-1
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

2024-08-10T21:27:51Z

Author Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00030-1
Format: Electronic Resources
Availability Online Library~1

Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers

2024-08-10T21:27:51Z

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

Digital Research and Education in Architectural Heritage 5th Conference, DECH 2017, and First Workshop, UHDL 2017, Dresden, Germany, March 30-31, 2017, Revised Selected Papers

2024-08-10T21:27:51Z

Author Münster, Sander. editor. (orcid)0000-0001-9344-912X Friedrichs, Kristina. editor. Niebling, Florian. editor. Seidel-Grzesińska, Agnieszka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76992-9
Format: Electronic Resources
Availability Online Library~1

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers

2024-08-10T21:27:51Z

Author Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243 Poli, Irene. editor. (orcid)0000-0001-7828-2480 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Serra, Roberto. editor. (orcid)0000-0002-1417-5106 Slanzi, Debora. editor. (orcid)0000-0002-4204-1009
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78658-2
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2024-08-10T21:27:51Z

Author Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89884-1
Format: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

2024-08-10T21:27:51Z

Author Baetens, Jan M. editor. Kutrib, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92675-9
Format: Electronic Resources
Availability Online Library~1

Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers

2024-08-10T21:27:51Z

Author Parlier, Greg H. editor. Liberatore, Federico. editor. Demange, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94767-9
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

2024-08-10T21:27:51Z

Author Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94821-8
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers

2024-08-10T21:27:51Z

Author Pizzuti, Clara. editor. (orcid)0000-0001-7297-7126 Spezzano, Giandomenico. editor. (orcid)0000-0002-2518-5510 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12745-3
Format: Electronic Resources
Availability Online Library~1

Swarm Intelligence 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings

2024-08-10T21:27:51Z

Author Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. (orcid)0000-0003-3309-2194 Garnier, Simon. editor. Hamann, Heiko. editor. Montes de Oca, Marco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09952-1
Format: Electronic Resources
Availability Online Library~1

Advances in Visual Informatics Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings

2024-08-10T21:27:51Z

Author Zaman, Halimah Badioze. editor. Robinson, Peter. editor. Olivier, Patrick. editor. Shih, Timothy K. editor. Velastin, Sergio. editor.
Preferred Shelf Number ONLINE(332958.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02958-0
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2024-08-10T21:27:51Z

Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Electronic Resources
Availability Online Library~1

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I

2024-08-10T21:27:51Z

Author Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332993.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03753-0
Format: Electronic Resources
Availability Online Library~1

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II

2024-08-10T21:27:51Z

Author Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332994.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03756-1
Format: Electronic Resources
Availability Online Library~1

Advances in Information Technology 6th International Conference, IAIT 2013, Bangkok, Thailand, December 12-13, 2013. Proceedings

2024-08-10T21:27:51Z

Author Papasratorn, Borworn. editor. Charoenkitkarn, Nipon. editor. Vanijja, Vajirasak. editor. Chongsuphajaisiddhi, Vithida. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332996.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03783-7
Format: Electronic Resources
Availability Online Library~1

Mining Intelligence and Knowledge Exploration First International Conference, MIKE 2013, Tamil Nadu, India, December 18-20, 2013. Proceedings

2024-08-10T21:27:51Z

Author Prasath, Rajendra. editor. Kathirvalavakumar, T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332998.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03844-5
Format: Electronic Resources
Availability Online Library~1

Advanced Techniques for Knowledge Engineering and Innovative Applications 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers

2024-08-10T21:27:51Z

Author Tweedale, Jeffrey W. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335155.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42017-7
Format: Electronic Resources
Availability Online Library~1

The Semantic Web – ISWC 2013 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I

2024-08-10T21:27:51Z

Author Alani, Harith. editor. Kagal, Lalana. editor. Fokoue, Achille. editor. Groth, Paul. editor. Biemann, Chris. editor.
Preferred Shelf Number ONLINE(335091.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41335-3
Format: Electronic Resources
Availability Online Library~1

The Semantic Web – ISWC 2013 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II

2024-08-10T21:27:51Z

Author Alani, Harith. editor. Kagal, Lalana. editor. Fokoue, Achille. editor. Groth, Paul. editor. Biemann, Chris. editor.
Preferred Shelf Number ONLINE(335092.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41338-4
Format: Electronic Resources
Availability Online Library~1

Knowledge Engineering and the Semantic Web 4th International Conference, KESW 2013, St. Petersburg, Russia, October 7-9, 2013. Proceedings

2024-08-10T21:27:51Z

Author Klinov, Pavel. editor. Mouromtsev, Dmitry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335096.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41360-5
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Data Analysis XII 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings

2024-08-10T21:27:51Z

Author Tucker, Allan. editor. Höppner, Frank. editor. Siebes, Arno. editor. Swift, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335103.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41398-8
Format: Electronic Resources
Availability Online Library~1

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 12th China National Conference, CCL 2013 and First International Symposium, NLP-NABD 2013, Suzhou, China, October 10-12, 2013. Proceedings

2024-08-10T21:27:51Z

Author Sun, Maosong. editor. Zhang, Min. editor. Lin, Dekang. editor. Wang, Haifeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335112.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41491-6
Format: Electronic Resources
Availability Online Library~1

Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

2024-08-10T21:27:51Z

Author Tompits, Hans. editor. Abreu, Salvador. editor. Oetsch, Johannes. editor. Pührer, Jörg. editor. Seipel, Dietmar. editor.
Preferred Shelf Number ONLINE(335118.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41524-1
Format: Electronic Resources
Availability Online Library~1

Multimodal Communication in Political Speech. Shaping Minds and Social Action International Workshop, Political Speech 2010, Rome, Italy, November 10-12, 2010, Revised Selected Papers

2024-08-10T21:27:51Z

Author Poggi, Isabella. editor. D’Errico, Francesca. editor. Vincze, Laura. editor. Vinciarelli, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335121.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41545-6
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings

2024-08-10T21:27:51Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Navarro-Arribas, Guillermo. editor. Megías, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335122.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41550-0
Format: Electronic Resources
Availability Online Library~1

Evolution of Telecommunication Services The Convergence of Telecom and Internet: Technologies and Ecosystems

2024-08-10T21:27:51Z

Author Bertin, Emmanuel. editor. Crespi, Noel. editor. Magedanz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335123.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41569-2
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part I

2024-08-10T21:27:51Z

Author Ruiz-Shulcloper, José. editor. Sanniti di Baja, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335145.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41822-8
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part II

2024-08-10T21:27:51Z

Author Ruiz-Shulcloper, José. editor. Sanniti di Baja, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335146.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41827-3
Format: Electronic Resources
Availability Online Library~1

Principles of Data Mining

2024-08-10T21:27:51Z

Author Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331086.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4884-5
Format: Electronic Resources
Availability Online Library~1

Autonomic Computing Principles, Design and Implementation

2024-08-10T21:27:51Z

Author Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331115.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: Electronic Resources
Availability Online Library~1

Spatial Information Theory 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings

2024-08-10T21:27:51Z

Author Tenbrink, Thora. editor. Stell, John. editor. Galton, Antony. editor. Wood, Zena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332890.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01790-7
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

2024-08-10T21:27:51Z

Author Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332892.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01928-4
Format: Electronic Resources
Availability Online Library~1

Speech and Computer 15th International Conference, SPECOM 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings

2024-08-10T21:27:51Z

Author Železný, Miloš. editor. Habernal, Ivan. editor. Ronzhin, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332893.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01931-4
Format: Electronic Resources
Availability Online Library~1

Multimodal Brain Image Analysis Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings

2024-08-10T21:27:51Z

Author Shen, Li. editor. Liu, Tianming. editor. Yap, Pew-Thian. editor. Huang, Heng. editor. Shen, Dinggang. editor.
Preferred Shelf Number ONLINE(332901.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02126-3
Format: Electronic Resources
Availability Online Library~1

Machine Learning in Medical Imaging 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

2024-08-10T21:27:51Z

Author Wu, Guorong. editor. Zhang, Daoqiang. editor. Shen, Dinggang. editor. Yan, Pingkun. editor. Suzuki, Kenji. editor.
Preferred Shelf Number ONLINE(332907.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02267-3
Format: Electronic Resources
Availability Online Library~1

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

2024-08-10T21:27:51Z

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

Social Robotics 5th International Conference, ICSR 2013, Bristol, UK, October 27-29, 2013, Proceedings

2024-08-10T21:27:51Z

Author Herrmann, Guido. editor. Pearson, Martin J. editor. Lenz, Alexander. editor. Bremner, Paul. editor. Spiers, Adam. editor.
Preferred Shelf Number ONLINE(332935.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02675-6
Format: Electronic Resources
Availability Online Library~1

Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

2024-08-10T21:27:51Z

Author Nugent, Christopher. editor. Coronato, Antonio. editor. Bravo, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332965.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03092-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings

2024-08-10T21:27:51Z

Author Reidsma, Dennis. editor. Katayose, Haruhiro. editor. Nijholt, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332968.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03161-3
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

2024-08-10T21:27:51Z

Author Urzaiz, Gabriel. editor. Ochoa, Sergio F. editor. Bravo, José. editor. Chen, Liming Luke. editor. Oliveira, Jonice. editor.
Preferred Shelf Number ONLINE(332969.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03176-7
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings

2024-08-10T21:27:51Z

Author Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332970.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03200-9
Format: Electronic Resources
Availability Online Library~1

Social Informatics 5th International Conference, SocInfo 2013, Kyoto, Japan, November 25-27, 2013, Proceedings

2024-08-10T21:27:51Z

Author Jatowt, Adam. editor. Lim, Ee-Peng. editor. Ding, Ying. editor. Miura, Asako. editor. Tezuka, Taro. editor.
Preferred Shelf Number ONLINE(332973.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03260-3
Format: Electronic Resources
Availability Online Library~1

Metadata and Semantics Research 7th Research Conference, MTSR 2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings

2024-08-10T21:27:51Z

Author Garoufallou, Emmanouel. editor. Greenberg, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332974.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03437-9
Format: Electronic Resources
Availability Online Library~1

AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings

2024-08-10T21:27:51Z

Author Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332979.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03524-6
Format: Electronic Resources
Availability Online Library~1

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

2024-08-10T21:27:51Z

Author Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332982.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03545-1
Format: Electronic Resources
Availability Online Library~1

Ambient Intelligence 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3-5, 2013. Proceedings

2024-08-10T21:27:51Z

Author Augusto, Juan Carlos. editor. Wichert, Reiner. editor. Collier, Rem. editor. Keyson, David. editor. Salah, Albert Ali. editor.
Preferred Shelf Number ONLINE(332986.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03647-2
Format: Electronic Resources
Availability Online Library~1

AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

2024-08-10T21:27:51Z

Author Cranefield, Stephen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332987.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03680-9
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

2024-08-10T21:27:51Z

Author Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332999.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03850-6
Format: Electronic Resources
Availability Online Library~1

Process Support and Knowledge Representation in Health Care AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013, Revised Selected Papers

2024-08-10T21:27:51Z

Author Riaño, David. editor. Lenz, Richard. editor. Miksch, Silvia. editor. Peleg, Mor. editor. Reichert, Manfred. editor.
Preferred Shelf Number ONLINE(333006.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03916-9
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers

2024-08-10T21:27:51Z

Author Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Preferred Shelf Number ONLINE(333011.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03998-5
Format: Electronic Resources
Availability Online Library~1

Behavior and Social Computing International Workshop on Behavior and Social Informatics, BSI 2013, Gold Coast, QLD, Australia, April 14-17, 2013 and International Workshop on Behavior and Social Informatics and Computing, BSIC 2013, Beijing, China, August 3-9, 2013, Revised Selected Papers

2024-08-10T21:27:51Z

Author Cao, Longbing. editor. Motoda, Hiroshi. editor. Srivastava, Jaideep. editor. Lim, Ee-Peng. editor. King, Irwin. editor.
Preferred Shelf Number ONLINE(333012.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-04048-6
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers

2024-08-10T21:27:51Z

Author Filipe, Joaquim. editor. Fred, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333280.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29966-7
Format: Electronic Resources
Availability Online Library~1

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

2024-08-10T21:27:51Z

Author Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Preferred Shelf Number ONLINE(334041.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35737-4
Format: Electronic Resources
Availability Online Library~1

Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings

2024-08-10T21:27:51Z

Author Pfeiffer, Heather D. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. Gadiraju, Nagarjuna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334048.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35786-2
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

2024-08-10T21:27:51Z

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

Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers

2024-08-10T21:27:51Z

Author Magnini, Bernardo. editor. Cutugno, Francesco. editor. Falcone, Mauro. editor. Pianta, Emanuele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334059.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35828-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XVII

2024-08-10T21:27:51Z

Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334063.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35840-1
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

2024-08-10T21:27:51Z

Author Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334073.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35873-9
Format: Electronic Resources
Availability Online Library~1

Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers

2024-08-10T21:27:51Z

Author Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Preferred Shelf Number ONLINE(334092.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35975-0
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

2024-08-10T21:27:51Z

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

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

2024-08-10T21:27:51Z

Author Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334105.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36039-8
Format: Electronic Resources
Availability Online Library~1

Citizen in Sensor Networks First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers

2024-08-10T21:27:51Z

Author Nin, Jordi. editor. Villatoro, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334115.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36074-9
Format: Electronic Resources
Availability Online Library~1

Human Behavior Understanding 4th International Workshop, HBU 2013, Barcelona, Spain, October 22, 2013. Proceedings

2024-08-10T21:27:51Z

Author Salah, Albert Ali. editor. Hung, Hayley. editor. Aran, Oya. editor. Gunes, Hatice. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332940.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02714-2
Format: Electronic Resources
Availability Online Library~1

Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers

2024-08-10T21:27:51Z

Author Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334121.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36092-3
Format: Electronic Resources
Availability Online Library~1

Brain and Health Informatics International Conference, BHI 2013, Maebashi, Japan, October 29-31, 2013. Proceedings

2024-08-10T21:27:51Z

Author Imamura, Kazayuki. editor. Usui, Shiro. editor. Shirao, Tomoaki. editor. Kasamatsu, Takuji. editor. Schwabe, Lars. editor.
Preferred Shelf Number ONLINE(332943.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02753-1
Format: Electronic Resources
Availability Online Library~1

Interactive Storytelling 6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings

2024-08-10T21:27:51Z

Author Koenitz, Hartmut. editor. Sezen, Tonguc Ibrahim. editor. Ferri, Gabriele. editor. Haahr, Mads. editor. Sezen, Digdem. editor.
Preferred Shelf Number ONLINE(332944.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02756-2
Format: Electronic Resources
Availability Online Library~1

Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

2024-08-10T21:27:51Z

Author Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334142.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36177-7
Format: Electronic Resources
Availability Online Library~1

Agents and Data Mining Interaction 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers

2024-08-10T21:27:51Z

Author Cao, Longbing. editor. Zeng, Yifeng. editor. Symeonidis, Andreas L. editor. Gorodetsky, Vladimir I. editor. Yu, Philip S. editor.
Preferred Shelf Number ONLINE(334167.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36288-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computing, Communication, and Control Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings

2024-08-10T21:27:51Z

Author Unnikrishnan, Srija. editor. Surve, Sunil. editor. Bhoir, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334176.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36321-4
Format: Electronic Resources
Availability Online Library~1

Chinese Lexical Semantics 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers

2024-08-10T21:27:51Z

Author Ji, Donghong. editor. Xiao, Guozheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334180.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36337-5
Format: Electronic Resources
Availability Online Library~1

Process Support and Knowledge Representation in Health Care BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers

2024-08-10T21:27:51Z

Author Lenz, Richard. editor. Miksch, Silvia. editor. Peleg, Mor. editor. Reichert, Manfred. editor. Riaño, David. editor.
Preferred Shelf Number ONLINE(334204.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36438-9
Format: Electronic Resources
Availability Online Library~1

Cognitive Agents for Virtual Environments First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2024-08-10T21:27:51Z

Author Dignum, Frank. editor. Brom, Cyril. editor. Hindriks, Koen. editor. Beer, Martin. editor. Richards, Deborah. editor.
Preferred Shelf Number ONLINE(334206.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36444-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Rough Sets XVI

2024-08-10T21:27:51Z

Author Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Preferred Shelf Number ONLINE(334220.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36505-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I

2024-08-10T21:27:51Z

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

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

2024-08-10T21:27:51Z

Author Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334264.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36675-8
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

2024-08-10T21:27:51Z

Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334355.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37064-9
Format: Electronic Resources
Availability Online Library~1

Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction First IAPR TC3 Workshop, MPRSS 2012, Tsukuba, Japan, November 11, 2012, Revised Selected Papers

2024-08-10T21:27:51Z

Author Schwenker, Friedhelm. editor. Scherer, Stefan. editor. Morency, Louis-Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334359.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37081-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing for Sustainable Energy and Environment Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers

2024-08-10T21:27:51Z

Author Li, Kang. editor. Li, Shaoyuan. editor. Li, Dewei. editor. Niu, Qun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334362.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37105-9
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings

2024-08-10T21:27:51Z

Author Purshouse, Robin C. editor. Fleming, Peter J. editor. Fonseca, Carlos M. editor. Greco, Salvatore. editor. Shaw, Jane. editor.
Preferred Shelf Number ONLINE(334370.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37140-0
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery, Knowledge Engineering and Knowledge Management Third International Joint Conference, IC3K 2011, Paris, France, October 26-29, 2011. Revised Selected Papers

2024-08-10T21:27:51Z

Author Fred, Ana. editor. Dietz, Jan L. G. editor. Liu, Kecheng. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334379.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37186-8
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2024-08-10T21:27:51Z

Author Esparcia-Alcázar, Anna I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334381.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37192-9
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2024-08-10T21:27:51Z

Author Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.
Preferred Shelf Number ONLINE(334384.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37207-0
Format: Electronic Resources
Availability Online Library~1

Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings

2024-08-10T21:27:51Z

Author Tomassini, Marco. editor. Antonioni, Alberto. editor. Daolio, Fabio. editor. Buesser, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334386.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37213-1
Format: Electronic Resources
Availability Online Library~1

Computational Linguistics and Intelligent Text Processing 14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part I

2024-08-10T21:27:51Z

Author Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334392.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37247-6
Format: Electronic Resources
Availability Online Library~1

Computational Linguistics and Intelligent Text Processing 14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part II

2024-08-10T21:27:51Z

Author Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334394.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37256-8
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part I

2024-08-10T21:27:51Z

Author Lee, Kyoung Mu. editor. Matsushita, Yasuyuki. editor. Rehg, James M. editor. Hu, Zhanyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334407.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37331-2
Format: Electronic Resources
Availability Online Library~1

Knowledge Engineering, Machine Learning and Lattice Computing with Applications 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers

2024-08-10T21:27:51Z

Author Graña, Manuel. editor. Toro, Carlos. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334409.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37343-5
Format: Electronic Resources
Availability Online Library~1

Your Virtual Butler The Making-of

2024-08-10T21:27:51Z

Author Trappl, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334410.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37346-6
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Mining Complex Patterns First International Workshop, NFMCP 2012, Held in Conjunction with ECML/PKDD 2012, Bristol, UK, September 24, 2012, Rivesed Selected Papers

2024-08-10T21:27:51Z

Author Appice, Annalisa. editor. Ceci, Michelangelo. editor. Loglisci, Corrado. editor. Manco, Giuseppe. editor. Masciari, Elio. editor.
Preferred Shelf Number ONLINE(334417.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37382-4
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part III

2024-08-10T21:27:51Z

Author Lee, Kyoung Mu. editor. Matsushita, Yasuyuki. editor. Rehg, James M. editor. Hu, Zhanyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334428.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37431-9
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II

2024-08-10T21:27:51Z

Author Lee, Kyoung Mu. editor. Matsushita, Yasuyuki. editor. Rehg, James M. editor. Hu, Zhanyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334430.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37444-9
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part IV

2024-08-10T21:27:51Z

Author Lee, Kyoung Mu. editor. Matsushita, Yasuyuki. editor. Rehg, James M. editor. Hu, Zhanyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334431.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37447-0
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 17th Pacific-Asia Conference, PAKDD 2013, Gold Coast, Australia, April 14-17, 2013, Proceedings, Part I

2024-08-10T21:27:51Z

Author Pei, Jian. editor. Tseng, Vincent S. editor. Cao, Longbing. editor. Motoda, Hiroshi. editor. Xu, Guandong. editor.
Preferred Shelf Number ONLINE(334433.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37453-1
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 17th Pacific-Asia Conference, PAKDD 2013, Gold Coast, Australia, April 14-17, 2013, Proceedings, Part II

2024-08-10T21:27:51Z

Author Pei, Jian. editor. Tseng, Vincent S. editor. Cao, Longbing. editor. Motoda, Hiroshi. editor. Xu, Guandong. editor.
Preferred Shelf Number ONLINE(334434.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37456-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Interactive Technologies and Multimedia Second International Conference, IITM 2013, Allahabad, India, March 9-11, 2013. Proceedings

2024-08-10T21:27:51Z

Author Agrawal, Anupam. editor. Tripathi, R. C. editor. Do, Ellen Yi-Luen. editor. Tiwari, M. D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334435.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37463-0
Format: Electronic Resources
Availability Online Library~1

Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings

2024-08-10T21:27:51Z

Author Neto, Pedro. editor. Moreira, António Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334756.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39223-8
Format: Electronic Resources
Availability Online Library~1

RoboCup 2012: Robot Soccer World Cup XVI

2024-08-10T21:27:51Z

Author Chen, Xiaoping. editor. Stone, Peter. editor. Sucar, Luis Enrique. editor. Zant, Tijn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334765.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39250-4
Format: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings

2024-08-10T21:27:51Z

Author Delany, Sarah Jane. editor. Ontañón, Santiago. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334719.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39056-2
Format: Electronic Resources
Availability Online Library~1

Human Factors in Computing and Informatics First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings

2024-08-10T21:27:51Z

Author Holzinger, Andreas. editor. Ziefle, Martina. editor. Hitz, Martin. editor. Debevc, Matjaž. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334721.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39062-3
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I

2024-08-10T21:27:51Z

Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334722.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39065-4
Format: Electronic Resources
Availability Online Library~1

Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

2024-08-10T21:27:51Z

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

Artificial Intelligence in Education 16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013. Proceedings

2024-08-10T21:27:51Z

Author Lane, H. Chad. editor. Yacef, Kalina. editor. Mostow, Jack. editor. Pavlik, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334731.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39112-5
Format: Electronic Resources
Availability Online Library~1

Virtual Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

2024-08-10T21:27:51Z

Author Shumaker, Randall. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334796.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39405-8
Format: Electronic Resources
Availability Online Library~1

Data Integration in the Life Sciences 9th International Conference, DILS 2013, Montreal, QC, Canada, July 11-12, 2013. Proceedings

2024-08-10T21:27:51Z

Author Baker, Christopher J. O. editor. Butler, Greg. editor. Jurisica, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334800.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39437-9
Format: Electronic Resources
Availability Online Library~1

Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings

2024-08-10T21:27:51Z

Author Biswas, Jit. editor. Kobayashi, Hisato. editor. Wong, Lawrence. editor. Abdulrazak, Bessam. editor. Mokhtari, Mounir. editor.
Preferred Shelf Number ONLINE(334804.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39470-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings

2024-08-10T21:27:51Z

Author Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Figueroa, Juan Carlos. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334807.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39479-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories and Technology 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings

2024-08-10T21:27:51Z

Author Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Zhou, Yong-Quan. editor. Han, Kyungsook. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334808.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39482-9
Format: Electronic Resources
Availability Online Library~1

Statistical Language and Speech Processing First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013. Proceedings

2024-08-10T21:27:51Z

Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Mitkov, Ruslan. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334819.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39593-2
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2024-08-10T21:27:51Z

Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334820.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Electronic Resources
Availability Online Library~1

Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings

2024-08-10T21:27:51Z

Author Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Preferred Shelf Number ONLINE(334822.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39617-5
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

2024-08-10T21:27:51Z

Author Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334825.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39634-2
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Data Mining in Pattern Recognition 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings

2024-08-10T21:27:51Z

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

Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

2024-08-10T21:27:51Z

Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334840.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39718-9
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

2024-08-10T21:27:51Z

Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334841.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39721-9
Format: Electronic Resources
Availability Online Library~1

Advances in Data Mining. Applications and Theoretical Aspects 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings

2024-08-10T21:27:51Z

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

Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

2024-08-10T21:27:51Z

Author Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334848.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39784-4
Format: Electronic Resources
Availability Online Library~1

Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings

2024-08-10T21:27:51Z

Author Lepora, Nathan F. editor. Mura, Anna. editor. Krapp, Holger G. editor. Verschure, Paul F. M. J. editor. Prescott, Tony J. editor.
Preferred Shelf Number ONLINE(334852.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39802-5
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV

2024-08-10T21:27:51Z

Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE(334955.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40498-6
Format: Electronic Resources
Availability Online Library~1

Computational Collective Intelligence. Technologies and Applications 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings

2024-08-10T21:27:51Z

Author Bǎdicǎ, Costin. editor. Nguyen, Ngoc Thanh. editor. Brezovan, Marius. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334954.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40495-5
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2024-08-10T21:27:51Z

Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2024-08-10T21:27:51Z

Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334969.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Electronic Resources
Availability Online Library~1

Soft Computing Applications and Intelligent Systems Second International Multi-Conference on Artificial Intelligence Technology, M-CAIT 2013, Shah Alam, August 28-29, 2013. Proceedings

2024-08-10T21:27:51Z

Author Noah, Shahrul Azman. editor. Abdullah, Azizi. editor. Arshad, Haslina. editor. Abu Bakar, Azuraliza. editor. Othman, Zulaiha Ali. editor.
Preferred Shelf Number ONLINE(334970.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40567-9
Format: Electronic Resources
Availability Online Library~1

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

2024-08-10T21:27:51Z

Author Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334973.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40579-2
Format: Electronic Resources
Availability Online Library~1

Text, Speech, and Dialogue 16th International Conference, TSD 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings

2024-08-10T21:27:51Z

Author Habernal, Ivan. editor. Matoušek, Václav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334974.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40585-3
Format: Electronic Resources
Availability Online Library~1

Security Engineering and Intelligence Informatics CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings

2024-08-10T21:27:51Z

Author Cuzzocrea, Alfredo. editor. Kittl, Christian. editor. Simos, Dimitris E. editor. Weippl, Edgar. editor. Xu, Lida. editor.
Preferred Shelf Number ONLINE(334975.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40588-4
Format: Electronic Resources
Availability Online Library~1

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

2024-08-10T21:27:51Z

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

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

2024-08-10T21:27:51Z

Author Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Preferred Shelf Number ONLINE(334979.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40624-9
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings

2024-08-10T21:27:51Z

Author Bielza, Concha. editor. Salmerón, Antonio. editor. Alonso-Betanzos, Amparo. editor. Hidalgo, J. Ignacio. editor. Martínez, Luis. editor.
Preferred Shelf Number ONLINE(334981.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40643-0
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

2024-08-10T21:27:51Z

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

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

2024-08-10T21:27:51Z

Author Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334987.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40672-0
Format: Electronic Resources
Availability Online Library~1

Partially Supervised Learning Second IAPR International Workshop, PSL 2013, Nanjing, China, May 13-14, 2013, Revised Selected Papers

2024-08-10T21:27:51Z

Author Zhou, Zhi-Hua. editor. Schwenker, Friedhelm. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334991.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40705-5
Format: Electronic Resources
Availability Online Library~1

Language Processing and Knowledge in the Web 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings

2024-08-10T21:27:51Z

Author Gurevych, Iryna. editor. Biemann, Chris. editor. Zesch, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334994.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40722-2
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings

2024-08-10T21:27:51Z

Author Mladenov, Valeri. editor. Koprinkova-Hristova, Petia. editor. Palm, Günther. editor. Villa, Alessandro E. P. editor. Appollini, Bruno. editor.
Preferred Shelf Number ONLINE(334996.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40728-4
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III

2024-08-10T21:27:51Z

Author Mori, Kensaku. editor. Sakuma, Ichiro. editor. Sato, Yoshinobu. editor. Barillot, Christian. editor. Navab, Nassir. editor.
Preferred Shelf Number ONLINE(334998.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40760-4
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II

2024-08-10T21:27:51Z

Author Mori, Kensaku. editor. Sakuma, Ichiro. editor. Sato, Yoshinobu. editor. Barillot, Christian. editor. Navab, Nassir. editor.
Preferred Shelf Number ONLINE(334999.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40763-5
Format: Electronic Resources
Availability Online Library~1

Flexible Query Answering Systems 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings

2024-08-10T21:27:51Z

Author Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Vila, María Amparo. editor. Andreasen, Troels. editor. Christiansen, Henning. editor.
Preferred Shelf Number ONLINE(335000.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40769-7
Format: Electronic Resources
Availability Online Library~1

Multi-disciplinary Trends in Artificial Intelligence 7th International Workshop, MIWAI 2013, Krabi, Thailand, December 9-11, 2013. Proceedings

2024-08-10T21:27:51Z

Author Ramanna, Sheela. editor. Lingras, Pawan. editor. Sombattheera, Chattrakul. editor. Krishna, Aneesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335172.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-44949-9
Format: Electronic Resources
Availability Online Library~1

Time-of-Flight and Depth Imaging. Sensors, Algorithms, and Applications Dagstuhl 2012 Seminar on Time-of-Flight Imaging and GCPR 2013 Workshop on Imaging New Modalities

2024-08-10T21:27:51Z

Author Grzegorzek, Marcin. editor. Theobalt, Christian. editor. Koch, Reinhard. editor. Kolb, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335174.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-44964-2
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers

2024-08-10T21:27:51Z

Author Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335176.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-44973-4
Format: Electronic Resources
Availability Online Library~1

Information Access Evaluation. Multilinguality, Multimodality, and Visualization 4th International Conference of the CLEF Initiative, CLEF 2013, Valencia, Spain, September 23-26, 2013. Proceedings

2024-08-10T21:27:51Z

Author Forner, Pamela. editor. Müller, Henning. editor. Paredes, Roberto. editor. Rosso, Paolo. editor. Stein, Benno. editor.
Preferred Shelf Number ONLINE(335007.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40802-1
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

2024-08-10T21:27:51Z

Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335178.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45008-2
Format: Electronic Resources
Availability Online Library~1

Scaling up Learning for Sustained Impact 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings

2024-08-10T21:27:51Z

Author Hernández-Leo, Davinia. editor. Ley, Tobias. editor. Klamma, Ralf. editor. Harrer, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335011.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40814-4
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings

2024-08-10T21:27:51Z

Author Pan, Jeng-Shyang. editor. Polycarpou, Marios M. editor. Woźniak, Michał. editor. Carvalho, André C. P. L. F. editor. Quintián, Héctor. editor.
Preferred Shelf Number ONLINE(335017.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40846-5
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II

2024-08-10T21:27:51Z

Author Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335018.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40849-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I

2024-08-10T21:27:51Z

Author Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335019.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40852-6
Format: Electronic Resources
Availability Online Library~1