Limit Search Results
Author
SpringerLink (Online service)
(23)
Cai, Zhiping. editor. (orcid)0000-0001-5726-833X
(2)
Choi, Bong Jun. editor. (orcid)0000-0002-6550-749X
(2)
Chung, Wan-Young. editor.
(2)
Singh, Dhananjay. editor. (orcid)0000-0003-3822-9348
(2)
Language
Publication Date
-
Subject
Computer System Implementation.
(23)
Software engineering.
(11)
Computer Communication Networks.
(10)
Computer networks .
(10)
Computers, Special purpose.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
23 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024, Proceedings
Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024, Proceedings
Author 
Rey, Gaëtan. editor. (orcid)0000-0003-4710-0474 Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384 Franquet, Erwin. editor. (orcid)0000-0002-7009-1521 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82065-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers
Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers
Author 
Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74558-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Author 
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77382-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I
Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I
Author 
Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78377-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Theoretical Computer Science 42nd National Conference, NCTCS 2024, Qingdao, China, July 19-21, 2024, Revised Selected Papers
Theoretical Computer Science 42nd National Conference, NCTCS 2024, Qingdao, China, July 19-21, 2024, Revised Selected Papers
Author 
Yin, Yitong. editor. (orcid)0000-0001-9204-7794 Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 Cai, Zhiping. editor. (orcid)0000-0001-5726-833X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1490-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Intelligent Human Computer Interaction 15th International Conference, IHCI 2023, Daegu, South Korea, November 8-10, 2023, Revised Selected Papers, Part I
Intelligent Human Computer Interaction 15th International Conference, IHCI 2023, Daegu, South Korea, November 8-10, 2023, Revised Selected Papers, Part I
Author 
Choi, Bong Jun. editor. (orcid)0000-0002-6550-749X Singh, Dhananjay. editor. (orcid)0000-0003-3822-9348 Tiwary, Uma Shanker. editor. Chung, Wan-Young. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53827-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Intelligent Human Computer Interaction 15th International Conference, IHCI 2023, Daegu, South Korea, November 8-10, 2023, Revised Selected Papers, Part II
Intelligent Human Computer Interaction 15th International Conference, IHCI 2023, Daegu, South Korea, November 8-10, 2023, Revised Selected Papers, Part II
Author 
Choi, Bong Jun. editor. (orcid)0000-0002-6550-749X Singh, Dhananjay. editor. (orcid)0000-0003-3822-9348 Tiwary, Uma Shanker. editor. Chung, Wan-Young. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53830-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
Author 
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2300-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings
Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings
Author 
Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109 Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953 Eick, Bettina. editor. (orcid)0000-0003-2884-6545 Leykin, Anton. editor. (orcid)0000-0002-9216-3514 Ren, Yue. editor. (orcid)0000-0002-6005-7119
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64529-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
Author 
Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66064-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Architecture of Computing Systems 37th International Conference, ARCS 2024, Potsdam, Germany, May 14-16, 2024, Proceedings
Architecture of Computing Systems 37th International Conference, ARCS 2024, Potsdam, Germany, May 14-16, 2024, Proceedings
Author 
Fey, Dietmar. editor. (orcid)0000-0002-6077-4732 Stabernack, Benno. editor. (orcid)0000-0002-6654-1606 Lankes, Stefan. editor. (orcid)0000-0003-4718-2238 Pacher, Mathias. editor. (orcid)0000-0001-5313-5898 Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66146-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Constructive Side-Channel Analysis and Secure Design 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings
Constructive Side-Channel Analysis and Secure Design 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings
Author 
Wacquez, Romain. author. Homma, Naofumi. editor. (orcid)0000-0003-0864-3126 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57543-3
Format: 
Availability 
Online Library~1
Available:
Copies: