Search Results for Science. - Narrowed by: Computers.

Transactions on Computational Science XXII

2024-11-13T06:32:56Z

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

An Introduction to Design Science

2024-11-13T06:32:56Z

Author Johannesson, Paul. author. Perjons, Erik. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10632-8
Format: Electronic Resources
Availability Online Library~1

Open Problems in Mathematics and Computational Science

2024-11-13T06:32:56Z

Author Koç, Çetin Kaya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10683-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XXIV Special Issue on Reversible Computing

2024-11-13T06:32:56Z

Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Thapliyal, Himanshu. editor. Ranganathan, Nagarajan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45711-5
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XXIII Special Issue on Cyberworlds

2024-11-13T06:32:56Z

Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Mao, Xiaoyang. editor. Hong, Lichan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43790-2
Format: Electronic Resources
Availability Online Library~1

Advances in Data Science, Cyber Security and IT Applications First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10–12, 2019, Proceedings, Part II

2024-11-13T06:32:56Z

Author Alfaries, Auhood. editor. Mengash, Hanan. editor. Yasar, Ansar. editor. (orcid)0000-0002-1542-2658 Shakshuki, Elhadi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36368-0
Format: Electronic Resources
Availability Online Library~1

Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part I

2024-11-13T06:32:56Z

Author Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29743-5
Format: Electronic Resources
Availability Online Library~1

Advances in Data Science, Cyber Security and IT Applications First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10–12, 2019, Proceedings, Part I

2024-11-13T06:32:56Z

Author Alfaries, Auhood. editor. Mengash, Hanan. editor. Yasar, Ansar. editor. (orcid)0000-0002-1542-2658 Shakshuki, Elhadi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36365-9
Format: Electronic Resources
Availability Online Library~1

Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II

2024-11-13T06:32:56Z

Author Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29750-3
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III

2024-11-13T06:32:56Z

Author Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22744-9
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I

2024-11-13T06:32:56Z

Author Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22734-0
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II

2024-11-13T06:32:56Z

Author Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22741-8
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV

2024-11-13T06:32:56Z

Author Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22747-0
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V

2024-11-13T06:32:56Z

Author Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22750-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-11-13T06:32:56Z

Author Muscholl, Anca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54830-7
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

2024-11-13T06:32:56Z

Author Diaz, Josep. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Sangiorgi, Davide. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44602-7
Format: Electronic Resources
Availability Online Library~1

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

2024-11-13T06:32:56Z

Author Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06686-8
Format: Electronic Resources
Availability Online Library~1

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2024-11-13T06:32:56Z

Author Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44124-4
Format: Electronic Resources
Availability Online Library~1

Extending the Boundaries of Design Science Theory and Practice 14th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2019, Worcester, MA, USA, June 4–6, 2019, Proceedings

2024-11-13T06:32:56Z

Author Tulu, Bengisu. editor. (orcid)0000-0001-7226-1830 Djamasbi, Soussan. editor. (orcid)0000-0001-8638-8402 Leroy, Gondy. editor. (orcid)0000-0003-4751-6680 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19504-5
Format: Electronic Resources
Availability Online Library~1

Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings

2024-11-13T06:32:56Z

Author Kralj Novak, Petra. editor. (orcid)0000-0003-3385-6430 Šmuc, Tomislav. editor. (orcid)0000-0002-9185-9384 Džeroski, Sašo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33778-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2017

2024-11-13T06:32:56Z

Author Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2191-7
Format: Electronic Resources
Availability Online Library~1

Representation Theorems in Computer Science A Treatment in Logic Engineering

2024-11-13T06:32:56Z

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

Advances of Science and Technology 6th EAI International Conference, ICAST 2018, Bahir Dar, Ethiopia, October 5-7, 2018, Proceedings

2024-11-13T06:32:56Z

Author Zimale, Fasikaw Atanaw. editor. Enku Nigussie, Temesgen. editor. Fanta, Solomon Workneh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15357-1
Format: Electronic Resources
Availability Online Library~1

Design Science Methodology for Information Systems and Software Engineering

2024-11-13T06:32:56Z

Author Wieringa, Roel J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43839-8
Format: Electronic Resources
Availability Online Library~1

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities

2024-11-13T06:32:56Z

Author Kacsuk, Péter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11268-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2013

2024-11-13T06:32:56Z

Author Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-017-9115-1
Format: Electronic Resources
Availability Online Library~1

Handbook of logic and proof techniques for computer science

2024-11-13T06:32:56Z

Author Krantz, Steven George, 1951-
Preferred Shelf Number QA 76 K723 2002
Format: Books
Availability Beytepe Library~1

A century of electrical engineering and computer science at MIT, 1882-1982

2024-11-13T06:32:56Z

Author Wildes, Karl L. Lindgren, Nilo A.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267505
Format: Electronic Resources
Availability Online Library~1

An Introduction to Kolmogorov Complexity and Its Applications

2024-11-13T06:32:56Z

Author Li, Ming. author. Vitányi, Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-11298-1
Format: Electronic Resources
Availability Online Library~1

Multimedia QoE Evaluation

2024-11-13T06:32:56Z

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

A Primer on Quantum Computing

2024-11-13T06:32:56Z

Author de Lima Marquezino, Franklin. author. Portugal, Renato. author. Lavor, Carlile. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19066-8
Format: Electronic Resources
Availability Online Library~1

Network Hardening An Automated Approach to Improving Network Security

2024-11-13T06:32:56Z

Author Wang, Lingyu. author. Albanese, Massimiliano. author. Jajodia, Sushil. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04612-9
Format: Electronic Resources
Availability Online Library~1

Maritime Wideband Communication Networks Video Transmission Scheduling

2024-11-13T06:32:56Z

Author Yang, Tingting. author. Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07362-0
Format: Electronic Resources
Availability Online Library~1

Cognitive Radio Networks Dynamic Resource Allocation Schemes

2024-11-13T06:32:56Z

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

Wireless Coordinated Multicell Systems Architectures and Precoding Designs

2024-11-13T06:32:56Z

Author Nguyen, Duy H. N. author. Le-Ngoc, Tho. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06337-9
Format: Electronic Resources
Availability Online Library~1

Channel Estimation for Physical Layer Network Coding Systems

2024-11-13T06:32:56Z

Author Gao, Feifei. author. Xing, Chengwen. author. Wang, Gongpu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11668-6
Format: Electronic Resources
Availability Online Library~1

Big Data Related Technologies, Challenges and Future Prospects

2024-11-13T06:32:56Z

Author Chen, Min. author. Mao, Shiwen. author. Zhang, Yin. author. Leung, Victor C.M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06245-7
Format: Electronic Resources
Availability Online Library~1

Pervasive Wireless Environments: Detecting and Localizing User Spoofing

2024-11-13T06:32:56Z

Author Yang, Jie. author. Chen, Yingying. author. Trappe, Wade. author. Cheng, Jerry. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07356-9
Format: Electronic Resources
Availability Online Library~1

Wireless Communications Networks for the Smart Grid

2024-11-13T06:32:56Z

Author Ho, Quang-Dung. author. Gao, Yue. author. Rajalingham, Gowdemy. author. Le-Ngoc, Tho. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10347-1
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-11-13T06:32:56Z

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

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

2024-11-13T06:32:56Z

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

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

2024-11-13T06:32:56Z

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

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

2024-11-13T06:32:56Z

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

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

2024-11-13T06:32:56Z

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

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

2024-11-13T06:32:56Z

Author Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44199-2
Format: Electronic Resources
Availability Online Library~1

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings

2024-11-13T06:32:56Z

Author Beckmann, Arnold. editor. Csuhaj-Varjú, Ersébet. editor. Meer, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08019-2
Format: Electronic Resources
Availability Online Library~1

LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings

2024-11-13T06:32:56Z

Author Pardo, Alberto. editor. Viola, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54423-1
Format: Electronic Resources
Availability Online Library~1

Pervasive Systems, Algorithms and Networks 16th International Symposium, I-SPAN 2019, Naples, Italy, September 16-20, 2019, Proceedings

2024-11-13T06:32:56Z

Author Esposito, Christian. editor. Hong, Jiman. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30143-9
Format: Electronic Resources
Availability Online Library~1

Big Social Data and Urban Computing First Workshop, BiDU 2018, Rio de Janeiro, Brazil, August 31, 2018, Revised Selected Papers

2024-11-13T06:32:56Z

Author Oliveira, Jonice. editor. (orcid)0000-0002-2495-1463 Farias, Claudio M. editor. Pacitti, Esther. editor. Fortino, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-11238-7
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings

2024-11-13T06:32:56Z

Author Biagioni, Edoardo S. editor. Zheng, Yao. editor. Cheng, Siyao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23597-0
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers

2024-11-13T06:32:56Z

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

Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

2024-11-13T06:32:56Z

Author Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30275-7
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers

2024-11-13T06:32:56Z

Author Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22559-9
Format: Electronic Resources
Availability Online Library~1

Big Data 7th CCF Conference, BigData 2019, Wuhan, China, September 26–28, 2019, Proceedings

2024-11-13T06:32:56Z

Author Jin, Hai. editor. Lin, Xuemin. editor. Cheng, Xueqi. editor. Shi, Xuanhua. editor. Xiao, Nong. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1899-7
Format: Electronic Resources
Availability Online Library~1

Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers

2024-11-13T06:32:56Z

Author Longo, Luca. editor. (orcid)0000-0002-2718-5426 Leva, M. Chiara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14273-5
Format: Electronic Resources
Availability Online Library~1

Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16–18, 2019, Proceedings, Part I

2024-11-13T06:32:56Z

Author Ning, Huansheng. editor. (orcid)0000-0001-6413-193X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1922-2
Format: Electronic Resources
Availability Online Library~1

Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16–18, 2019, Proceedings, Part II

2024-11-13T06:32:56Z

Author Ning, Huansheng. editor. (orcid)0000-0001-6413-193X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1925-3
Format: Electronic Resources
Availability Online Library~1

Geographical Information Systems Theory, Applications and Management Third International Conference, GISTAM 2017, Porto, Portugal, April 27–28, 2017, Revised Selected Papers

2024-11-13T06:32:56Z

Author Ragia, Lemonia. editor. Laurini, Robert. editor. Rocha, Jorge Gustavo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-06010-7
Format: Electronic Resources
Availability Online Library~1

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

2024-11-13T06:32:56Z

Author Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31175-9
Format: Electronic Resources
Availability Online Library~1

Knowledge Graphs and Semantic Web First Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings

2024-11-13T06:32:56Z

Author Villazón-Terrazas, Boris. editor. (orcid)0000-0002-8572-7887 Hidalgo-Delgado, Yusniel. editor. (orcid)0000-0001-5763-0669 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21395-4
Format: Electronic Resources
Availability Online Library~1

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings

2024-11-13T06:32:56Z

Author Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Barzola-Monteses, Julio. editor. Santos-Baquerizo, Eduardo. editor. Espinoza-Andaluz, Mayken. editor. Yánez-Pazmiño, Wendy. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12018-4
Format: Electronic Resources
Availability Online Library~1

Security and Privacy Second ISEA International Conference, ISEA-ISAP 2018, Jaipur, India, January, 9–11, 2019, Revised Selected Papers

2024-11-13T06:32:56Z

