Limit Search Results
Author
Blumenstein, Michael. editor.
(3)
Cho, Sung-Bae. editor.
(3)
Kamiya, Tohru. editor.
(3)
Liu, Cheng-Lin. editor.
(3)
Lu, Huimin. editor.
(3)
Language
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
28 Results Found Subscribe to search results
0000000000000000000000000000DEFAULT
Print
1. 
Cover image for Foundation Mathematics for Computer Science A Visual Approach
Foundation Mathematics for Computer Science A Visual Approach
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520271.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-17411-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Mathematics for Computer Scientists A Practice-Oriented Approach
Mathematics for Computer Scientists A Practice-Oriented Approach
Author 
Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520344.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Intelligent Computer Mathematics 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
Intelligent Computer Mathematics 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
Author 
Dubois, Catherine. editor. Kerber, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520882.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42753-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Algorithms and Discrete Applied Mathematics 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9-11, 2023, Proceedings
Algorithms and Discrete Applied Mathematics 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9-11, 2023, Proceedings
Author 
Bagchi, Amitabha. editor. Muthu, Rahul. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520884.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25211-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520846.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30445-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520851.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30442-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computational Mathematics Modeling in Cancer Analysis Second International Workshop, CMMCA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings
Computational Mathematics Modeling in Cancer Analysis Second International Workshop, CMMCA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings
Author 
Qin, Wenjian. editor. Zaki, Nazar. editor. Zhang, Fa. editor. Wu, Jia. editor. Yang, Fan. editor.
Preferred Shelf Number 
XX(521227.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45087-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advances in Quantitative Ethnography 4th International Conference, ICQE 2022, Copenhagen, Denmark, October 15-19, 2022, Proceedings
Advances in Quantitative Ethnography 4th International Conference, ICQE 2022, Copenhagen, Denmark, October 15-19, 2022, Proceedings
Author 
Damşa, Crina. editor. Barany, Amanda. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520223.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31726-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
Author 
Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Preferred Shelf Number 
XX(520682.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36336-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Prolog: The Next 50 Years
Prolog: The Next 50 Years
Author 
Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.
Preferred Shelf Number 
XX(521397.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35254-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part III
Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part III
Author 
Botto-Tobar, Miguel. editor. (orcid) Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)
Preferred Shelf Number 
XX(520273.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24978-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Visions of DNA Nanotechnology at 40 for the Next 40 A Tribute to Nadrian C. Seeman
Visions of DNA Nanotechnology at 40 for the Next 40 A Tribute to Nadrian C. Seeman
Author 
Jonoska, Nataša. editor. Winfree, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520483.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-9891-1
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Author 
Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520823.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26689-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Codes, Cryptology and Information Security 4th International Conference, C2SI 2023, Rabat, Morocco, May 29-31, 2023, Proceedings
Codes, Cryptology and Information Security 4th International Conference, C2SI 2023, Rabat, Morocco, May 29-31, 2023, Proceedings
Author 
El Hajji, Said. editor. Mesnager, Sihem. editor. Souidi, El Mamoun. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520866.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33017-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Computer Analysis of Images and Patterns 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part I
Computer Analysis of Images and Patterns 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part I
Author 
Tsapatsoulis, Nicolas. editor. Lanitis, Andreas. editor. Pattichis, Marios. editor. Pattichis, Constantinos. editor. Kyrkou, Christos. editor.
Preferred Shelf Number 
XX(521402.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44237-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520259.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-21112-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II
Author 
Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520264.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-23947-2
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520574.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Advances in Swarm Intelligence 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part I
Advances in Swarm Intelligence 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part I
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Luo, Wenjian. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521023.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36622-2
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Advances in Swarm Intelligence 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part II
Advances in Swarm Intelligence 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part II
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Luo, Wenjian. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521024.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36625-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part II
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number 
XX(521298.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37108-0
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part I
Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part I
Author 
Botto-Tobar, Miguel. editor. (orcid) Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)
Preferred Shelf Number 
XX(520654.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24985-3
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
Author 
Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520965.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40113-8
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Blended Learning : Lessons Learned and Ways Forward 16th International Conference on Blended Learning, ICBL 2023, Hong Kong, China, July 17-20, 2023, Proceedings
Blended Learning : Lessons Learned and Ways Forward 16th International Conference on Blended Learning, ICBL 2023, Hong Kong, China, July 17-20, 2023, Proceedings
Author 
Li, Chen. editor. (orcid) Cheung, Simon K. S. editor. Wang, Fu Lee. editor. Lu, Angel. editor. (orcid) Kwok, Lam For. editor.
Preferred Shelf Number 
XX(521046.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35731-2
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part I
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number 
XX(521188.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37105-9
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part I
Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part I
Author 
Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.
Preferred Shelf Number 
XX(521317.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47634-1
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part II
Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part II
Author 
Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.
Preferred Shelf Number 
XX(521318.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47637-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part III
Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part III
Author 
Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.
Preferred Shelf Number 
XX(521319.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47665-5
Format: 
Availability 
Online Library~1
Available:
Copies: