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
73. 
Cover image for Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Author 
Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521245.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45784-5
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part IV
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part IV
Author 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number 
XX(521246.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6492-5
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V
Author 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number 
XX(521247.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6495-6
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers
Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers
Author 
Porkoláb, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521248.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42833-3
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
Author 
André, Étienne. editor. Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521249.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45332-8
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Extended Reality International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part I
Extended Reality International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part I
Author 
De Paolis, Lucio Tommaso. editor. Arpaia, Pasquale. editor. Sacco, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521124.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43401-3
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Extended Reality International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part II
Extended Reality International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part II
Author 
De Paolis, Lucio Tommaso. editor. Arpaia, Pasquale. editor. Sacco, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521125.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43404-4
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings
Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings
Author 
Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Ruiz, M. Dolores. editor. Andreasen, Troels. editor. Bordogna, Gloria. editor.
Preferred Shelf Number 
XX(521126.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42935-4
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Author 
Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521127.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43264-4
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Computational Logistics 14th International Conference, ICCL 2023, Berlin, Germany, September 6-8, 2023, Proceedings
Computational Logistics 14th International Conference, ICCL 2023, Berlin, Germany, September 6-8, 2023, Proceedings
Author 
Daduna, Joachim R. editor. Liedtke, Gernot. editor. Shi, Xiaoning. editor. Voß, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521128.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43612-3
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers
Author 
Madeira, Alexandre. editor. Martins, Manuel A. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521254.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43345-0
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings
Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings
Author 
Tekinerdogan, Bedir. editor. Trubiani, Catia. editor. Tibermacine, Chouki. editor. Scandurra, Patrizia. editor. Cuesta, Carlos E. editor.
Preferred Shelf Number 
XX(521130.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42592-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action