Author Nandi, Sukumar. editor. Jinwala, Devesh. editor. Singh, Virendra. editor. Laxmi, Vijay. editor. Gaur, Manoj Singh. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-7561-3
Format: Electronic Resources
Availability Online Library~1

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

2024-11-13T06:32:56Z

Author Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20656-7
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

2024-11-13T06:32:56Z

Author Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25543-5
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

2024-11-13T06:32:56Z

Author Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25540-4
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

2024-11-13T06:32:56Z

Author Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24258-9
Format: Electronic Resources
Availability Online Library~1

Information, Communication and Computing Technology 4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019, Revised Selected Papers

2024-11-13T06:32:56Z

Author Gani, Abdullah Bin. editor. (orcid)0000-0002-4388-020X Das, Pradip Kumar. editor. Kharb, Latika. editor. Chahal, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1384-8
Format: Electronic Resources
Availability Online Library~1

Knowledge Graph and Semantic Computing: Knowledge Computing and Language Understanding 4th China Conference, CCKS 2019, Hangzhou, China, August 24–27, 2019, Revised Selected Papers

2024-11-13T06:32:56Z

Author Zhu, Xiaoyan. editor. Qin, Bing. editor. Zhu, Xiaodan. editor. Liu, Ming. editor. Qian, Longhua. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1956-7
Format: Electronic Resources
Availability Online Library~1

VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers

2024-11-13T06:32:56Z

Author Duguleană, Mihai. editor. Carrozzino, Marcello. editor. Gams, Matjaž. editor. Tanea, Iulian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05819-7
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies in Modern Agricultural Development 8th International Conference, HAICTA 2017, Chania, Crete, Greece, September 21–24, 2017, Revised Selected Papers

2024-11-13T06:32:56Z

Author Salampasis, Michail. editor. Bournaris, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12998-9
Format: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

2024-11-13T06:32:56Z

Author Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35092-5
Format: Electronic Resources
Availability Online Library~1

Advanced Informatics for Computing Research Second International Conference, ICAICR 2018, Shimla, India, July 14–15, 2018, Revised Selected Papers, Part I

2024-11-13T06:32:56Z

Author Luhach, Ashish Kumar. editor. Singh, Dharm. editor. Hsiung, Pao-Ann. editor. Hawari, Kamarul Bin Ghazali. editor. Lingras, Pawan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-3140-4
Format: Electronic Resources
Availability Online Library~1

Geo-informatics in Sustainable Ecosystem and Society 6th International Conference, GSES 2018, Handan, China, September 25–26, 2018, Revised Selected Papers

2024-11-13T06:32:56Z

Author Xie, Yichun. editor. (orcid)0000-0002-2045-6406 Zhang, Anbing. editor. Liu, Haixin. editor. Feng, Lili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-7025-0
Format: Electronic Resources
Availability Online Library~1

Information Management and Big Data 5th International Conference, SIMBig 2018, Lima, Peru, September 3–5, 2018, Proceedings

2024-11-13T06:32:56Z

Author Lossio-Ventura, Juan Antonio. editor. (orcid)0000-0003-0996-2356 Muñante, Denisse. editor. (orcid)0000-0003-2621-8342 Alatrista-Salas, Hugo. editor. (orcid)0000-0001-5252-4728 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-11680-4
Format: Electronic Resources
Availability Online Library~1

Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part II

2024-11-13T06:32:56Z

Author Luhach, Ashish Kumar. editor. Jat, Dharm Singh. editor. Hawari, Kamarul Bin Ghazali. editor. Gao, Xiao-Zhi. editor. Lingras, Pawan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0111-1
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

2024-11-13T06:32:56Z

Author Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28005-5
Format: Electronic Resources
Availability Online Library~1

Technology Trends 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29–31, 2018, Revised Selected Papers

2024-11-13T06:32:56Z

Author Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Pizarro, Guillermo. editor. (orcid)0000-0002-0731-4550 Zúñiga-Prieto, Miguel. editor. (orcid)0000-0001-9369-1813 D’Armas, Mayra. editor. Zúñiga Sánchez, Miguel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05532-5
Format: Electronic Resources
Availability Online Library~1

Information Security 17th International Conference, ISSA 2018, Pretoria, South Africa, August 15–16, 2018, Revised Selected Papers

2024-11-13T06:32:56Z

Author Venter, Hein. editor. (orcid)0000-0002-3607-8630 Loock, Marianne. editor. (orcid)0000-0001-8005-716X Coetzee, Marijke. editor. (orcid)0000-0002-9157-3079 Eloff, Mariki. editor. (orcid)0000-0001-8997-7931 Eloff, Jan. editor. (orcid)0000-0003-4683-2198
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-11407-7
Format: Electronic Resources
Availability Online Library~1

Language, Music and Computing Second International Workshop, LMAC 2017, St. Petersburg, Russia, April 17–19, 2017, Revised Selected Papers

2024-11-13T06:32:56Z

Author Eismont, Polina. editor. (orcid)0000-0002-0595-1847 Mitrenina, Olga. editor. (orcid)0000-0002-1750-5633 Pereltsvaig, Asya. editor. (orcid)0000-0003-2018-6896 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05594-3
Format: Electronic Resources
Availability Online Library~1

Advanced Informatics for Computing Research Second International Conference, ICAICR 2018, Shimla, India, July 14–15, 2018, Revised Selected Papers, Part II

2024-11-13T06:32:56Z

Author Luhach, Ashish Kumar. editor. Singh, Dharm. editor. Hsiung, Pao-Ann. editor. Hawari, Kamarul Bin Ghazali. editor. Lingras, Pawan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-3143-5
Format: Electronic Resources
Availability Online Library~1

Big Scientific Data Benchmarks, Architecture, and Systems First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers

2024-11-13T06:32:56Z

Author Ren, Rui. editor. Zheng, Chen. editor. Zhan, Jianfeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-5910-1
Format: Electronic Resources
Availability Online Library~1

From Bioinspired Systems and Biomedical Applications to Machine Learning 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part II

2024-11-13T06:32:56Z

Author Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19651-6
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

2024-11-13T06:32:56Z

Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17462-0
Format: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

2024-11-13T06:32:56Z

Author Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20981-0
Format: Electronic Resources
Availability Online Library~1

Green, Pervasive, and Cloud Computing 14th International Conference, GPC 2019, Uberlândia, Brazil, May 26–28, 2019, Proceedings

2024-11-13T06:32:56Z

Author Miani, Rodrigo. editor. (orcid)0000-0002-8176-8040 Camargos, Lasaro. editor. (orcid)0000-0002-4162-6160 Zarpelão, Bruno. editor. (orcid)0000-0001-9172-3578 Rosas, Erika. editor. (orcid)0000-0003-0377-0193 Pasquini, Rafael. editor. (orcid)0000-0002-8781-3914
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19223-5
Format: Electronic Resources
Availability Online Library~1

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

2024-11-13T06:32:56Z

Author Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31019-6
Format: Electronic Resources
Availability Online Library~1

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

2024-11-13T06:32:56Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22348-9
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings

2024-11-13T06:32:56Z

Author Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 Goodman, Erik. editor. Coello Coello, Carlos A. editor. (orcid)0000-0002-8435-680X Klamroth, Kathrin. editor. Miettinen, Kaisa. editor. (orcid)0000-0003-1013-4689
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12598-1
Format: Electronic Resources
Availability Online Library~1

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

2024-11-13T06:32:56Z

Author Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22102-7
Format: Electronic Resources
Availability Online Library~1

Information Systems Security and Privacy 4th International Conference, ICISSP 2018, Funchal - Madeira, Portugal, January 22-24, 2018, Revised Selected Papers

2024-11-13T06:32:56Z

Author Mori, Paolo. editor. (orcid)0000-0002-6618-0388 Furnell, Steven. editor. (orcid)0000-0003-0984-7542 Camp, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25109-3
Format: Electronic Resources
Availability Online Library~1

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

2024-11-13T06:32:56Z

Author Coecke, Bob. editor. (orcid)0000-0002-5310-8723 Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35895-2
Format: Electronic Resources
Availability Online Library~1

Applications and Techniques in Information Security 10th International Conference, ATIS 2019, Thanjavur, India, November 22–24, 2019, Proceedings

2024-11-13T06:32:56Z

Author Shankar Sriram, V. S. editor. (orcid)0000-0001-7870-7944 Subramaniyaswamy, V. editor. Sasikaladevi, N. editor. (orcid)0000-0002-0841-502X Zhang, Leo. editor. Batten, Lynn. editor. (orcid)0000-0003-4525-2423
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0871-4
Format: Electronic Resources
Availability Online Library~1

Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part I

2024-11-13T06:32:56Z

Author Luhach, Ashish Kumar. editor. Jat, Dharm Singh. editor. Hawari, Kamarul Bin Ghazali. editor. Gao, Xiao-Zhi. editor. Lingras, Pawan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0108-1
Format: Electronic Resources
Availability Online Library~1

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

2024-11-13T06:32:56Z

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

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

2024-11-13T06:32:56Z

Author Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30806-3
Format: Electronic Resources
Availability Online Library~1

Human Mental Workload: Models and Applications Third International Symposium, H-WORKLOAD 2019, Rome, Italy, November 14–15, 2019, Proceedings

2024-11-13T06:32:56Z

Author Longo, Luca. editor. (orcid)0000-0002-2718-5426 Leva, Maria Chiara. editor. (orcid)0000-0002-6770-8332 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32423-0
Format: Electronic Resources
Availability Online Library~1

Algebra, Codes and Cryptology First International Conference, A2C 2019 in honor of Prof. Mamadou Sanghare, Dakar, Senegal, December 5–7, 2019, Proceedings

2024-11-13T06:32:56Z

Author Gueye, Cheikh Thiecoumba. editor. Persichetti, Edoardo. editor. (orcid)0000-0002-1895-377X Cayrel, Pierre-Louis. editor. Buchmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36237-9
Format: Electronic Resources
Availability Online Library~1

Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings

2024-11-13T06:32:56Z

Author Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248 García Rodríguez de Guzmán, Ignacio. editor. (orcid)0000-0002-0038-0942 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29238-6
Format: Electronic Resources
Availability Online Library~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

2024-11-13T06:32:56Z

Author Rousseau, Louis-Martin. editor. Stergiou, Kostas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19212-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

2024-11-13T06:32:56Z

Author Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0310-8
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

2024-11-13T06:32:56Z

Author Hinze, Thomas. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12797-8
Format: Electronic Resources
Availability Online Library~1

Understanding the Brain Function and Emotions 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part I

2024-11-13T06:32:56Z

Author Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19591-5
Format: Electronic Resources
Availability Online Library~1

Learning Technology for Education Challenges 8th International Workshop, LTEC 2019, Zamora, Spain, July 15–18, 2019, Proceedings

2024-11-13T06:32:56Z

Author Uden, Lorna. editor. Liberona, Dario. editor. Sanchez, Galo. editor. Rodríguez-González, Sara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20798-4
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part V

2024-11-13T06:32:56Z

Author Gedeon, Tom. editor. (orcid)0000-0001-8356-4909 Wong, Kok Wai. editor. Lee, Minho. editor. (orcid)0000-0002-0441-7087 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36802-9
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings

2024-11-13T06:32:56Z

Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04921-2
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

2024-11-13T06:32:56Z

Author Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09284-3
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

2024-11-13T06:32:56Z

Author Legay, Axel. editor. Bozga, Marius. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10512-3
Format: Electronic Resources
Availability Online Library~1

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings

2024-11-13T06:32:56Z

Author Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09704-6
Format: Electronic Resources
Availability Online Library~1

Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers

2024-11-13T06:32:56Z

Author Legrand, Pierrick. editor. Corsini, Marc-Michel. editor. Hao, Jin-Kao. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11683-9
Format: Electronic Resources
Availability Online Library~1

Beyond Databases, Architectures, and Structures 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings

2024-11-13T06:32:56Z

Author Kozielski, Stanislaw. editor. Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656 Kasprowski, Pawel. editor. Małysiak-Mrozek, Bożena. editor. Kostrzewa, Daniel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06932-6
Format: Electronic Resources
Availability Online Library~1

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2024-11-13T06:32:56Z

Author Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12904-4
Format: Electronic Resources
Availability Online Library~1

Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings

2024-11-13T06:32:56Z

Author Dick, Grant. editor. Browne, Will N. editor. Whigham, Peter. editor. Zhang, Mengjie. editor. Bui, Lam Thu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13563-2
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Digital Libraries -- TPDL 2013 Selected Workshops LCPD 2013, SUEDL 2013, DataCur 2013, Held in Valletta, Malta, September 22-26, 2013. Revised Selected Papers

2024-11-13T06:32:56Z

Author Bolikowski, Łukasz. editor. Casarosa, Vittore. editor. Goodale, Paula. editor. Houssos, Nikos. editor. Manghi, Paolo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08425-1
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

2024-11-13T06:32:56Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45234-9
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

2024-11-13T06:32:56Z

Author McMillan, Kenneth. editor. Rival, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54013-4
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

2024-11-13T06:32:56Z

Author Dediu, Adrian-Horia. editor. Lozano, Manuel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13749-0
Format: Electronic Resources
Availability Online Library~1

Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers

2024-11-13T06:32:56Z

Author Siarry, Patrick. editor. Idoumghar, Lhassane. editor. Lepagnot, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12970-9
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2024-11-13T06:32:56Z

Author Nicolau, Miguel. editor. Krawiec, Krzysztof. editor. Heywood, Malcolm I. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44303-3
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

2024-11-13T06:32:56Z

Author Ibarra, Oscar H. editor. Kari, Lila. editor. Kopecki, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08123-6
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers

2024-11-13T06:32:56Z

Author Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X Resende, Mauricio G.C. editor. Vogiatzis, Chrysafis. editor. Walteros, Jose L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09584-4
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers

2024-11-13T06:32:56Z

Author Alhazov, Artiom. editor. Cojocaru, Svetlana. editor. Gheorghe, Marian. editor. Rogozhin, Yurii. editor. Rozenberg, Grzegorz. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54239-8
Format: Electronic Resources
Availability Online Library~1

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

2024-11-13T06:32:56Z

Author Boniol, Frederic. editor. Wiels, Virginie. editor. Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07512-9
Format: Electronic Resources
Availability Online Library~1

Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers

2024-11-13T06:32:56Z

Author Li, Kenli. editor. Xiao, Zheng. editor. Wang, Yan. editor. Du, Jiayi. editor. Li, Keqin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-53962-6
Format: Electronic Resources
Availability Online Library~1

Process Design for Natural Scientists An Agile Model-Driven Approach

2024-11-13T06:32:56Z

Author Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45006-2
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings

2024-11-13T06:32:56Z

Author Aguilera, Marcos K. editor. Querzoni, Leonardo. editor. Shapiro, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14472-6
Format: Electronic Resources
Availability Online Library~1

Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

2024-11-13T06:32:56Z

Author Anderson, Neal G. editor. Bhanja, Sanjukta. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43722-3
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

2024-11-13T06:32:56Z

Author Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09698-8
Format: Electronic Resources
Availability Online Library~1

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

2024-11-13T06:32:56Z

Author Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54848-2
Format: Electronic Resources
Availability Online Library~1

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

2024-11-13T06:32:56Z

Author Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43652-3
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2024-11-13T06:32:56Z

Author Esparcia-Alcázar, Anna I. editor. Mora, Antonio M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45523-4
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

2024-11-13T06:32:56Z

Author Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43951-7
Format: Electronic Resources
Availability Online Library~1

Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers

2024-11-13T06:32:56Z

Author Bacon, Dave. editor. Martin-Delgado, Miguel. editor. Roetteler, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54429-3
Format: Electronic Resources
Availability Online Library~1

Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers

2024-11-13T06:32:56Z

Author Atmanspacher, Harald. editor. Haven, Emmanuel. editor. Kitto, Kirsty. editor. Raine, Derek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54943-4
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers

2024-11-13T06:32:56Z

Author Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sosík, Petr. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14370-5
Format: Electronic Resources
Availability Online Library~1

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

2024-11-13T06:32:56Z

Author Calude, Cristian S. editor. Freivalds, Rūsiņš. editor. Kazuo, Iwama. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13350-8
Format: Electronic Resources
Availability Online Library~1

Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday

2024-11-13T06:32:56Z

Author Casadio, Claudia. editor. Coecke, Bob. editor. Moortgat, Michael. editor. Scott, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54789-8
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

2024-11-13T06:32:56Z

Author Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11439-2
Format: Electronic Resources
Availability Online Library~1

AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings

2024-11-13T06:32:56Z

Author Tanaka, Satoshi. editor. Hasegawa, Kyoko. editor. Xu, Rui. editor. Sakamoto, Naohisa. editor. Turner, Stephen John. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45289-9
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings

2024-11-13T06:32:56Z

Author Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06089-7
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature -- PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings

2024-11-13T06:32:56Z

Author Bartz-Beielstein, Thomas. editor. Branke, Juergen. editor. Filipič, Bogdan. editor. (orcid)0000-0003-4428-4255 Smith, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10762-2
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning -- ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings

2024-11-13T06:32:56Z

Author Wermter, Stefan. editor. Weber, Cornelius. editor. Duch, Wlodzislaw. editor. Honkela, Timo. editor. Koprinkova-Hristova, Petia. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11179-7
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings

2024-11-13T06:32:56Z

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

Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings

2024-11-13T06:32:56Z

Author Was, Jaroslaw. editor. Sirakoulis, Georgios. editor. Bandini, Stefania. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11520-7
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings

2024-11-13T06:32:56Z

Author Kravets, Alla. editor. (orcid)0000-0003-1675-8652 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X Iijima, Tadashi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11854-3
Format: Electronic Resources
Availability Online Library~1

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

2024-11-13T06:32:56Z

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

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

2024-11-13T06:32:56Z

Author Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43948-7
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

2024-11-13T06:32:56Z

Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05416-2
Format: Electronic Resources
Availability Online Library~1

HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part I

2024-11-13T06:32:56Z

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

HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part II

2024-11-13T06:32:56Z

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

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

2024-11-13T06:32:56Z

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

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

2024-11-13T06:32:56Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45231-8
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

2024-11-13T06:32:56Z

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

Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings

2024-11-13T06:32:56Z

Author Shi, Xiaodong. editor. Chen, Yidong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45701-6
Format: Electronic Resources
Availability Online Library~1

Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers

2024-11-13T06:32:56Z

Author Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. Iida, Hiroyuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05428-5
Format: Electronic Resources
Availability Online Library~1

Computer Games Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers

2024-11-13T06:32:56Z

Author Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Björnsson, Yngvi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14923-3
Format: Electronic Resources
Availability Online Library~1

WEIZAC: An Israeli Pioneering Adventure in Electronic Computing (1945–1963)

2024-11-13T06:32:56Z

Author Corry, Leo. author. Leviathan, Raya. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25734-7
Format: Electronic Resources
Availability Online Library~1

Uncertainty Modeling for Data Mining A Label Semantics Approach

2024-11-13T06:32:56Z

Author Qin, Zengchang. author. Tang, Yongchuan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-41251-6
Format: Electronic Resources
Availability Online Library~1

Digital Services and Platforms. Considerations for Sourcing 12th Global Sourcing Workshop 2018, La Thuile, Italy, February 21–24, 2018, Revised Selected Papers

2024-11-13T06:32:56Z

Author Kotlarsky, Julia. editor. (orcid)0000-0002-1478-549X Oshri, Ilan. editor. (orcid)0000-0001-6577-1795 Willcocks, Leslie. editor. (orcid)0000-0003-2572-9554 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15850-7
Format: Electronic Resources
Availability Online Library~1

Business and Consumer Analytics: New Ideas

2024-11-13T06:32:56Z

Author Moscato, Pablo. editor. de Vries, Natalie Jane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-06222-4
Format: Electronic Resources
Availability Online Library~1

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II

2024-11-13T06:32:56Z

Author Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17935-9
Format: Electronic Resources
Availability Online Library~1

HCI for Cybersecurity, Privacy and Trust First International Conference, HCI-CPT 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings

2024-11-13T06:32:56Z

Author Moallem, Abbas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22351-9
Format: Electronic Resources
Availability Online Library~1

Broadband Communications, Networks, and Systems 9th International EAI Conference, Broadnets 2018, Faro, Portugal, September 19–20, 2018, Proceedings

2024-11-13T06:32:56Z

Author Sucasas, Victor. editor. (orcid)0000-0002-7981-401X Mantas, Georgios. editor. (orcid)0000-0002-8074-0417 Althunibat, Saud. editor. (orcid)0000-0002-5017-5007 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05195-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26–28, 2019, Proceedings, Part IV

2024-11-13T06:32:56Z

Author Sun, Xingming. editor. (orcid)0000-0003-1390-399X Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X Bertino, Elisa. editor. (orcid)0000-0002-4029-7051 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24268-8
Format: Electronic Resources
Availability Online Library~1

Electronic Voting 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings

2024-11-13T06:32:56Z

Author Krimmer, Robert. editor. (orcid)0000-0002-0873-539X Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043 Cortier, Veronique. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Küsters, Ralf. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30625-0
Format: Electronic Resources
Availability Online Library~1

Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers

2024-11-13T06:32:56Z

Author Albanese, Massimiliano. editor. (orcid)0000-0002-2675-5810 Horne, Ross. editor. (orcid)0000-0003-0162-1901 Probst, Christian W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36537-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XXXIII

2024-11-13T06:32:56Z

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

Theory of Cryptography 17th International Conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019, Proceedings, Part II

2024-11-13T06:32:56Z

Author Hofheinz, Dennis. editor. Rosen, Alon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36033-7
Format: Electronic Resources
Availability Online Library~1

Decision-making Analysis and Optimization Modeling of Emergency Warnings for Major Accidents

2024-11-13T06:32:56Z

Author Gai, Wenmei. author. Du, Yan. author. Deng, Yunfeng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2871-8
Format: Electronic Resources
Availability Online Library~1

Historical Studies in Computing, Information, and Society Insights from the Flatiron Lectures

2024-11-13T06:32:56Z

Author Aspray, William. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18955-6
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I

2024-11-13T06:32:56Z

Author Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26948-7
Format: Electronic Resources
Availability Online Library~1

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I

2024-11-13T06:32:56Z

Author Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17938-0
Format: Electronic Resources
Availability Online Library~1

Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings

2024-11-13T06:32:56Z

Author Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261 Gee, James C. editor. (orcid)0000-0002-2258-0187 Yushkevich, Paul A. editor. (orcid)0000-0001-8543-4016 Bao, Siqi. editor. (orcid)0000-0003-3885-125X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20351-1
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology 14th International Conference, Inscrypt 2018, Fuzhou, China, December 14-17, 2018, Revised Selected Papers

2024-11-13T06:32:56Z

Author Guo, Fuchun. editor. (orcid)0000-0001-6939-7710 Huang, Xinyi. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14234-6
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 17th International Conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019, Proceedings, Part I

2024-11-13T06:32:56Z

Author Hofheinz, Dennis. editor. Rosen, Alon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36030-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency XIV

2024-11-13T06:32:56Z

Author Koutny, Maciej. editor. Pomello, Lucia. editor. Kristensen, Lars Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-60651-3
Format: Electronic Resources
Availability Online Library~1

Neural Modeling of Speech Processing and Speech Learning An Introduction

2024-11-13T06:32:56Z

Author Kröger, Bernd J. author. Bekolay, Trevor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15853-8
Format: Electronic Resources
Availability Online Library~1

Arto Salomaa: Mathematician, Computer Scientist, and Teacher A Thematic Biography

2024-11-13T06:32:56Z

Author Paakki, Jukka. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16049-4
Format: Electronic Resources
Availability Online Library~1

Big Scientific Data Management First International Conference, BigSDM 2018, Beijing, China, November 30 – December 1, 2018, Revised Selected Papers

2024-11-13T06:32:56Z

Author Li, Jianhui. editor. Meng, Xiaofeng. editor. Zhang, Ying. editor. Cui, Wenjuan. editor. Du, Zhihui. editor. (orcid)0000-0002-8435-1611
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28061-1
Format: Electronic Resources
Availability Online Library~1

Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings

2024-11-13T06:32:56Z

Author Steinfeld, Ron. editor. (orcid)0000-0003-1745-4183 Yuen, Tsz Hon. editor. (orcid)0000-0002-0629-6792 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31919-9
Format: Electronic Resources
Availability Online Library~1

Post-Quantum Cryptography 10th International Conference, PQCrypto 2019, Chongqing, China, May 8–10, 2019 Revised Selected Papers

2024-11-13T06:32:56Z

Author Ding, Jintai. editor. Steinwandt, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25510-7
Format: Electronic Resources
Availability Online Library~1

Digital Libraries at the Crossroads of Digital Information for the Future 21st International Conference on Asia-Pacific Digital Libraries, ICADL 2019, Kuala Lumpur, Malaysia, November 4–7, 2019, Proceedings

2024-11-13T06:32:56Z

Author Jatowt, Adam. editor. (orcid)0000-0001-7235-0665 Maeda, Akira. editor. (orcid)0000-0002-5494-132X Syn, Sue Yeon. editor. (orcid)0000-0002-3632-5160 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34058-2
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II

2024-11-13T06:32:56Z

Author Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26951-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part I

2024-11-13T06:32:56Z

Author Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34578-5
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 16th International Conference, ICIAR 2019, Waterloo, ON, Canada, August 27–29, 2019, Proceedings, Part I

2024-11-13T06:32:56Z

Author Karray, Fakhri. editor. (orcid)0000-0002-4217-1372 Campilho, Aurélio. editor. (orcid)0000-0002-5317-6275 Yu, Alfred. editor. (orcid)0000-0002-8604-0219 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27202-9
Format: Electronic Resources
Availability Online Library~1

Experimental IR Meets Multilinguality, Multimodality, and Interaction 10th International Conference of the CLEF Association, CLEF 2019, Lugano, Switzerland, September 9–12, 2019, Proceedings

2024-11-13T06:32:56Z

Author Crestani, Fabio. editor. (orcid)0000-0001-8672-0700 Braschler, Martin. editor. Savoy, Jacques. editor. (orcid)0000-0002-4486-0067 Rauber, Andreas. editor. Müller, Henning. editor. (orcid)0000-0001-6800-9878
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28577-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III

2024-11-13T06:32:56Z

Author Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26954-8
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part III

2024-11-13T06:32:56Z

Author Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34618-8
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 19th IFIP WG 6.1 International Conference, DAIS 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2024-11-13T06:32:56Z

Author Pereira, José. editor. (orcid)0000-0002-3341-9217 Ricci, Laura. editor. (orcid)0000-0002-8179-8215 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22496-7
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers

2024-11-13T06:32:56Z

Author Goldberg, Ian. editor. Moore, Tyler. editor. (orcid)0000-0002-8771-8191 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32101-7
Format: Electronic Resources
Availability Online Library~1

Trust and Trustworthy Computing 7th International Conference, TRUST 2014, Heraklion, Crete, Greece, June 30 -- July 2, 2014, Proceedings

2024-11-13T06:32:56Z

Author Holz, Thorsten. editor. (orcid)0000-0002-2783-1264 Ioannidis, Sotiris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08593-7
Format: Electronic Resources
Availability Online Library~1

Pairing-Based Cryptography -- Pairing 2013 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers

2024-11-13T06:32:56Z

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

Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI Selected Papers from ACOMP 2013

2024-11-13T06:32:56Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589 Thoai, Nam. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45947-8
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings

2024-11-13T06:32:56Z

Author Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04897-0
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology – AFRICACRYPT 2014 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings

2024-11-13T06:32:56Z

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

Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions

2024-11-13T06:32:56Z

Author Kerren, Andreas. editor. Purchase, Helen. editor. Ward, Matthew O. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06793-3
Format: Electronic Resources
Availability Online Library~1

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 13th China National Conference, CCL 2014, and First International Symposium, NLP-NABD 2014, Wuhan, China, October 18-19, 2014. Proceedings

2024-11-13T06:32:56Z

Author Sun, Maosong. editor. Liu, Yang. editor. Zhao, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12277-9
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

2024-11-13T06:32:56Z

Author Mendes, Pedro. editor. Dada, Joseph O. editor. Smallbone, Kieran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12982-2
Format: Electronic Resources
Availability Online Library~1

Handbook of Document Image Processing and Recognition

2024-11-13T06:32:56Z

Author Doermann, David. editor. Tombre, Karl. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-0-85729-859-1
Format: Electronic Resources
Availability Online Library~1

Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings

2024-11-13T06:32:56Z

Author Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55128-4
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings

2024-11-13T06:32:56Z

Author Boureanu, Ioana. editor. Owesarski, Philippe. editor. Vaudenay, Serge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07536-5
Format: Electronic Resources
Availability Online Library~1

Human Aspects of Information Security, Privacy, and Trust Second International Conference, HAS 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings

2024-11-13T06:32:56Z

Author Tryfonas, Theo. editor. Askoxylakis, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07620-1
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

2024-11-13T06:32:56Z

Author Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08494-7
Format: Electronic Resources
Availability Online Library~1

Abdominal Imaging. Computational and Clinical Applications 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014.

2024-11-13T06:32:56Z

Author Yoshida, Hiroyuki. editor. Näppi, Janne J. editor. Saini, Sanjay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13692-9
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II

2024-11-13T06:32:56Z

Author Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45608-8
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 11th International Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014, Proceedings

2024-11-13T06:32:56Z

Author Lindell, Yehuda. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54242-8
Format: Electronic Resources
Availability Online Library~1

Regulated Grammars and Automata

2024-11-13T06:32:56Z

Author Meduna, Alexander. author. Zemek, Petr. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-0369-6
Format: Electronic Resources
Availability Online Library~1

Symmetric Cryptographic Protocols

2024-11-13T06:32:56Z

Author Ramkumar, Mahalingam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07584-6
Format: Electronic Resources
Availability Online Library~1

Reflections on the History of Computers in Education Early Use of Computers and Teaching about Computing in Schools

2024-11-13T06:32:56Z

Author Tatnall, Arthur. editor. Davey, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55119-2
Format: Electronic Resources
Availability Online Library~1

Digital Communication Communication, Multimedia, Security

2024-11-13T06:32:56Z

Author Meinel, Christoph. author. Sack, Harald. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54331-9
Format: Electronic Resources
Availability Online Library~1

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

2024-11-13T06:32:56Z

Author Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06410-9
Format: Electronic Resources
Availability Online Library~1

Code Breaking in the Pacific

2024-11-13T06:32:56Z

Author Donovan, Peter. author. Mack, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08278-3
Format: Electronic Resources
Availability Online Library~1

Authentication in Insecure Environments Using Visual Cryptography and Non-Transferable Credentials in Practise

2024-11-13T06:32:56Z

Author Pape, Sebastian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-07116-5
Format: Electronic Resources
Availability Online Library~1

Digital Forensics and Cyber Crime Fifth International Conference, ICDF2C 2013, Moscow, Russia, September 26-27, 2013, Revised Selected Papers

2024-11-13T06:32:56Z

Author Gladyshev, Pavel. editor. Marrington, Andrew. editor. Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14289-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Security Analysis and Design VII FOSAD 2012 / 2013 Tutorial Lectures

2024-11-13T06:32:56Z

Author Aldini, Alessandro. editor. Lopez, Javier. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10082-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I

2024-11-13T06:32:56Z

Author Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45611-8
Format: Electronic Resources
Availability Online Library~1

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

2024-11-13T06:32:56Z

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

Computer methods. Part C

2024-11-13T06:32:56Z

Author Johnson, Michael L., 1947- Brand, Ludwig.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/publication?issn=00766879&volume=487 ScienceDirect http://www.sciencedirect.com/science/book/9780123812704
Format: Electronic Resources
Availability Online Library~1

Text entry systems mobility, accessibility, universality

2024-11-13T06:32:56Z

Author MacKenzie, I. Scott, 1951- Tanaka-Ishii, Kumiko.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123735911
Format: Electronic Resources
Availability Online Library~1

Text entry systems mobility, accessibility, universality

2024-11-13T06:32:56Z

Author MacKenzie, I. Scott, 1951- Tanaka-Ishii, Kumiko. ScienceDirect (Online service)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources
Availability Online Library~1

Computer concepts : illustrated

2024-11-13T06:32:56Z

Author Parsons, June Jamrich. Oja, Dan.
Preferred Shelf Number QA76 .P3557 2007
Format: Books
Availability Beytepe Library~2

The laboratory computer a practical guide for physiologists and neuroscientists

2024-11-13T06:32:56Z

Author Dempster, John, 1956- Dempster, John, 1956- Computer analysis of electrophysiological signals.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780122095511
Format: Electronic Resources
Availability Online Library~1

Non-standard computation molecular computation, cellular automata, evolutionary algorithms, quantum computers

2024-11-13T06:32:56Z

Author Gramss, Tino. John Wiley & Sons, Inc.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/3527602968 John Wiley http://dx.doi.org/10.1002/9783527602964 HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/39755900.html
Format: Electronic Resources
Availability Online Library~1

Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy

2024-11-13T06:32:56Z

Author McCarthy, John, 1927-2011. Lifschitz, Vladimir.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124500105
Format: Electronic Resources
Availability Online Library~1

Computer-based medical consultations, MYCIN

2024-11-13T06:32:56Z

Author Shortliffe, Edward Hance.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444001795
Format: Electronic Resources
Availability Online Library~1

Computer programming in quantitative biology

2024-11-13T06:32:56Z

Author Davies, R. G. (Richard Gareth), 1920-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780122062506
Format: Electronic Resources
Availability Online Library~1