Limit Search Results
Author
Jain, Lakhmi C. editor.
(137)
Filipe, Joaquim. editor.
(75)
Nguyen, Ngoc Thanh. editor.
(72)
Abraham, Ajith. editor.
(69)
Kacprzyk, Janusz. editor.
(67)
Language
Publication Date
-
2013
(7991)
2012
(6632)
2011
(6512)
2009
(5781)
2010
(5642)
Subject
Computer science.
(11576)
Engineering.
(7871)
Medicine.
(7488)
Economics.
(7225)
Artificial intelligence.
(6167)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
65976 Results Found Subscribe to search results
000000000000DEFAULT
Print
601. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
Author 
Huisman, Marieke. editor. Ravara, António. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520993.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35355-0
Format: 
Availability 
Online Library~1
Available:
Copies:
602. 
Cover image for Coordination Models and Languages 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
Coordination Models and Languages 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
Author 
Jongmans, Sung-Shik. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520994.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35361-1
Format: 
Availability 
Online Library~1
Available:
Copies:
603. 
Cover image for Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV
Author 
Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number 
XX(520973.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42293-5
Format: 
Availability 
Online Library~1
Available:
Copies:
604. 
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:
605. 
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:
606. 
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:
607. 
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:
608. 
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:
609. 
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:
610. 
Cover image for Music in the AI Era 15th International Symposium, CMMR 2021, Virtual Event, November 15-19, 2021, Revised Selected Papers
Music in the AI Era 15th International Symposium, CMMR 2021, Virtual Event, November 15-19, 2021, Revised Selected Papers
Author 
Aramaki, Mitsuko. editor. Hirata, Keiji. editor. Kitahara, Tetsuro. editor. Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor.
Preferred Shelf Number 
XX(520999.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35382-6
Format: 
Availability 
Online Library~1
Available:
Copies:
611. 
Cover image for Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings
Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings
Author 
Bordihn, Henning. editor. Tran, Nicholas. editor. Vaszil, György. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521000.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34326-1
Format: 
Availability 
Online Library~1
Available:
Copies:
612. 
Cover image for Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Author 
Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.
Preferred Shelf Number 
XX(521001.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36402-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action