Limit Search Results
Author
SpringerLink (Online service)
(65973)
Project Muse.
(12563)
Wiley InterScience (Online service)
(6745)
John Wiley & Sons.
(896)
IGI Global, publisher.
(602)
Language
Publication Date
-
2011
(18883)
2012
(18466)
2013
(15672)
2010
(15251)
2009
(10588)
Subject
Computer science.
(11616)
Engineering.
(7944)
Medicine.
(7535)
Economics.
(7326)
Artificial intelligence.
(6263)
Material Type
Library
Switch to list view
Switch to thumbnail view
154032 Results Found Subscribe to search results
000000000000DEFAULT
Print
2017. 
Cover image for Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers
Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers
Author 
Chang, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520974.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38938-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2018. 
Cover image for Artificial Evolution 15th International Conference, Évolution Artificielle, EA 2022, Exeter, UK, October 31 - November 2, 2022, Revised Selected Papers
Artificial Evolution 15th International Conference, Évolution Artificielle, EA 2022, Exeter, UK, October 31 - November 2, 2022, Revised Selected Papers
Author 
Legrand, Pierrick. editor. Liefooghe, Arnaud. editor. Keedwell, Edward. editor. Lepagnot, Julien. editor. Idoumghar, Lhassane. editor.
Preferred Shelf Number 
XX(520975.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42616-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2019. 
Cover image for Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Author 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520976.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2020. 
Cover image for Advances in Bioinformatics and Computational Biology 16th Brazilian Symposium on Bioinformatics, BSB 2023, Curitiba, Brazil, June 13-16, 2023, Proceedings
Advances in Bioinformatics and Computational Biology 16th Brazilian Symposium on Bioinformatics, BSB 2023, Curitiba, Brazil, June 13-16, 2023, Proceedings
Author 
Reis, Marcelo S. editor. de Melo-Minardi, Raquel C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520977.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42715-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2021. 
Cover image for Algorithmic Game Theory 16th International Symposium, SAGT 2023, Egham, UK, September 4-7, 2023, Proceedings
Algorithmic Game Theory 16th International Symposium, SAGT 2023, Egham, UK, September 4-7, 2023, Proceedings
Author 
Deligkas, Argyrios. editor. Filos-Ratsikas, Aris. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520978.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43254-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2022. 
Cover image for Explainable and Transparent AI and Multi-Agent Systems 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers
Explainable and Transparent AI and Multi-Agent Systems 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers
Author 
Calvaresi, Davide. editor. (orcid) Najjar, Amro. editor. Omicini, Andrea. editor. Aydogan, Reyhan. editor. (orcid) Carli, Rachele. editor. (orcid)
Preferred Shelf Number 
XX(520979.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40878-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2023. 
Cover image for Interactive Collaborative Robotics 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023, Proceedings
Interactive Collaborative Robotics 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023, Proceedings
Author 
Ronzhin, Andrey. editor. Sadigov, Aminagha. editor. Meshcheryakov, Roman. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520980.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43111-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2024. 
Cover image for Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part I
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part I
Author 
Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)
Preferred Shelf Number 
XX(520981.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5834-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2025. 
Cover image for Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II
Author 
Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)
Preferred Shelf Number 
XX(520982.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5837-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2026. 
Cover image for Computer Security. ESORICS 2022 International Workshops CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers
Computer Security. ESORICS 2022 International Workshops CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers
Author 
Katsikas, Sokratis. editor. (orcid) Cuppens, Frédéric. editor. Kalloniatis, Christos. editor. (orcid) Mylopoulos, John. editor. Pallas, Frank. editor.
Preferred Shelf Number 
XX(520983.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25460-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2027. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520984.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2028. 
Cover image for Combinatorial Algorithms 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7-10, 2023, Proceedings
Combinatorial Algorithms 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7-10, 2023, Proceedings
Author 
Hsieh, Sun-Yuan. editor. Hung, Ling-Ju. editor. Lee, Chia-Wei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520985.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34347-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets