Limit Search Results
Author
SpringerLink (Online service)
(4826)
Apduhan, Bernady O. editor.
(47)
Gervasi, Osvaldo. editor.
(46)
Taniar, David. editor.
(38)
Dongarra, Jack. editor.
(31)
Language
Publication Date
-
2018
(424)
2011
(400)
2012
(369)
2010
(343)
2009
(334)
Subject
Computer science.
(3279)
Computer Communication Networks.
(1478)
Artificial intelligence.
(1354)
Information systems.
(823)
Logic design.
(748)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
4928 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part I
Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part I
Author 
Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75144-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part II
Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part II
Author 
Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75147-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Services Computing - SCC 2024 21st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
Services Computing - SCC 2024 21st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
Author 
He, Sheng. editor. (orcid)0000-0002-7142-8990 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-77000-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75775-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Author 
C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78116-2
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Electronic Governance with Emerging Technologies Third International Conference, EGETC 2024, Jakarta, Indonesia, September 25-26, 2024, Revised Selected Papers
Electronic Governance with Emerging Technologies Third International Conference, EGETC 2024, Jakarta, Indonesia, September 25-26, 2024, Revised Selected Papers
Author 
Ortiz-Rodriguez, Fernando. editor. (orcid)0000-0003-2084-3462 Tiwari, Sanju. editor. (orcid)0000-0001-7197-0766 Krisnadhi, Adila Alfa. editor. (orcid)0000-0003-0745-6804 Medina-Quintero, Jose Melchor. editor. (orcid)0000-0003-3466-7113 Valle-Cruz, David. editor. (orcid)0000-0002-5204-8095
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77029-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Internet of Things 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, Nice, France, November 6-8, 2024, Proceedings
Internet of Things 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, 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-81900-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
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:
34. 
Cover image for Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings
Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings
Author 
Li, Bo. editor. (orcid)0000-0001-7500-8355 Li, Minming. editor. (orcid)0000-0002-7370-6237 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7752-5
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Current Trends in Web Engineering ICWE 2024 International Workshops, BECS and WALS, Tampere, Finland, June 17, 2024, Revised Selected Papers
Current Trends in Web Engineering ICWE 2024 International Workshops, BECS and WALS, Tampere, Finland, June 17, 2024, Revised Selected Papers
Author 
Pautasso, Cesare. editor. Marcel, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75110-3
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Author 
Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action