Search Results for Computer - Narrowed by: 2017

Mathematics for Computer Graphics

2026-04-20T17:51:00Z

Author Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-7336-6
Format: Electronic Resources
Availability Online Library~1

Fundamentals of computer vision

2026-04-20T17:51:00Z

Author Snyder, Wesley E., author. Qi, Hairong, 1970- author.
Preferred Shelf Number TA1632 .S69 2017
Electronic Access https://doi.org/10.1017/9781316882641
Format: Electronic Resources
Availability Online Library~1

Computer Supported Qualitative Research

2026-04-20T17:51:00Z

Author Costa, António Pedro. editor. (orcid)0000-0002-4644-5879 Reis, Luís Paulo. editor. Neri de Sousa, Francislê. editor. Moreira, António. editor. Lamas, David. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43271-7
Format: Electronic Resources
Availability Online Library~1

Introduction to Computer Networking

2026-04-20T17:51:00Z

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

Guide to Computer Network Security

2026-04-20T17:51:00Z

Author Kizza, Joseph Migga. author. (orcid)0009-0001-1564-4277 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55606-2
Format: Electronic Resources
Availability Online Library~1

Domain Adaptation in Computer Vision Applications

2026-04-20T17:51:00Z

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

The art of computer programming

2026-04-20T17:51:00Z

Author Knuth, Donald E.
Preferred Shelf Number QA 76.5 K57 1968- V.1
Format: Books
Availability Beytepe Library~7

Oscillator design and computer simulation

2026-04-20T17:51:00Z

Author Rhea, Randall W.
Preferred Shelf Number TK 7872.O7 R54 1995
Format: Books
Availability Beytepe Library~1

Principles of digital computer design

2026-04-20T17:51:00Z

Author Abd-Alla, Abd-Elfattah M. Meltzer, Arnold C., ort. yaz.
Preferred Shelf Number TK 7888.3 A26 1976-
Format: Books
Availability Beytepe Library~1

Programming principles in computer graphics

2026-04-20T17:51:00Z

Author Ammeraal, Leendert.
Preferred Shelf Number QA 76.6 A466 1986
Format: Books
Availability Beytepe Library~1

Research methods in human-computer interaction

2026-04-20T17:51:00Z

Author Lazar, Jonathan, author Feng, Jinjuan Heidi, author Hochheiser, Harry, author
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128053904
Format: Electronic Resources
Availability Online Library~1

Computer and information security handbook

2026-04-20T17:51:00Z

Author Vacca, John R., editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780128038437
Format: Electronic Resources
Availability Online Library~1

Image-Based Computer-Assisted Radiation Therapy

2026-04-20T17:51:00Z

Author Arimura, Hidetaka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2945-5
Format: Electronic Resources
Availability Online Library~1

Computer Graphics for Java Programmers

2026-04-20T17:51:00Z

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

Fundamentals of Computer Architecture and Design

2026-04-20T17:51:00Z

Author Bindal, Ahmet. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25811-9
Format: Electronic Resources
Availability Online Library~1

Algorithms and networking for computer games

2026-04-20T17:51:00Z

Author Smed, Jouni, author. Hakonen, Harri, author.
Preferred Shelf Number QA76.76 .C672
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119259770
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Computer Vision

2026-04-20T17:51:00Z

Author Lu, Huimin. editor. (orcid)0000-0001-9794-3221 Li, Yujie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46245-5
Format: Electronic Resources
Availability Online Library~1

Computer-Supported Collaborative Decision-Making

2026-04-20T17:51:00Z

Author Filip, Florin Gheorghe. author. Zamfirescu, Constantin-Bălă. author. Ciurea, Cristian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47221-8
Format: Electronic Resources
Availability Online Library~1

Dictionary of Computer Science, Engineering and Technology

2026-04-20T17:51:00Z

Author Laplante, Philip A., editor., author.
Preferred Shelf Number QA76.15 L375 2017
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Computer Music Instruments Foundations, Design and Development

2026-04-20T17:51:00Z

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

The Handbook of Formal Methods in Human-Computer Interaction

2026-04-20T17:51:00Z

Author Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X Bowen, Judy. editor. Dix, Alan. editor. Palanque, Philippe. editor. (orcid)0000-0002-5381-971X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51838-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-20T17:51:00Z

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

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

2026-04-20T17:51:00Z

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

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

2026-04-20T17:51:00Z

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

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

2026-04-20T17:51:00Z

Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66320-3
Format: Electronic Resources
Availability Online Library~1

Computer-Aided Architectural Design. Future Trajectories 17th International Conference, CAAD Futures 2017, Istanbul, Turkey, July 12-14, 2017, Selected Papers

2026-04-20T17:51:00Z

Author Çağdaş, Gülen. editor. Özkar, Mine. editor. Gül, Leman Figen. editor. Gürer, Ethem. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5197-5
Format: Electronic Resources
Availability Online Library~1

Brain-Computer Interface Research A State-of-the-Art Summary 5

2026-04-20T17:51:00Z

Author Guger, Christoph. editor. Allison, Brendan. editor. Ushiba, Junichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57132-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-20T17:51:00Z

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

ICT Education 46th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2017, Magaliesburg, South Africa, July 3-5, 2017, Revised Selected Papers

2026-04-20T17:51:00Z

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

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

2026-04-20T17:51:00Z

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

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

2026-04-20T17:51:00Z

Author Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68953-1
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings

2026-04-20T17:51:00Z

Author Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6893-5
Format: Electronic Resources
Availability Online Library~1

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

2026-04-20T17:51:00Z

Author Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51653-0
Format: Electronic Resources
Availability Online Library~1

Toward Brain-Computer Interaction in Paralysis A New Approach Based on Visual Evoked Potentials and Depth-of-Field

2026-04-20T17:51:00Z

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

Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings

2026-04-20T17:51:00Z

Author Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66836-9
Format: Electronic Resources
Availability Online Library~1

Data Science Third International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2017, Changsha, China, September 22-24, 2017, Proceedings, Part I

2026-04-20T17:51:00Z

Author Zou, Beiji. editor. Li, Min. editor. Wang, Hongzhi. editor. Song, Xianhua. editor. (orcid)0000-0002-0111-8559 Xie, Wei. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6385-5
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

2026-04-20T17:51:00Z

Author Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51963-0
Format: Electronic Resources
Availability Online Library~1

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

2026-04-20T17:51:00Z

Author Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72453-9
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers

2026-04-20T17:51:00Z

Author Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71649-7
Format: Electronic Resources
Availability Online Library~1

Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Cazenave, Tristan. editor. Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57969-6
Format: Electronic Resources
Availability Online Library~1

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

2026-04-20T17:51:00Z

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

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

2026-04-20T17:51:00Z

Author Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66176-6
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science and Discrete Mathematics First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Arumugam, S. editor. Bagga, Jay. editor. Beineke, Lowell W. editor. Panda, B.S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64419-6
Format: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

2026-04-20T17:51:00Z

Author Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57418-9
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers

2026-04-20T17:51:00Z

Author Bodlaender, Hans L. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68705-6
Format: Electronic Resources
Availability Online Library~1

Computer Vision, Imaging and Computer Graphics Theory and Applications 11th International Joint Conference, VISIGRAPP 2016, Rome, Italy, February 27 - 29, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Braz, José. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Richard, Paul. editor. Linsen, Lars. editor. Telea, Alexandru. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64870-5
Format: Electronic Resources
Availability Online Library~1

Computer Vision Systems 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers

2026-04-20T17:51:00Z

Author Liu, Ming. editor. Chen, Haoyao. editor. Vincze, Markus. editor. (orcid)0000-0002-2799-491X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68345-4
Format: Electronic Resources
Availability Online Library~1

Computer Network Security 7th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2017, Warsaw, Poland, August 28-30, 2017, Proceedings

2026-04-20T17:51:00Z

Author Rak, Jacek. editor. Bay, John. editor. Kotenko, Igor. editor. (orcid)0000-0001-6859-7120 Popyack, Leonard. editor. Skormin, Victor. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65127-9
Format: Electronic Resources
Availability Online Library~1

Computer Networks 24th International Conference, CN 2017, Lądek Zdrój, Poland, June 20-23, 2017, Proceedings

2026-04-20T17:51:00Z

Author Gaj, Piotr. editor. Kwiecień, Andrzej. editor. Sawicki, Michał. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59767-6
Format: Electronic Resources
Availability Online Library~1

Brain-Computer Interface Research A State-of-the-Art Summary 6

2026-04-20T17:51:00Z

Author Guger, Christoph. editor. Allison, Brendan. editor. Lebedev, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64373-1
Format: Electronic Resources
Availability Online Library~1

Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings

2026-04-20T17:51:00Z

Author Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 López-Santana, Eduyn Ramiro. editor. Villa-Ramírez, José Luis. editor. Ferro-Escobar, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66963-2
Format: Electronic Resources
Availability Online Library~1

Data Science Third International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2017, Changsha, China, September 22-24, 2017, Proceedings, Part II

2026-04-20T17:51:00Z

Author Zou, Beiji. editor. Han, Qilong. editor. Sun, Guanglu. editor. (orcid)0000-0003-2589-1164 Jing, Weipeng. editor. Peng, Xiaoning. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6388-6
Format: Electronic Resources
Availability Online Library~1

Biostatistics and computer-based analysis of health data using SAS

2026-04-20T17:51:00Z

Author Lalanne, Christophe, author. Mesbah, Mounir, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781785481116
Format: Electronic Resources
Availability Online Library~1

27th European Symposium on Computer Aided Process Engineering

2026-04-20T17:51:00Z

Author Espuña, Antonio, editor. Graelles, Moisès, editor. Puigjaner, Luis, editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/bookseries/15707946/40
Format: Electronic Resources
Availability Online Library~1

Computer-Assisted and Robotic Endoscopy Third International Workshop, CARE 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Peters, Terry. editor. (orcid)0000-0003-1440-7488 Yang, Guang-Zhong. editor. Navab, Nassir. editor. Mori, Kensaku. editor. Luo, Xiongbiao. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54057-3
Format: Electronic Resources
Availability Online Library~1

Computer Vision - ACCV 2016 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part III

2026-04-20T17:51:00Z

Author Lai, Shang-Hong. editor. Lepetit, Vincent. editor. Nishino, Ko. editor. Sato, Yoichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54187-7
Format: Electronic Resources
Availability Online Library~1

Computer Vision - ACCV 2016 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part II

2026-04-20T17:51:00Z

Author Lai, Shang-Hong. editor. Lepetit, Vincent. editor. Nishino, Ko. editor. Sato, Yoichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54184-6
Format: Electronic Resources
Availability Online Library~1

Computer Vision - ACCV 2016 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part IV

2026-04-20T17:51:00Z

Author Lai, Shang-Hong. editor. Lepetit, Vincent. editor. Nishino, Ko. editor. Sato, Yoichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54190-7
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II

2026-04-20T17:51:00Z

Author Descoteaux, Maxime. editor. Maier-Hein, Lena. editor. Franz, Alfred. editor. Jannin, Pierre. editor. Collins, D. Louis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66185-8
Format: Electronic Resources
Availability Online Library~1

Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Müller, Henning. editor. Kelm, B. Michael. editor. Arbel, Tal. editor. Cai, Weidong. editor. (orcid)0000-0003-3706-8896 Cardoso, M. Jorge. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61188-4
Format: Electronic Resources
Availability Online Library~1

Next Generation Computer Animation Techniques Third International Workshop, AniNex 2017, Bournemouth, UK, June 22-23, 2017, Revised Selected Papers

2026-04-20T17:51:00Z

Author Chang, Jian. editor. Zhang, Jian Jun. editor. Magnenat Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Hu, Shi-Min. editor. Tong, Ruofeng. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69487-0
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part I

2026-04-20T17:51:00Z

Author Descoteaux, Maxime. editor. Maier-Hein, Lena. editor. Franz, Alfred. editor. Jannin, Pierre. editor. Collins, D. Louis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66182-7
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III

2026-04-20T17:51:00Z

Author Descoteaux, Maxime. editor. Maier-Hein, Lena. editor. Franz, Alfred. editor. Jannin, Pierre. editor. Collins, D. Louis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66179-7
Format: Electronic Resources
Availability Online Library~1

Computer Analysis of Images and Patterns 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I

2026-04-20T17:51:00Z

Author Felsberg, Michael. editor. (orcid)0000-0002-6096-3648 Heyden, Anders. editor. Krüger, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64689-3
Format: Electronic Resources
Availability Online Library~1

Augmented Reality, Virtual Reality, and Computer Graphics 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part I

2026-04-20T17:51:00Z

Author De Paolis, Lucio Tommaso. editor. Bourdot, Patrick. editor. Mongelli, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60922-5
Format: Electronic Resources
Availability Online Library~1

Computer Vision - ACCV 2016 Workshops ACCV 2016 International Workshops, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part I

2026-04-20T17:51:00Z

Author Chen, Chu-Song. editor. Lu, Jiwen. editor. Ma, Kai-Kuang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54407-6
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 21st Iberoamerican Congress, CIARP 2016, Lima, Peru, November 8-11, 2016, Proceedings

2026-04-20T17:51:00Z

Author Beltrán-Castañón, César. editor. Nyström, Ingela. editor. Famili, Fazel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52277-7
Format: Electronic Resources
Availability Online Library~1

Computer Analysis of Images and Patterns 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II

2026-04-20T17:51:00Z

Author Felsberg, Michael. editor. (orcid)0000-0002-6096-3648 Heyden, Anders. editor. Krüger, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64698-5
Format: Electronic Resources
Availability Online Library~1

Computer Vision - ACCV 2016 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part I

2026-04-20T17:51:00Z

Author Lai, Shang-Hong. editor. Lepetit, Vincent. editor. Nishino, Ko. editor. Sato, Yoichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54181-5
Format: Electronic Resources
Availability Online Library~1

Computer Assisted and Robotic Endoscopy and Clinical Image-Based Procedures 4th International Workshop, CARE 2017, and 6th International Workshop, CLIP 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, 2017, Proceedings

2026-04-20T17:51:00Z

Author Cardoso, M. Jorge. editor. Arbel, Tal. editor. Luo, Xiongbiao. editor. Wesarg, Stefan. editor. (orcid)0000-0002-2073-6010 Reichl, Tobias. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67543-5
Format: Electronic Resources
Availability Online Library~1

Scale Space and Variational Methods in Computer Vision 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings

2026-04-20T17:51:00Z

Author Lauze, François. editor. Dong, Yiqiu. editor. Dahl, Anders Bjorholm. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58771-4
Format: Electronic Resources
Availability Online Library~1

Computer Vision - ACCV 2016 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part V

2026-04-20T17:51:00Z

Author Lai, Shang-Hong. editor. Lepetit, Vincent. editor. Nishino, Ko. editor. Sato, Yoichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54193-8
Format: Electronic Resources
Availability Online Library~1

Augmented Reality, Virtual Reality, and Computer Graphics 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part II

2026-04-20T17:51:00Z

Author De Paolis, Lucio Tommaso. editor. Bourdot, Patrick. editor. Mongelli, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60928-7
Format: Electronic Resources
Availability Online Library~1

Discrete Geometry for Computer Imagery 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 - 21, 2017, Proceedings

2026-04-20T17:51:00Z

Author Kropatsch, Walter G. editor. Artner, Nicole M. editor. Janusch, Ines. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66272-5
Format: Electronic Resources
Availability Online Library~1

Computer Vision - ACCV 2016 Workshops ACCV 2016 International Workshops, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part II

2026-04-20T17:51:00Z

Author Chen, Chu-Song. editor. Lu, Jiwen. editor. Ma, Kai-Kuang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54427-4
Format: Electronic Resources
Availability Online Library~1

Computer Vision, Graphics, and Image Processing ICVGIP 2016 Satellite Workshops, WCVA, DAR, and MedImage, Guwahati, India, December 19, 2016 Revised Selected Papers

2026-04-20T17:51:00Z

Author Mukherjee, Snehasis. editor. Mukherjee, Suvadip. editor. Mukherjee, Dipti Prasad. editor. Sivaswamy, Jayanthi. editor. Awate, Suyash. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68124-5
Format: Electronic Resources
Availability Online Library~1

Intravascular Imaging and Computer Assisted Stenting, and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis 6th Joint International Workshops, CVII-STENT 2017 and Second International Workshop, LABELS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10-14, 2017, Proceedings

2026-04-20T17:51:00Z

Author Cardoso, M. Jorge. editor. Arbel, Tal. editor. Lee, Su-Lin. editor. Cheplygina, Veronika. editor. (orcid)0000-0003-0176-9324 Balocco, Simone. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67534-3
Format: Electronic Resources
Availability Online Library~1

Computer Vision - ACCV 2016 Workshops ACCV 2016 International Workshops, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part III

2026-04-20T17:51:00Z

Author Chen, Chu-Song. editor. Lu, Jiwen. editor. Ma, Kai-Kuang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54526-4
Format: Electronic Resources
Availability Online Library~1

Computer aided design, engineering, and manufacturing : systems techniques and applications

2026-04-20T17:51:00Z

Author Leondes, Cornelius T.
Preferred Shelf Number TS155.6 .C6455 2001
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780367802370 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Handbook of electron spin resonance : data sources, computer technology, relaxation, and ENDOR

2026-04-20T17:51:00Z

Author Poole, Charles P. Farach, Horacio A.
Preferred Shelf Number QC 762 H32 1994
Format: Books
Availability Beytepe Library~1

Sequrity for computer networks : an introduction to data security in teleprocessing and electronic funds transfer

2026-04-20T17:51:00Z

Author Davies, Donald Watts, 1924- Price, W. L., ort.yaz.
Preferred Shelf Number TK 5105 D43 1989
Format: Books
Availability Beytepe Library~1

COMPUTER SECURITY LITERACY : staying safe in a digital world.

2026-04-20T17:51:00Z

Author JACOBSON, DOUGLAS.
Preferred Shelf Number QA76.9 .A25
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429108129 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computer vision and imaging in intelligent transportation systems

2026-04-20T17:51:00Z

Author Loce, Robert P., editor. Bala, Raja, editor. Trivedi, Mohan M., editor.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

The basics of cyber safety : computer and mobile device safety made easy

2026-04-20T17:51:00Z

Author Sammons, John, author. Cross, Michael, 1965- author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124166509
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Conference on Computer Vision and Image Processing CVIP 2016, Volume 1

2026-04-20T17:51:00Z

Author Raman, Balasubramanian. editor. Kumar, Sanjeev. editor. Roy, Partha Pratim. editor. Sen, Debashis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2104-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 13th International Scientific Conference Computer Aided Engineering

2026-04-20T17:51:00Z

Author Rusiński, Eugeniusz. editor. Pietrusiak, Damian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50938-9
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Systems and Computing Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2016, September 6-10 Lviv, Ukraine

2026-04-20T17:51:00Z

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

Advances in Information and Computer Security 12th International Workshop on Security, IWSEC 2017, Hiroshima, Japan, August 30 - September 1, 2017, Proceedings

2026-04-20T17:51:00Z

Author Obana, Satoshi. editor. (orcid)0000-0003-4795-4779 Chida, Koji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64200-0
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part I

2026-04-20T17:51:00Z

Author Bernhaupt, Regina. editor. Dalvi, Girish. editor. Joshi, Anirudha. editor. K. Balkrishan, Devanuj. editor. O'Neill, Jacki. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67744-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-20T17:51:00Z

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

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

2026-04-20T17:51:00Z

Author Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66266-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Human Computer Interaction 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings

2026-04-20T17:51:00Z

Author Horain, Patrick. editor. Achard, Catherine. editor. Mallem, Malik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72038-8
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV

2026-04-20T17:51:00Z

Author Bernhaupt, Regina. editor. Dalvi, Girish. editor. Joshi, Anirudha. editor. K. Balkrishan, Devanuj. editor. O'Neill, Jacki. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68059-0
Format: Electronic Resources
Availability Online Library~1

Computer Vision for Driver Assistance Simultaneous Traffic and Driver Monitoring

2026-04-20T17:51:00Z

Author Rezaei, Mahdi. author. Klette, Reinhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50551-0
Format: Electronic Resources
Availability Online Library~1

Computer vision in vehicle technology : land, sea & air

2026-04-20T17:51:00Z

Author López, Antonio M., 1969- author. Imiya, Atsushi, author. Pajdla, Tomáš, author. Alvarez, J. M. (José M.), author.
Preferred Shelf Number TL272.53
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781118868065
Format: Electronic Resources
Availability Online Library~1

Handbook of machine and computer vision : the guide for developers and users

2026-04-20T17:51:00Z

Author Hornberg, Alexander, editor.
Preferred Shelf Number TA1634
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527413409
Format: Electronic Resources
Availability Online Library~1

Computer vision and imaging in intelligent transportation systems

2026-04-20T17:51:00Z

Author Loce, Robert P., editor. Bala, Raja, editor. Trivedi, Mohan M., editor.
Preferred Shelf Number TE228.3
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781118971666
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part II

2026-04-20T17:51:00Z

Author Bernhaupt, Regina. editor. Dalvi, Girish. editor. Joshi, Anirudha. editor. K. Balkrishan, Devanuj. editor. O'Neill, Jacki. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67684-5
Format: Electronic Resources
Availability Online Library~1

Informatics in the Future Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015

2026-04-20T17:51:00Z

Author Werthner, Hannes. editor. van Harmelen, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55735-9
Format: Electronic Resources
Availability Online Library~1

Machine trading : deploying computer algorithms to conquer the markets

2026-04-20T17:51:00Z

Author Chan, Ernest P., 1966- author.
Preferred Shelf Number HG4515.95
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119244066
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Ubiquitous Computing CSA-CUTE2016

2026-04-20T17:51:00Z

Author Park, James J. (Jong Hyuk). editor. Pan, Yi. editor. Yi, Gangman. editor. Loia, Vincenzo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3023-9
Format: Electronic Resources
Availability Online Library~1

Pattern Classification of Medical Images: Computer Aided Diagnosis

2026-04-20T17:51:00Z

Author Yin, Xiao-Xia. author. Hadjiloucas, Sillas. author. Zhang, Yanchun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57027-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering Trends and Techniques in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3

2026-04-20T17:51:00Z

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

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

2026-04-20T17:51:00Z

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-10-2717-8
Format: Electronic Resources
Availability Online Library~1

Cybernetics and Mathematics Applications in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 2

2026-04-20T17:51:00Z

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

Foundations of Computer Vision Computational Geometry, Visual Image Structures and Object Shape Detection

2026-04-20T17:51:00Z

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

Computer Communication, Networking and Internet Security Proceedings of IC3T 2016

2026-04-20T17:51:00Z

Author Satapathy, Suresh Chandra. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313 Janakiramaiah, B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3226-4
Format: Electronic Resources
Availability Online Library~1

Innovations in Computer Science and Engineering Proceedings of the Fourth ICICSE 2016

2026-04-20T17:51:00Z

Author Saini, H. S. editor. Sayal, Rishi. editor. Rawat, Sandeep Singh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3818-1
Format: Electronic Resources
Availability Online Library~1

Computational Anatomy Based on Whole Body Imaging Basic Principles of Computer-Assisted Diagnosis and Therapy

2026-04-20T17:51:00Z

Author Kobatake, Hidefumi. editor. Masutani, Yoshitaka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-4-431-55976-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2016

2026-04-20T17:51:00Z

Author Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3950-8
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

2026-04-20T17:51:00Z

Author Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66284-8
Format: Electronic Resources
Availability Online Library~1

Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction 4th IAPR TC 9 Workshop, MPRSS 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

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

Speech and Computer 19th International Conference, SPECOM 2017, Hatfield, UK, September 12-16, 2017, Proceedings

2026-04-20T17:51:00Z

Author Karpov, Alexey. editor. (orcid)0000-0003-3424-652X Potapova, Rodmonga. editor. Mporas, Iosif. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66429-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-20T17:51:00Z

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

Human-Computer Interaction. User Interface Design, Development and Multimodality 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

2026-04-20T17:51:00Z

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

Computer Security - ESORICS 2017 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II

2026-04-20T17:51:00Z

Author Foley, Simon N. editor. Gollmann, Dieter. editor. Snekkenes, Einar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66399-9
Format: Electronic Resources
Availability Online Library~1

Advances in Computer and Computational Sciences Proceedings of ICCCCS 2016, Volume 1

2026-04-20T17:51:00Z

Author Bhatia, Sanjiv K. editor. Mishra, Krishn K. editor. Tiwari, Shailesh. editor. (orcid)0000-0002-1306-1246 Singh, Vivek Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3770-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Human Computer Interaction 8th International Conference, IHCI 2016, Pilani, India, December 12-13, 2016, Proceedings

2026-04-20T17:51:00Z

Author Basu, Anupam. editor. Das, Sukhendu. editor. Horain, Patrick. editor. Bhattacharya, Samit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52503-7
Format: Electronic Resources
Availability Online Library~1

Universal Access in Human-Computer Interaction. Human and Technological Environments 11th International Conference, UAHCI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part III

2026-04-20T17:51:00Z

Author Antona, Margherita. editor. Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58700-4
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part III

2026-04-20T17:51:00Z

Author Bernhaupt, Regina. editor. Dalvi, Girish. editor. Joshi, Anirudha. editor. K. Balkrishan, Devanuj. editor. O'Neill, Jacki. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67687-6
Format: Electronic Resources
Availability Online Library~1

Universal Access in Human-Computer Interaction. Designing Novel Interactions 11th International Conference, UAHCI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

2026-04-20T17:51:00Z

Author Antona, Margherita. editor. Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58703-5
Format: Electronic Resources
Availability Online Library~1

Computer-Aided Design of Microfluidic Very Large Scale Integration (mVLSI) Biochips Design Automation, Testing, and Design-for-Testability

2026-04-20T17:51:00Z

Author Hu, Kai. author. Chakrabarty, Krishnendu. author. Ho, Tsung-Yi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56255-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-20T17:51:00Z

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

Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Germany, February 16-18, 2016, and February 9, 2017, Revised Selected Papers

2026-04-20T17:51:00Z

Author Derksen, Christian. editor. Weber, Christoph. editor. (orcid)0000-0003-0197-7991 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66553-5
Format: Electronic Resources
Availability Online Library~1

Computer Security - ESORICS 2017 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I

2026-04-20T17:51:00Z

Author Foley, Simon N. editor. Gollmann, Dieter. editor. Snekkenes, Einar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66402-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-20T17:51:00Z

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

Artificial Intelligence Trends in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 1

2026-04-20T17:51:00Z

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

Proceedings of International Conference on Computer Vision and Image Processing CVIP 2016, Volume 2

2026-04-20T17:51:00Z

Author Raman, Balasubramanian. editor. Kumar, Sanjeev. editor. Roy, Partha Pratim. editor. Sen, Debashis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2107-7
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Interaction Contexts 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

2026-04-20T17:51:00Z

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

Universal Access in Human-Computer Interaction. Design and Development Approaches and Methods 11th International Conference, UAHCI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

2026-04-20T17:51:00Z

Author Antona, Margherita. editor. Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58706-6
Format: Electronic Resources
Availability Online Library~1

Adventures in Computer Science From Classical Bits to Quantum Bits

2026-04-20T17:51:00Z

Author Moret-Bonillo, Vicente. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64807-1
Format: Electronic Resources
Availability Online Library~1

Applied Computer Science for GGOS Observatories Communication, Coordination and Automation of Future Geodetic Infrastructures

2026-04-20T17:51:00Z

Author Neidhardt, Alexander N.J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40139-3
Format: Electronic Resources
Availability Online Library~1

Blender for animation and film-based production

2026-04-20T17:51:00Z

Author MANRIQUE, MICHELANGELO.
Preferred Shelf Number TR897.72 .B55
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429170997 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

How to Cheat in Adobe Flash CC The Art of Design and Animation.

2026-04-20T17:51:00Z

Author Georgenes, Chris, Author.
Preferred Shelf Number TR897.72 .F53
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780240525952 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

SPSS statistics for data analysis and visualization

2026-04-20T17:51:00Z

Author McCormick, Keith (Consultant), author. Salcedo, Jesus, author. Peck, Jon, author. Wheeler, Andrew, author.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Oracle internals : tips, tricks, and techniques for DBAs

2026-04-20T17:51:00Z

Author Burleson, Donald K., editor.
Preferred Shelf Number QA76.9 .D3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429225192 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

SAS PROGRAMMING : the one-day course.

2026-04-20T17:51:00Z

Author SPENCER, NEIL H.
Preferred Shelf Number QA276.4
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429210150 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

ORACLE IDENTITY MANAGEMENT : governance, risk, and compliance architecture, third edition.

2026-04-20T17:51:00Z

Author POHLMAN, MARLIN B.
Preferred Shelf Number QA76.9 .A25
Electronic Access Taylor & Francis eBooks Taylor & Francis https://www.taylorfrancis.com/books/9780429117688 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Handbook of typography for the mathematical sciences

2026-04-20T17:51:00Z

Author KRANTZ, STEVEN G.
Preferred Shelf Number Z253.4 .T47
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429123658 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

JMP connections

2026-04-20T17:51:00Z

Author Wubbel, John, 1954- author.
Preferred Shelf Number HD30.215
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119453680
Format: Electronic Resources
Availability Online Library~1

SPSS statistics for data analysis and visualization

2026-04-20T17:51:00Z

Author McCormick, Keith (Consultant), author. Salcedo, Jesus, author. Peck, Jon, author. Wheeler, Andrew, author.
Preferred Shelf Number HA32
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119183426
Format: Electronic Resources
Availability Online Library~1

Automotive User Interfaces Creating Interactive Experiences in the Car

2026-04-20T17:51:00Z

Author Meixner, Gerrit. editor. (orcid)0000-0001-9550-7418 Müller, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49448-7
Format: Electronic Resources
Availability Online Library~1

Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools

2026-04-20T17:51:00Z

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

Guide to Security in SDN and NFV Challenges, Opportunities, and Applications

2026-04-20T17:51:00Z

Author Zhu, Shao Ying. editor. Scott-Hayward, Sandra. editor. Jacquin, Ludovic. editor. Hill, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64653-4
Format: Electronic Resources
Availability Online Library~1

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

2026-04-20T17:51:00Z

Author Draheim, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69868-7
Format: Electronic Resources
Availability Online Library~1

Ontology-Based Data Access Leveraging Subjective Reports

2026-04-20T17:51:00Z

Author Simari, Gerardo I. author. Molinaro, Cristian. author. Vanina Martinez, Maria. author. Lukasiewicz, Thomas. author. Predoiu, Livia. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65229-0
Format: Electronic Resources
Availability Online Library~1

Systems for Big Graph Analytics

2026-04-20T17:51:00Z

Author Yan, Da. author. Tian, Yuanyuan. author. Cheng, James. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58217-7
Format: Electronic Resources
Availability Online Library~1

A Psychology of User Experience Involvement, Affect and Aesthetics

2026-04-20T17:51:00Z

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

Privately and Publicly Verifiable Computing Techniques A Survey

2026-04-20T17:51:00Z

Author Demirel, Denise. author. Schabhüser, Lucas. author. Buchmann, Johannes. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53798-6
Format: Electronic Resources
Availability Online Library~1

Smart Textiles Fundamentals, Design, and Interaction

2026-04-20T17:51:00Z

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

Mobile e-Health

2026-04-20T17:51:00Z

Author Marston, Hannah R. editor. Freeman, Shannon. editor. Musselwhite, Charles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60672-9
Format: Electronic Resources
Availability Online Library~1

Frontiers in Pen and Touch Impact of Pen and Touch Technology on Education

2026-04-20T17:51:00Z

Author Hammond, Tracy. editor. Adler, Aaron. editor. Prasad, Manoj. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64239-0
Format: Electronic Resources
Availability Online Library~1

Mobile Payment Systems Secure Network Architectures and Protocols

2026-04-20T17:51:00Z

Author Téllez, Jesús. author. Zeadally, Sherali. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23033-7
Format: Electronic Resources
Availability Online Library~1

Automated Workflow Scheduling in Self-Adaptive Clouds Concepts, Algorithms and Methods

2026-04-20T17:51:00Z

Author Kousalya, G. author. Balakrishnan, P. author. Pethuru Raj, C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56982-6
Format: Electronic Resources
Availability Online Library~1

Human Centered Software Product Lines

2026-04-20T17:51:00Z

Author Sottet, Jean-Sébastien. editor. García Frey, Alfonso. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60947-8
Format: Electronic Resources
Availability Online Library~1

Connected Environments for the Internet of Things Challenges and Solutions

2026-04-20T17:51:00Z

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

Facial Kinship Verification A Machine Learning Approach

2026-04-20T17:51:00Z

Author Yan, Haibin. author. Lu, Jiwen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4484-7
Format: Electronic Resources
Availability Online Library~1

Art, Design and Technology: Collaboration and Implementation

2026-04-20T17:51:00Z

Author Earnshaw, Rae. author. (orcid)0000-0002-5156-7125 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58121-7
Format: Electronic Resources
Availability Online Library~1

Internet Video Data Streaming Energy-saving and Cost-aware Methods

2026-04-20T17:51:00Z

Author Tian, Ye. author. Zhao, Min. author. Zhang, Xinming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6523-1
Format: Electronic Resources
Availability Online Library~1

Network Traffic Anomaly Detection and Prevention Concepts, Techniques, and Tools

2026-04-20T17:51:00Z

Author Bhuyan, Monowar H. author. Bhattacharyya, Dhruba K. author. Kalita, Jugal K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65188-0
Format: Electronic Resources
Availability Online Library~1

HCI for Children with Disabilities

2026-04-20T17:51:00Z

Author Guerrero-Garcia, Josefina. editor. González-Calleros, Juan Manuel. editor. Muñoz-Arteaga, Jaime. editor. Collazos, César A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55666-6
Format: Electronic Resources
Availability Online Library~1

Crowd-Powered Mobile Computing and Smart Things

2026-04-20T17:51:00Z

Author Loke, Seng W. author. (orcid)0000-0002-5339-9305 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54436-6
Format: Electronic Resources
Availability Online Library~1

Research and Development in the Academy, Creative Industries and Applications

2026-04-20T17:51:00Z

Author Earnshaw, Rae. author. (orcid)0000-0002-5156-7125 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54081-8
Format: Electronic Resources
Availability Online Library~1

Tools for chemical product design : from consumer products to biomedicine

2026-04-20T17:51:00Z

Author Martín, Mariano Martín. Eden, Mario R. Chemmangattuvalappil, Nishanth G.
Preferred Shelf Number TP155 T66 2017
Format: Books
Availability Beytepe Library~1

Tools for chemical product design : from consumer products to biomedicine

2026-04-20T17:51:00Z

Author Martín, Mariano Martín, editor. Eden, Mario R., editor. Chemmangattuvalappil, Nishanth G., editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/bookseries/15707946/39
Format: Electronic Resources
Availability Online Library~1

Resource Management for Internet of Things

2026-04-20T17:51:00Z

Author Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54247-8
Format: Electronic Resources
Availability Online Library~1

Context-Aware Collaborative Prediction

2026-04-20T17:51:00Z

Author Wu, Shu. author. Liu, Qiang. author. Wang, Liang. author. Tan, Tieniu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5373-3
Format: Electronic Resources
Availability Online Library~1

Information Security of Highly Critical Wireless Networks

2026-04-20T17:51:00Z

Author Martellini, Maurizio. author. Abaimov, Stanislav. author. Gaycken, Sandro. author. Wilson, Clay. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52905-9
Format: Electronic Resources
Availability Online Library~1

Secure and Trustworthy Transportation Cyber-Physical Systems

2026-04-20T17:51:00Z

Author Sun, Yunchuan. editor. Song, Houbing. editor. (orcid)0000-0003-2631-9223 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3892-1
Format: Electronic Resources
Availability Online Library~1

Compilation for Secure Multi-party Computation

2026-04-20T17:51:00Z

Author Büscher, Niklas. author. Katzenbeisser, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67522-0
Format: Electronic Resources
Availability Online Library~1

Discriminative Pattern Discovery on Biological Networks

2026-04-20T17:51:00Z

Author Fassetti, Fabio. author. Rombo, Simona E. author. Serrao, Cristina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63477-7
Format: Electronic Resources
Availability Online Library~1

Windows 10 Anniversary update bible

2026-04-20T17:51:00Z

Author Tidrow, Rob, author. Boyce, Jim, 1958- author. Shapiro, Jeffrey R., author.
Preferred Shelf Number QA76.76 .O63
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119416999
Format: Electronic Resources
Availability Online Library~1

Combinatorial Testing in Cloud Computing

2026-04-20T17:51:00Z

Author Tsai, Wei-Tek. author. Qi, Guanqiu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4481-6
Format: Electronic Resources
Availability Online Library~1

Redescription Mining

2026-04-20T17:51:00Z

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

DataFlow Supercomputing Essentials Research, Development and Education

2026-04-20T17:51:00Z

Author Milutinovic, Veljko. author. Salom, Jakob. author. Veljovic, Dragan. author. Korolija, Nenad. author. Markovic, Dejan. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66128-5
Format: Electronic Resources
Availability Online Library~1

Introduction to Computational Social Science Principles and Applications

2026-04-20T17:51:00Z

Author Cioffi-Revilla, Claudio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50131-4
Format: Electronic Resources
Availability Online Library~1

Ethical and Social Issues in the Information Age

2026-04-20T17:51:00Z

Author Kizza, Joseph Migga. author. (orcid)0009-0001-1564-4277 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70712-9
Format: Electronic Resources
Availability Online Library~1

Mobile Information Retrieval

2026-04-20T17:51:00Z

Author Crestani, Fabio. author. Mizzaro, Stefano. author. Scagnetto, Ivan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60777-1
Format: Electronic Resources
Availability Online Library~1

Preference Query Analysis and Optimization

2026-04-20T17:51:00Z

Author Gao, Yunjun. author. Liu, Qing. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6635-1
Format: Electronic Resources
Availability Online Library~1

Cloud Computing Principles, Systems and Applications

2026-04-20T17:51:00Z

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

QoS Prediction in Cloud and Service Computing Approaches and Applications

2026-04-20T17:51:00Z

Author Zhang, Yilei. author. Lyu, Michael R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5278-1
Format: Electronic Resources
Availability Online Library~1

Computational Methods for Processing and Analysis of Biological Pathways

2026-04-20T17:51:00Z

Author Bezerianos, Anastasios. author. Dragomir, Andrei. author. Balomenos, Panos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53868-6
Format: Electronic Resources
Availability Online Library~1

Fraud Prevention in Online Digital Advertising

2026-04-20T17:51:00Z

Author Zhu, Xingquan. author. (orcid)0000-0003-4129-9611 Tao, Haicheng. author. Wu, Zhiang. author. Cao, Jie. author. Kalish, Kristopher. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56793-8
Format: Electronic Resources
Availability Online Library~1

State of the Art in Digital Media and Applications

2026-04-20T17:51:00Z

Author Earnshaw, Rae. author. (orcid)0000-0002-5156-7125 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61409-0
Format: Electronic Resources
Availability Online Library~1

Visual Pattern Discovery and Recognition

2026-04-20T17:51:00Z

Author Wang, Hongxing. author. Weng, Chaoqun. author. Yuan, Junsong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4840-1
Format: Electronic Resources
Availability Online Library~1

The Data Science Design Manual

2026-04-20T17:51:00Z

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

Failure-Modes-Based Software Reading

2026-04-20T17:51:00Z

Author Zhu, Yang-Ming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65103-3
Format: Electronic Resources
Availability Online Library~1

An Introduction to Distance Geometry applied to Molecular Geometry

2026-04-20T17:51:00Z

Author Lavor, Carlile. author. Liberti, Leo. author. A. Lodwick, Weldon. author. Mendonça da Costa, Tiago. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57183-6
Format: Electronic Resources
Availability Online Library~1

Efficient Biometric Indexing and Retrieval Techniques for Large-Scale Systems

2026-04-20T17:51:00Z

Author Kavati, Ilaiah. author. Prasad, Munaga V.N.K. author. Bhagvati, Chakravarthy. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57660-2
Format: Electronic Resources
Availability Online Library~1

Guide to Digital Forensics A Concise and Practical Introduction

2026-04-20T17:51:00Z

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

Recurrent Neural Networks for Short-Term Load Forecasting An Overview and Comparative Analysis

2026-04-20T17:51:00Z

Author Bianchi, Filippo Maria. author. Maiorino, Enrico. author. Kampffmeyer, Michael C. author. Rizzi, Antonello. author. Jenssen, Robert. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70338-1
Format: Electronic Resources
Availability Online Library~1

DataFlow Supercomputing Essentials Algorithms, Applications and Implementations

2026-04-20T17:51:00Z

Author Milutinovic, Veljko. author. Kotlar, Milos. author. Stojanovic, Marko. author. Dundic, Igor. author. Trifunovic, Nemanja. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66125-4
Format: Electronic Resources
Availability Online Library~1

Introduction to Compiler Design

2026-04-20T17:51:00Z

Author Mogensen, Torben Ægidius. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66966-3
Format: Electronic Resources
Availability Online Library~1

Future Network Systems and Security Third International Conference, FNSS 2017, Gainesville, FL, USA, August 31 - September 2, 2017, Proceedings

2026-04-20T17:51:00Z

Author Doss, Robin. editor. Piramuthu, Selwyn. editor. (orcid)0000-0002-1355-9554 Zhou, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65548-2
Format: Electronic Resources
Availability Online Library~1

Applications and Usability of Interactive TV 5th Iberoamerican Conference, jAUTI 2016, La Habana, Cuba, November 21-25, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Abásolo, María José. editor. Almeida, Pedro. editor. Pina Amargós, Joaquín. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63321-3
Format: Electronic Resources
Availability Online Library~1

HCI International 2017 - Posters' Extended Abstracts 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

2026-04-20T17:51:00Z

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

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

2026-04-20T17:51:00Z

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

Operations Research and Enterprise Systems 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Vitoriano, Begoña. editor. Parlier, Greg H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53982-9
Format: Electronic Resources
Availability Online Library~1

Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part I

2026-04-20T17:51:00Z

Author Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6463-0
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52228-9
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

2026-04-20T17:51:00Z

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

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

2026-04-20T17:51:00Z

Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67035-5
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

2026-04-20T17:51:00Z

Author Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67729-3
Format: Electronic Resources
Availability Online Library~1

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings

2026-04-20T17:51:00Z

Author Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Kirpichnikov, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68069-9
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part I

2026-04-20T17:51:00Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62392-4
Format: Electronic Resources
Availability Online Library~1

Communication Systems and Networks 9th International Conference, COMSNETS 2017, Bengaluru, India, January 4-8, 2017, Revised Selected Papers and Invited Papers

2026-04-20T17:51:00Z

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

E-Business and Telecommunications 13th International Joint Conference, ICETE 2016, Lisbon, Portugal, July 26-28, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

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

Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings

2026-04-20T17:51:00Z

Author Shi, Xuanhua. editor. (orcid)0000-0001-8451-8656 An, Hong. editor. Wang, Chao. editor. Kandemir, Mahmut. editor. Jin, Hai. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68210-5
Format: Electronic Resources
Availability Online Library~1

Programming with Scala Language Exploration

2026-04-20T17:51:00Z

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

Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II

2026-04-20T17:51:00Z

Author Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70096-0
Format: Electronic Resources
Availability Online Library~1

Information, Communication and Computing Technology Second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017, Revised Selected Papers

2026-04-20T17:51:00Z

Author Kaushik, Saroj. editor. Gupta, Daya. editor. Kharb, Latika. editor. (orcid)0000-0002-8549-0920 Chahal, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6544-6
Format: Electronic Resources
Availability Online Library~1

Analytical and Computational Methods in Probability Theory First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings

2026-04-20T17:51:00Z

Author Rykov, Vladimir V. editor. Singpurwalla, Nozer D. editor. Zubkov, Andrey M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71504-9
Format: Electronic Resources
Availability Online Library~1

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

2026-04-20T17:51:00Z

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

Creativity in Intelligent Technologies and Data Science Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings

2026-04-20T17:51:00Z

Author Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Groumpos, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65551-2
Format: Electronic Resources
Availability Online Library~1

Economics of Grids, Clouds, Systems, and Services 13th International Conference, GECON 2016, Athens, Greece, September 20-22, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Bañares, José Ángel. editor. Tserpes, Konstantinos. editor. Altmann, Jörn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61920-0
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings

2026-04-20T17:51:00Z

Author Rivera, Francisco F. editor. Pena, Tomás F. editor. Cabaleiro, José C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64203-1
Format: Electronic Resources
Availability Online Library~1

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54292-8
Format: Electronic Resources
Availability Online Library~1

Mobile, Secure, and Programmable Networking Third International Conference, MSPN 2017, Paris, France, June 29-30, 2017, Revised Selected Papers

2026-04-20T17:51:00Z

Author Bouzefrane, Samia. editor. (orcid)0000-0002-0979-1289 Banerjee, Soumya. editor. Sailhan, Françoise. editor. Boumerdassi, Selma. editor. Renault, Eric. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67807-8
Format: Electronic Resources
Availability Online Library~1

Space Information Networks First International Conference, SINC 2016, Kunming, China, August 24-25, 2016. Revised Selected Papers

2026-04-20T17:51:00Z

Author Yu, Quan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4403-8
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Networking Third International Symposium, UNet 2017, Casablanca, Morocco, May 9-12, 2017, Revised Selected Papers

2026-04-20T17:51:00Z

Author Sabir, Essaid. editor. García Armada, Ana. editor. Ghogho, Mounir. editor. Debbah, Mérouane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68179-5
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings

2026-04-20T17:51:00Z

Author Spirakis, Paul. editor. Tsigas, Philippas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69084-1
Format: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communications 15th IFIP WG 6.2 International Conference, WWIC 2017, St. Petersburg, Russia, June 21-23, 2017, Proceedings

2026-04-20T17:51:00Z

Author Koucheryavy, Yevgeni. editor. Mamatas, Lefteris. editor. Matta, Ibrahim. editor. Ometov, Aleksandr. editor. Papadimitriou, Panagiotis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61382-6
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II

2026-04-20T17:51:00Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62395-5
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V

2026-04-20T17:51:00Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62404-4
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI

2026-04-20T17:51:00Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62407-5
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part IV

2026-04-20T17:51:00Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62401-3
Format: Electronic Resources
Availability Online Library~1

Guide to Scientific Computing in C++

2026-04-20T17:51:00Z

Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73132-2
Format: Electronic Resources
Availability Online Library~1

A Practical Approach to Compiler Construction

2026-04-20T17:51:00Z

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

Computational Intelligence, Communications, and Business Analytics First International Conference, CICBA 2017, Kolkata, India, March 24 - 25, 2017, Revised Selected Papers, Part II

2026-04-20T17:51:00Z

Author Mandal, J. K. editor. (orcid)0000-0001-9447-647X Dutta, Paramartha. editor. Mukhopadhyay, Somnath. editor. (orcid)0000-0002-4532-6245 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6430-2
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

2026-04-20T17:51:00Z

Author Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66263-3
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence, Communications, and Business Analytics First International Conference, CICBA 2017, Kolkata, India, March 24 - 25, 2017, Revised Selected Papers, Part I

2026-04-20T17:51:00Z

Author Mandal, J. K. editor. (orcid)0000-0001-9447-647X Dutta, Paramartha. editor. Mukhopadhyay, Somnath. editor. (orcid)0000-0002-4532-6245 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6427-2
Format: Electronic Resources
Availability Online Library~1

Collaboration Technologies and Social Computing 9th International Conference, CollabTech 2017, Saskatoon, SK, Canada, August 8-10, 2017, Proceedings

2026-04-20T17:51:00Z

Author Yoshino, Takashi. editor. Yuizono, Takaya. editor. Zurita, Gustavo. editor. (orcid)0000-0003-0757-1247 Vassileva, Julita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63088-5
Format: Electronic Resources
Availability Online Library~1

Information Management and Big Data Second Annual International Symposium, SIMBig 2015, Cusco, Peru, September 2-4, 2015, and Third Annual International Symposium, SIMBig 2016, Cusco, Peru, September 1-3, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Lossio-Ventura, Juan Antonio. editor. Alatrista-Salas, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55209-5
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

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-53946-1
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

2026-04-20T17:51:00Z

Author Chen, Lydia Y. editor. Reiser, Hans P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59665-5
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

2026-04-20T17:51:00Z

Author Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60134-2
Format: Electronic Resources
Availability Online Library~1

Ad-hoc, Mobile, and Wireless Networks 16th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2017, Messina, Italy, September 20-22, 2017, Proceedings

2026-04-20T17:51:00Z

Author Puliafito, Antonio. editor. Bruneo, Dario. editor. Distefano, Salvatore. editor. (orcid)0000-0002-2752-626X Longo, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67910-5
Format: Electronic Resources
Availability Online Library~1

Quantum Interaction 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author de Barros, Jose Acacio. editor. Coecke, Bob. editor. Pothos, Emmanuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52289-0
Format: Electronic Resources
Availability Online Library~1

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

2026-04-20T17:51:00Z

Author Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60252-3
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings

2026-04-20T17:51:00Z

Author Knoop, Jens. editor. Karl, Wolfgang. editor. Schulz, Martin. editor. Inoue, Koji. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54999-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-20T17:51:00Z

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

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

2026-04-20T17:51:00Z

Author Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53733-7
Format: Electronic Resources
Availability Online Library~1

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2026-04-20T17:51:00Z

Author Zeume, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54314-6
Format: Electronic Resources
Availability Online Library~1

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61982-8
Format: Electronic Resources
Availability Online Library~1

Security of Networks and Services in an All-Connected World 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings

2026-04-20T17:51:00Z

Author Tuncer, Daphne. editor. Koch, Robert. editor. Badonnel, Rémi. editor. Stiller, Burkhard. editor. (orcid)0000-0002-7461-7463 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60774-0
Format: Electronic Resources
Availability Online Library~1

Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part II

2026-04-20T17:51:00Z

Author Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6502-6
Format: Electronic Resources
Availability Online Library~1

Human Mental Workload: Models and Applications First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers

2026-04-20T17:51:00Z

Author Longo, Luca. editor. Leva, M. Chiara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61061-0
Format: Electronic Resources
Availability Online Library~1

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

2026-04-20T17:51:00Z

Author El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268 Garbinato, Benoît. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59647-1
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-04-20T17:51:00Z

Author Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66335-7
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

2026-04-20T17:51:00Z

Author Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52709-3
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

2026-04-20T17:51:00Z

Author de Lara, Juan. editor. Plump, Detlef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61470-0
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

2026-04-20T17:51:00Z

Author Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54577-5
Format: Electronic Resources
Availability Online Library~1

Building an Intuitive Multimodal Interface for a Smart Home Hunting the SNARK

2026-04-20T17:51:00Z

Author Brown, John N.A. author. Fercher, Anton Josef. author. Leitner, Gerhard. author. (orcid)0000-0002-3084-0727 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56532-3
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings

2026-04-20T17:51:00Z

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

Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

2026-04-20T17:51:00Z

Author Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58631-1
Format: Electronic Resources
Availability Online Library~1

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

2026-04-20T17:51:00Z

Author Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63501-9
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Leporati, Alberto. editor. (orcid)0000-0002-8105-4371 Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54072-6
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

2026-04-20T17:51:00Z

Author Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67089-8
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63139-4
Format: Electronic Resources
Availability Online Library~1

Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

2026-04-20T17:51:00Z

Author Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58741-7
Format: Electronic Resources
Availability Online Library~1

Medical Image Understanding and Analysis 21st Annual Conference, MIUA 2017, Edinburgh, UK, July 11-13, 2017, Proceedings

2026-04-20T17:51:00Z

Author Valdés Hernández, María. editor. González-Castro, Víctor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60964-5
Format: Electronic Resources
Availability Online Library~1

Natural Interaction in Medical Training Tools and Applications

2026-04-20T17:51:00Z

Author Del Bimbo, Alberto. author. Ferracani, Andrea. author. Pezzatini, Daniele. author. Seidenari, Lorenzo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61036-8
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings

2026-04-20T17:51:00Z

Author Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-55751-8
Format: Electronic Resources
Availability Online Library~1

Foundations of Programming Languages

2026-04-20T17:51:00Z

Author Lee, Kent D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70790-7
Format: Electronic Resources
Availability Online Library~1

Programming Language Concepts

2026-04-20T17:51:00Z

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

Basic Graph Theory

2026-04-20T17:51:00Z

Author Rahman, Md. Saidur. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49475-3
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings

2026-04-20T17:51:00Z

Author Patitz, Matthew J. editor. Stannett, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58187-3
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

2026-04-20T17:51:00Z

Author Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62809-7
Format: Electronic Resources
Availability Online Library~1

Economics of Grids, Clouds, Systems, and Services 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings

2026-04-20T17:51:00Z

Author Pham, Congduc. editor. Altmann, Jörn. editor. Bañares, José Ángel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68066-8
Format: Electronic Resources
Availability Online Library~1

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

2026-04-20T17:51:00Z

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

Information and Software Technologies 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, Proceedings

2026-04-20T17:51:00Z

Author Damaševičius, Robertas. editor. (orcid)0000-0001-9990-1084 Mikašytė, Vilma. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67642-5
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Rossi, Federico. editor. Piotto, Stefano. editor. Concilio, Simona. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57711-1
Format: Electronic Resources
Availability Online Library~1

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings

2026-04-20T17:51:00Z

Author Galinina, Olga. editor. Andreev, Sergey. editor. Balandin, Sergey. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67380-6
Format: Electronic Resources
Availability Online Library~1

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

2026-04-20T17:51:00Z

Author Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67630-2
Format: Electronic Resources
Availability Online Library~1

Smart Homes and Their Users

2026-04-20T17:51:00Z

Author Hargreaves, Tom. author. Wilson, Charlie. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68018-7
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

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

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-04-20T17:51:00Z

Author Yang, Hongseok. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54434-1
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-04-20T17:51:00Z

Author Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54458-7
Format: Electronic Resources
Availability Online Library~1

Green, Pervasive, and Cloud Computing 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings

2026-04-20T17:51:00Z

Author Au, Man Ho Allen. editor. Castiglione, Arcangelo. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Palmieri, Francesco. editor. Li, Kuan-Ching. editor. (orcid)0000-0003-1381-4364
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57186-7
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

2026-04-20T17:51:00Z

Author Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54580-5
Format: Electronic Resources
Availability Online Library~1

ICTs for Improving Patients Rehabilitation Research Techniques Third International Workshop, REHAB 2015, Lisbon, Portugal, October 1-2, 2015, Revised Selected Papers

2026-04-20T17:51:00Z

Author Fardoun, Habib M. editor. R. Penichet, Victor M. editor. Alghazzawi, Daniyal M. editor. De la Guia, M. Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69694-2
Format: Electronic Resources
Availability Online Library~1

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

2026-04-20T17:51:00Z

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

Biomedical Applications Based on Natural and Artificial Computing International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II

2026-04-20T17:51:00Z

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

Natural and Artificial Computation for Biomedicine and Neuroscience International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I

2026-04-20T17:51:00Z

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. (orcid)0000-0001-5718-1453
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59740-9
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part III

2026-04-20T17:51:00Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62398-6
Format: Electronic Resources
Availability Online Library~1

Stochastic Optimization for Distributed Energy Resources in Smart Grids

2026-04-20T17:51:00Z

Author Guo, Yuanxiong. author. Fang, Yuguang. author. Khargonekar, Pramod P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59529-0
Format: Electronic Resources
Availability Online Library~1

Mobile Ad Hoc Network Protocols Based on Dissimilarity Metrics

2026-04-20T17:51:00Z

Author Günes, M. author. Reina, D. G. author. Garcia Campos, J. M. author. Toral, S. L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62740-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-20T17:51:00Z

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

Innovations for Community Services 17th International Conference, I4CS 2017, Darmstadt, Germany, June 26-28, 2017, Proceedings

2026-04-20T17:51:00Z

Author Eichler, Gerald. editor. Erfurth, Christian. editor. Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60447-3
Format: Electronic Resources
Availability Online Library~1

HCI International 2017 - Posters' Extended Abstracts 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

2026-04-20T17:51:00Z

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

Representations, Analysis and Recognition of Shape and Motion from Imaging Data 6th International Workshop, RFMI 2016, Sidi Bou Said Village, Tunisia, October 27-29, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Ben Amor, Boulbaba. editor. Chaieb, Faten. editor. Ghorbel, Faouzi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60654-5
Format: Electronic Resources
Availability Online Library~1

High Performance Computing Third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29-September 2, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Barrios Hernández, Carlos Jaime. editor. Gitler, Isidoro. editor. (orcid)0000-0003-1241-5943 Klapp, Jaime. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57972-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-20T17:51:00Z

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

Digital Communication. Towards a Smart and Secure Future Internet 28th International Tyrrhenian Workshop, TIWDC 2017, Palermo, Italy, September 18-20, 2017, Proceedings

2026-04-20T17:51:00Z

Author Piva, Alessandro. editor. Tinnirello, Ilenia. editor. Morosi, Simone. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67639-5
Format: Electronic Resources
Availability Online Library~1

Statistics for social research

2026-04-20T17:51:00Z

Author Argyrous, George, 1963-
Preferred Shelf Number HA 29 A69 1996
Format: Books
Availability Beytepe Library~1

Interpreting quantitative data with SPSS

2026-04-20T17:51:00Z

Author Antonius, Rachad.
Preferred Shelf Number HA 32 A68 2003
Format: Books
Availability Beytepe Library~1

Wireless Algorithms, Systems, and Applications 12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017, Proceedings

2026-04-20T17:51:00Z

Author Ma, Liran. editor. Khreishah, Abdallah. editor. Zhang, Yan. editor. Yan, Mingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60033-8
Format: Electronic Resources
Availability Online Library~1

Technology Enhanced Assessment 19th International Conference, TEA 2016, Tallinn, Estonia, October 5-6, 2016, Revised Selected Papers

2026-04-20T17:51:00Z

Author Joosten-ten Brinke, Desirée. editor. Laanpere, Mart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57744-9
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers

2026-04-20T17:51:00Z

Author Das, Shantanu. editor. Tixeuil, Sebastien. editor. (orcid)0000-0002-0948-7172 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72050-0
Format: Electronic Resources
Availability Online Library~1

Algorithms and Data Structures 15th International Symposium, WADS 2017, St. John's, NL, Canada, July 31 - August 2, 2017, Proceedings

2026-04-20T17:51:00Z

Author Ellen, Faith. editor. Kolokolova, Antonina. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62127-2
Format: Electronic Resources
Availability Online Library~1