Limit Search Results
Author
SpringerLink (Online service)
(47)
Taylor and Francis.
(4)
Chen, Phoebe. editor.
(2)
Dang-Nguyen, Duc-Tien. editor.
(2)
Dao, Minh-Son. editor.
(2)
Language
Publication Date
-
Subject
Artificial intelligence.
(7)
Computer science.
(6)
Engineering.
(4)
Logic design.
(4)
Abstraction.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
88 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers
Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers
Author 
Vishnevskiy, Vladimir M. editor. Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30648-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Artificial Intelligence and Machine Learning 34th Joint Benelux Conference, BNAIC/Benelearn 2022, Mechelen, Belgium, November 7-9, 2022, Revised Selected Papers
Artificial Intelligence and Machine Learning 34th Joint Benelux Conference, BNAIC/Benelearn 2022, Mechelen, Belgium, November 7-9, 2022, Revised Selected Papers
Author 
Calders, Toon. editor. Vens, Celine. editor. Lijffijt, Jefrey. editor. Goethals, Bart. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39144-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Business Process Management Workshops BPM 2022 International Workshops, Münster, Germany, September 11-16, 2022, Revised Selected Papers
Business Process Management Workshops BPM 2022 International Workshops, Münster, Germany, September 11-16, 2022, Revised Selected Papers
Author 
Cabanillas, Cristina. editor. Garmann-Johnsen, Niels Frederik. editor. Koschmider, Agnes. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25383-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Programming Languages: Principles and Paradigms
Programming Languages: Principles and Paradigms
Author 
Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34144-1
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Author 
Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for MultiMedia Modeling 29th International Conference, MMM 2023, Bergen, Norway, January 9-12, 2023, Proceedings, Part I
MultiMedia Modeling 29th International Conference, MMM 2023, Bergen, Norway, January 9-12, 2023, Proceedings, Part I
Author 
Dang-Nguyen, Duc-Tien. editor. Gurrin, Cathal. editor. Larson, Martha. editor. Smeaton, Alan F. editor. Rudinac, Stevan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27077-2
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for MultiMedia Modeling 29th International Conference, MMM 2023, Bergen, Norway, January 9-12, 2023, Proceedings, Part II
MultiMedia Modeling 29th International Conference, MMM 2023, Bergen, Norway, January 9-12, 2023, Proceedings, Part II
Author 
Dang-Nguyen, Duc-Tien. editor. Gurrin, Cathal. editor. Larson, Martha. editor. Smeaton, Alan F. editor. Rudinac, Stevan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27818-1
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
Author 
Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36889-9
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35382-6
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings
Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings
Author 
Almeida, João Paulo A. editor. (orcid) Borbinha, José. editor. Guizzardi, Giancarlo. editor. (orcid) Link, Sebastian. editor. Zdravkovic, Jelena. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47262-6
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Author 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets