Limit Search Results
Author
SpringerLink (Online service)
(398)
C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
(11)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(11)
Faginas Lago, Maria Noelia. editor. (orcid)0000-0002-4056-3364
(11)
Garau, Chiara. editor. (orcid)0000-0002-6239-5402
(11)
Language
Publication Date
-
Subject
Computer Engineering and Networks.
(374)
Computer networks .
(374)
Artificial intelligence.
(323)
Application software.
(123)
Computer and Information Systems Applications.
(123)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
399 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Frontiers in Cyber Security 6th International Conference, FCS 2023, Chengdu, China, August 21-23, 2023, Revised Selected Papers
Frontiers in Cyber Security 6th International Conference, FCS 2023, Chengdu, China, August 21-23, 2023, Revised Selected Papers
Author 
Yang, Haomiao. editor. Lu, Rongxing. editor. (orcid)0000-0001-5720-0941 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9331-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Emerging Information Security and Applications 4th International Conference, EISA 2023, Hangzhou, China, December 6-7, 2023, Proceedings
Emerging Information Security and Applications 4th International Conference, EISA 2023, Hangzhou, China, December 6-7, 2023, Proceedings
Author 
Shao, Jun. editor. Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Meng, Weizhi. editor. (orcid)0000-0003-4384-5786 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9614-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Cognitive Computing - ICCC 2023 7th International Conference Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023 Proceedings
Cognitive Computing - ICCC 2023 7th International Conference Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023 Proceedings
Author 
Pan, Xiuqin. editor. Jin, Ting. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-51671-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Wireless Internet 16th EAI International Conference, WiCON 2023, Athens, Greece, December 15-16, 2023, Proceedings
Wireless Internet 16th EAI International Conference, WiCON 2023, Athens, Greece, December 15-16, 2023, Proceedings
Author 
Maglaras, Leandros A. editor. (orcid)0000-0001-5360-9782 Douligeris, Christos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-58053-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Current Trends in Web Engineering ICWE 2023 International Workshops: BECS, SWEET, WALS, Alicante, Spain, June 6-9, 2023, Revised Selected Papers
Current Trends in Web Engineering ICWE 2023 International Workshops: BECS, SWEET, WALS, Alicante, Spain, June 6-9, 2023, Revised Selected Papers
Author 
Casteleyn, Sven. editor. (orcid)0000-0003-0572-5716 Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 García Simón, Alberto. editor. Ko, In-Young. editor. Loseto, Giuseppe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50385-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Author 
Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68416-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
Author 
Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68150-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Geographical Information Systems Theory, Applications and Management 9th International Conference, GISTAM 2023, Prague, Czech Republic, April 25-27, 2023, Revised Selected Papers
Geographical Information Systems Theory, Applications and Management 9th International Conference, GISTAM 2023, Prague, Czech Republic, April 25-27, 2023, Revised Selected Papers
Author 
Grueau, Cédric. editor. Rodrigues, Armanda. editor. (orcid)0000-0002-7080-5512 Ragia, Lemonia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60277-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IV
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IV
Author 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65273-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Electronic Government 23rd IFIP WG 8.5 International Conference, EGOV 2024, Ghent-Leuven, Belgium, September 3-5, 2024, Proceedings
Electronic Government 23rd IFIP WG 8.5 International Conference, EGOV 2024, Ghent-Leuven, Belgium, September 3-5, 2024, Proceedings
Author 
Janssen, Marijn. editor. (orcid)0000-0001-6211-8790 Crompvoets, Joep. editor. (orcid)0000-0003-1077-597X Gil-Garcia, J. Ramon. editor. (orcid)0000-0002-1033-4974 Lee, Habin. editor. (orcid)0000-0003-0071-4874 Lindgren, Ida. editor. (orcid)0000-0002-4735-8697
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70274-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 26th Iberoamerican Congress, CIARP 2023, Coimbra, Portugal, November 27-30, 2023, Proceedings, Part II
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 26th Iberoamerican Congress, CIARP 2023, Coimbra, Portugal, November 27-30, 2023, Proceedings, Part II
Author 
Vasconcelos, Verónica. editor. Domingues, Inês. editor. Paredes, Simão. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49249-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for High Performance Computing, Smart Devices and Networks Select Proceedings of CHSN 2022
High Performance Computing, Smart Devices and Networks Select Proceedings of CHSN 2022
Author 
Malhotra, Ruchika. editor. Sumalatha, L. editor. Yassin, S. M. Warusia. editor. Patgiri, Ripon. editor. (orcid)0000-0002-9899-9152 Muppalaneni, Naresh Babu. editor. (orcid)0000-0002-8499-1918
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6690-5
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Big Data, Machine Learning, and Applications Proceedings of the 2nd International Conference, BigDML 2021
Big Data, Machine Learning, and Applications Proceedings of the 2nd International Conference, BigDML 2021
Author 
Borah, Malaya Dutta. editor. Laiphrakpam, Dolendro Singh. editor. Auluck, Nitin. editor. Balas, Valentina Emilia. editor. (orcid)0000-0003-0885-1283 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3481-2
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65154-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part XI
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part XI
Author 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65343-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Biomedical Engineering Systems and Technologies 16th International Joint Conference, BIOSTEC 2023, Lisbon, Portugal, February 16-18, 2023, Revised Selected Papers
Biomedical Engineering Systems and Technologies 16th International Joint Conference, BIOSTEC 2023, Lisbon, Portugal, February 16-18, 2023, Revised Selected Papers
Author 
Moita, Ana. editor. (orcid)0000-0001-9801-7617 Bühler, Katja. editor. (orcid)0000-0002-0362-7998 Ali, Hesham. editor. (orcid)0000-0002-8016-6144 Deng, Ning. editor. (orcid)0000-0002-6573-1061 Chouvarda, Ioanna. editor. (orcid)0000-0001-8915-6658
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67088-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part V
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part V
Author 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65282-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VIII
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VIII
Author 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65318-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part III
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part III
Author 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65238-7
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Computing, Communication and Learning Second International Conference, CoCoLe 2023, Warangal, India, August 29-31, 2023, Proceedings
Computing, Communication and Learning Second International Conference, CoCoLe 2023, Warangal, India, August 29-31, 2023, Proceedings
Author 
Panda, Sanjaya Kumar. editor. (orcid)0000-0003-3242-525X Rout, Rashmi Ranjan. editor. (orcid)0000-0003-3457-6633 Bisi, Manjubala. editor. (orcid)0000-0002-9555-1520 Sadam, Ravi Chandra. editor. Li, Kuan-Ching. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56998-2
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part X
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part X
Author 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65332-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers
Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers
Author 
Villani, Marco. editor. (orcid)0000-0002-5991-5470 Cagnoni, Stefano. editor. Serra, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57430-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Innovative Technologies and Learning 7th International Conference, ICITL 2024, Tartu, Estonia, August 14-16, 2024, Proceedings, Part I
Innovative Technologies and Learning 7th International Conference, ICITL 2024, Tartu, Estonia, August 14-16, 2024, Proceedings, Part I
Author 
Cheng, Yu-Ping. editor. (orcid)0000-0001-8778-9777 Pedaste, Margus. editor. (orcid)0000-0002-5087-9637 Bardone, Emanuele. editor. (orcid)0000-0001-9038-2580 Huang, Yueh-Min. editor. (orcid)0000-0001-7052-1272 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65881-5
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Advances in Computing 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers
Advances in Computing 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers
Author 
Tabares, Marta. editor. Vallejo, Paola. editor. Suarez, Biviana. editor. Suarez, Marco. editor. Ruiz, Oscar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47372-2
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Digital Transformation, Cyber Security and Resilience Second International Conference, DIGILIENCE 2020, Varna, Bulgaria, September 30 - October 2, 2020, Revised Selected Papers
Digital Transformation, Cyber Security and Resilience Second International Conference, DIGILIENCE 2020, Varna, Bulgaria, September 30 - October 2, 2020, Revised Selected Papers
Author 
Tagarev, Todor. editor. Stoianov, Nikolai. editor. (orcid)0000-0002-4953-4172 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44440-1
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Information Security, Privacy and Digital Forensics Select Proceedings of the International Conference, ICISPD 2022
Information Security, Privacy and Digital Forensics Select Proceedings of the International Conference, ICISPD 2022
Author 
Patel, Sankita J. editor. Chaudhary, Naveen Kumar. editor. Gohil, Bhavesh N. editor. Iyengar, S. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5091-1
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Machine Learning for Cyber-Physical Systems Selected papers from the International Conference ML4CPS 2023
Machine Learning for Cyber-Physical Systems Selected papers from the International Conference ML4CPS 2023
Author 
Niggemann, Oliver. editor. Beyerer, Jürgen. editor. Krantz, Maria. editor. Kühnert, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47062-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part II
Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part II
Author 
Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53036-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Computational Sciences and Sustainable Technologies First International Conference, ICCSST 2023, Bangalore, India, May 8-9, 2023, Revised Selected Papers
Computational Sciences and Sustainable Technologies First International Conference, ICCSST 2023, Bangalore, India, May 8-9, 2023, Revised Selected Papers
Author 
Aurelia, Sagaya. editor. J., Chandra. editor. Immanuel, Ashok. editor. Mani, Joseph. editor. Padmanabha, Vijaya. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50993-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Attacks, Defenses and Testing for Deep Learning
Attacks, Defenses and Testing for Deep Learning
Author 
Chen, Jinyin. author. (orcid)0000-0002-7153-2755 Zhang, Ximin. author. Zheng, Haibin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-0425-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Proceedings of International Conference on Communication and Computational Technologies ICCCT 2023
Proceedings of International Conference on Communication and Computational Technologies ICCCT 2023
Author 
Kumar, Sandeep. editor. Hiranwal, Saroj. editor. Purohit, S.D. editor. Prasad, Mukesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3485-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Microelectronics, Communication Systems, Machine Learning and Internet of Things Select Proceedings of MCMI 2020
Microelectronics, Communication Systems, Machine Learning and Internet of Things Select Proceedings of MCMI 2020
Author 
Nath, Vijay. editor. Mandal, Jyotsna Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-1906-0
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Intelligent Computing and Networking Proceedings of IC-ICN 2022
Intelligent Computing and Networking Proceedings of IC-ICN 2022
Author 
Balas, Valentina Emilia. editor. Semwal, Vijay Bhaskar. editor. Khandare, Anand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0071-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Smart Trends in Computing and Communications Proceedings of SmartCom 2022
Smart Trends in Computing and Communications Proceedings of SmartCom 2022
Author 
Zhang, Yu-Dong. editor. Senjyu, Tomonobu. editor. So-In, Chakchai. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-16-9967-2
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Theory and Practice of Wireless Sensor Networks: Cover, Sense, and Inform
Theory and Practice of Wireless Sensor Networks: Cover, Sense, and Inform
Author 
Ammari, Habib M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-07823-1
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Advances in Data Science and Computing Technologies Select Proceedings of ADSC 2022
Advances in Data Science and Computing Technologies Select Proceedings of ADSC 2022
Author 
Chakraborty, Basabi. editor. Biswas, Arindam. editor. Chakrabarti, Amlan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3656-4
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Proceedings of Emerging Trends and Technologies on Intelligent Systems ETTIS 2022
Proceedings of Emerging Trends and Technologies on Intelligent Systems ETTIS 2022
Author 
Noor, Arti. editor. Saroha, Kriti. editor. Pricop, Emil. editor. Sen, Abhijit. editor. Trivedi, Gaurav. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-4182-5
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Internet of Vehicles. Technologies and Services for Smart Cities 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings
Internet of Vehicles. Technologies and Services for Smart Cities 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings
Author 
Peng, Sheng-Lung. editor. Lee, Guan-Ling. editor. Klette, Reinhard. editor. Hsu, Ching-Hsien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72329-7
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part II
Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part II
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: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Smart Cities, Green Technologies, and Intelligent Transport Systems 5th International Conference, SMARTGREENS 2016, and Second International Conference, VEHITS 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers
Smart Cities, Green Technologies, and Intelligent Transport Systems 5th International Conference, SMARTGREENS 2016, and Second International Conference, VEHITS 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers
Author 
Helfert, Markus. editor. Klein, Cornel. editor. Donnellan, Brian. editor. Gusikhin, Oleg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63712-9
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Bioinformatics and Biomedical Engineering 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26-28, 2017, Proceedings, Part II
Bioinformatics and Biomedical Engineering 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26-28, 2017, Proceedings, Part II
Author 
Rojas, Ignacio. editor. Ortuño, Francisco. editor. (orcid)0000-0001-7424-1753 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56154-7
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Bioinformatics and Biomedical Engineering 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26-28, 2017, Proceedings, Part I
Bioinformatics and Biomedical Engineering 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26-28, 2017, Proceedings, Part I
Author 
Rojas, Ignacio. editor. Ortuño, Francisco. editor. (orcid)0000-0001-7424-1753 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56148-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Pervasive Computing Engineering Smart Systems
Pervasive Computing Engineering Smart Systems
Author 
Silvis-Cividjian, Natalia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51655-4
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Information and Communication Technologies in Education, Research, and Industrial Applications 12th International Conference, ICTERI 2016, Kyiv, Ukraine, June 21-24, 2016, Revised Selected Papers
Information and Communication Technologies in Education, Research, and Industrial Applications 12th International Conference, ICTERI 2016, Kyiv, Ukraine, June 21-24, 2016, Revised Selected Papers
Author 
Ginige, Athula. editor. Mayr, Heinrich C. editor. Plexousakis, Dimitris. editor. (orcid)0000-0002-0863-8266 Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Nikitchenko, Mykola. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69965-3
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Information and Communication Technologies for Ageing Well and e-Health Second International Conference, ICT4AWE 2016, Rome, Italy, April 21-22, 2016, Revised Selected Papers
Information and Communication Technologies for Ageing Well and e-Health Second International Conference, ICT4AWE 2016, Rome, Italy, April 21-22, 2016, Revised Selected Papers
Author 
Röcker, Carsten. editor. O'Donoghue, John. editor. Ziefle, Martina. editor. (orcid)0000-0002-6105-4729 Helfert, Markus. editor. Molloy, William. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62704-5
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for ICT Innovations 2017 Data-Driven Innovation. 9th International Conference, ICT Innovations 2017, Skopje, Macedonia, September 18-23, 2017, Proceedings
ICT Innovations 2017 Data-Driven Innovation. 9th International Conference, ICT Innovations 2017, Skopje, Macedonia, September 18-23, 2017, Proceedings
Author 
Trajanov, Dimitar. editor. Bakeva, Verica. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67597-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for High Performance Computing Third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29-September 2, 2016, Revised Selected Papers
High Performance Computing Third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29-September 2, 2016, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings
Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Virtual, Augmented and Mixed Reality 9th International Conference, VAMR 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings
Virtual, Augmented and Mixed Reality 9th International Conference, VAMR 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings
Author 
Lackey, Stephanie. editor. Chen, Jessie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57987-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Big Data Analytics and Knowledge Discovery 19th International Conference, DaWaK 2017, Lyon, France, August 28-31, 2017, Proceedings
Big Data Analytics and Knowledge Discovery 19th International Conference, DaWaK 2017, Lyon, France, August 28-31, 2017, Proceedings
Author 
Bellatreche, Ladjel. editor. Chakravarthy, Sharma. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64283-3
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV
Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV
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: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Queueing Theory and Network Applications 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings
Queueing Theory and Network Applications 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings
Author 
Yue, Wuyi. editor. Li, Quan-Lin. editor. Jin, Shunfu. editor. (orcid)0000-0002-5845-5601 Ma, Zhanyou. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68520-5
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Security, Privacy, and Anonymity in Computation, Communication, and Storage SpaCCS 2017 International Workshops, Guangzhou, China, December 12-15, 2017, Proceedings
Security, Privacy, and Anonymity in Computation, Communication, and Storage SpaCCS 2017 International Workshops, Guangzhou, China, December 12-15, 2017, Proceedings
Author 
Wang, Guojun. editor. (orcid)0000-0001-9875-4182 Atiquzzaman, Mohammed. editor. Yan, Zheng. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72395-2
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
Author 
de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74183-3
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Algorithms for Sensor Systems 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers
Algorithms for Sensor Systems 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers
Author 
Fernández Anta, Antonio. editor. Jurdzinski, Tomasz. editor. Mosteiro, Miguel A. editor. Zhang, Yanyong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72751-6
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Information Security 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings
Information Security 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings
Author 
Nguyen, Phong Q. editor. Zhou, Jianying. editor. (orcid)0000-0003-0594-0432 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69659-1
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers
Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Author 
Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68499-4
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part I
Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part I
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: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Author 
Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61467-0
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Author 
D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68167-2
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Security, Privacy, and Anonymity in Computation, Communication, and Storage 10th International Conference, SpaCCS 2017, Guangzhou, China, December 12-15, 2017, Proceedings
Security, Privacy, and Anonymity in Computation, Communication, and Storage 10th International Conference, SpaCCS 2017, Guangzhou, China, December 12-15, 2017, Proceedings
Author 
Wang, Guojun. editor. (orcid)0000-0001-9875-4182 Atiquzzaman, Mohammed. editor. Yan, Zheng. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72389-1
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Connectomics in NeuroImaging First International Workshop, CNI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings
Connectomics in NeuroImaging First International Workshop, CNI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings
Author 
Wu, Guorong. editor. Laurienti, Paul. editor. Bonilha, Leonardo. editor. Munsell, Brent C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67159-8
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Cloud Broker and Cloudlet for Workflow Scheduling
Cloud Broker and Cloudlet for Workflow Scheduling
Author 
Youn, Chan-Hyun. author. Chen, Min. author. Dazzi, Patrizio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-5071-8
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part III
Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part III
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: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Financial Cryptography and Data Security FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers
Financial Cryptography and Data Security FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers
Author 
Brenner, Michael. editor. Rohloff, Kurt. editor. Bonneau, Joseph. editor. Miller, Andrew. editor. Ryan, Peter Y.A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70278-0
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Author 
Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66845-1
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings
Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings
Author 
Wong, Stephan. editor. Beck, Antonio Carlos. editor. Bertels, Koen. editor. Carro, Luigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56258-2
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
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: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57708-1
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Internet Science 4th International Conference, INSCI 2017, Thessaloniki, Greece, November 22-24, 2017, Proceedings
Internet Science 4th International Conference, INSCI 2017, Thessaloniki, Greece, November 22-24, 2017, Proceedings
Author 
Kompatsiaris, Ioannis. editor. Cave, Jonathan. editor. Satsiou, Anna. editor. Carle, Georg. editor. Passani, Antonella. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70284-1
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings
Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Advancements in Automation, Robotics and Sensing First International Conference, ICAARS 2016, Coimbatore, India, June 23 - 24, 2016, Revised Selected Papers
Advancements in Automation, Robotics and Sensing First International Conference, ICAARS 2016, Coimbatore, India, June 23 - 24, 2016, Revised Selected Papers
Author 
Vinod, B. editor. Voyles, Richard. editor. Vadakkepat, Prahlad. editor. Sundaram, M. editor. Sujatha, K S. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2845-8
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Digital Connectivity - Social Impact 51st Annual Convention of the Computer Society of India, CSI 2016, Coimbatore, India, December 8-9, 2016, Proceedings
Digital Connectivity - Social Impact 51st Annual Convention of the Computer Society of India, CSI 2016, Coimbatore, India, December 8-9, 2016, Proceedings
Author 
Subramanian, S. editor. Nadarajan, R. editor. Rao, Shrisha. editor. Sheen, Shina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3274-5
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Applied Computer Sciences in Engineering Third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised Selected Papers
Applied Computer Sciences in Engineering Third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised Selected Papers
Author 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 López-Santana, Eduyn Ramiro. editor. Ferro-Escobar, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50880-1
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Applied Reconfigurable Computing 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 Proceedings
Applied Reconfigurable Computing 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 Proceedings
Author 
Bonato, Vanderlei. editor. Bouganis, Christos. editor. Gorgon, Marek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30481-6
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Anti-fragile ICT Systems
Anti-fragile ICT Systems
Author 
Hole, Kjell Jørgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30070-2
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2014
Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2014
Author 
Yang, Gi-Chul. editor. Ao, Sio-Iong. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9588-3
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Computer Science and its Applications Ubiquitous Information Technologies
Computer Science and its Applications Ubiquitous Information Technologies
Author 
Park, James J. (Jong Hyuk). editor. Stojmenovic, Ivan. editor. Jeong, Hwa Young. editor. Yi, Gangman. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45402-2
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Advances in Computing and Information Technology Proceedings of the Second International Conference on Advances in Computing and Information Technology (ACITY) July 13-15, 2012, Chennai, India - Volume 3
Advances in Computing and Information Technology Proceedings of the Second International Conference on Advances in Computing and Information Technology (ACITY) July 13-15, 2012, Chennai, India - Volume 3
Author 
Meghanathan, Natarajan. editor. Nagamalai, Dhinaharan. editor. Chaki, Nabendu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333454.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31600-5
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Modeling, Simulation and Optimization of Bipedal Walking
Modeling, Simulation and Optimization of Bipedal Walking
Author 
Mombaur, Katja. editor. Berns, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334186.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36368-9
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Advances in Heuristic Signal Processing and Applications
Advances in Heuristic Signal Processing and Applications
Author 
Chatterjee, Amitava. editor. Nobahari, Hadi. editor. Siarry, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334493.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37880-5
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Massively Parallel Evolutionary Computation on GPGPUs
Massively Parallel Evolutionary Computation on GPGPUs
Author 
Tsutsui, Shigeyoshi. editor. Collet, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334507.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37959-8
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Recent Advancements in System Modelling Applications Proceedings of National Systems Conference 2012
Recent Advancements in System Modelling Applications Proceedings of National Systems Conference 2012
Author 
Malathi, R. editor. Krishnan, J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335493.1)
Electronic Access 
http://dx.doi.org/10.1007/978-81-322-1035-1
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Advances in Computing and Information Technology Proceedings of the Second International Conference on Advances in Computing and Information Technology (ACITY) July 13-15, 2012, Chennai, India - Volume 2
Advances in Computing and Information Technology Proceedings of the Second International Conference on Advances in Computing and Information Technology (ACITY) July 13-15, 2012, Chennai, India - Volume 2
Author 
Meghanathan, Natarajan. editor. Nagamalai, Dhinaharan. editor. Chaki, Nabendu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333449.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31552-7
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Pervasive and Mobile Sensing and Computing for Healthcare Technological and Social Issues
Pervasive and Mobile Sensing and Computing for Healthcare Technological and Social Issues
Author 
Mukhopadhyay, Subhas Chandra. editor. Postolache, Octavian A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333591.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32538-0
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Computer and Information Sciences II 26th International Symposium on Computer and Information Sciences
Computer and Information Sciences II 26th International Symposium on Computer and Information Sciences
Author 
Gelenbe, Erol. editor. Lent, Ricardo. editor. Sakellari, Georgia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2155-8
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Applications of Pulse-Coupled Neural Networks
Applications of Pulse-Coupled Neural Networks
Author 
Ma, Yide. author. Zhan, Kun. author. Wang, Zhaobin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13745-7
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Cartesian Genetic Programming
Cartesian Genetic Programming
Author 
Miller, Julian F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17310-3
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Fault Location on Power Networks
Fault Location on Power Networks
Author 
Saha, Murari Mohan. author. Izykowski, Jan. author. Rosolowski, Eugeniusz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-886-5
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Recent Advances in Mechatronics
Recent Advances in Mechatronics
Author 
Brezina, Tomas. editor. Jablonski, Ryszard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05022-0
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Proceedings of the European Computing Conference Volume 1
Proceedings of the European Computing Conference Volume 1
Author 
Mastorakis, Nikos. editor. Mladenov, Valeri. editor. Kontargyri, Vassiliki T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-84814-3
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Recent Advances in Sensing Technology
Recent Advances in Sensing Technology
Author 
Mukhopadhyay, Subhas Chandra. editor. Gupta, Gourab Sen. editor. Huang, Ray Yueh-Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00578-7
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Proceedings of the European Computing Conference Volume 2
Proceedings of the European Computing Conference Volume 2
Author 
Mastorakis, Nikos. editor. Mladenov, Valeri. editor. Kontargyri, Vassiliki T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-85437-3
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Introduction à la commande des robots humanoïdes De la modélisation à la génération du mouvement
Introduction à la commande des robots humanoïdes De la modélisation à la génération du mouvement
Author 
Kajita, Shuuji. author. Hirukawa, Hirohisa. author. Harada, Kensuke. author. Yokoi, Kazuhito. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-2-287-87716-2
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Trends in Intelligent Systems and Computer Engineering
Trends in Intelligent Systems and Computer Engineering
Author 
Castillo, Oscar. editor. Xu, Li. editor. Ao, Sio-Iong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-74935-8
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Springer Handbook of Robotics
Springer Handbook of Robotics
Author 
Siciliano, Bruno. editor. Khatib, Oussama. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-30301-5
Format: 
Availability 
Online Library~1
Available:
Copies: