search result

Cover von Information Retrieval Technology
15th Asia Information Retrieval Societies Conference, AIRS 2019, Hong Kong, China, November 7 - 9, 2019, Proceedings
Author: Wang, Fu Lee; Xie, Haoran; Lam, Wai Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12004
Media group: MONOGRAPHIE
Cover von Part I.; Intelligent Information and Database Systems
18th Asian Conference, ACIIDS 2026, Kaohsiung, Taiwan, April 13–15, 2026, Proceedings, Part I
Search for this author
Year: 2026
Publisher: Berlin, Springer
Volume: Part I.
Series: Lecture notes in artificial intelligence; 16530
Media group: MONOGRAPHIE
Cover von Part II.; Intelligent Information and Database Systems
18th Asian Conference, ACIIDS 2026, Kaohsiung, Taiwan, April 13–15, 2026, Proceedings, Part II
Search for this author
Year: 2026
Publisher: Berlin, Springer
Volume: Part II.
Series: Lecture notes in artificial intelligence; 16531
Media group: MONOGRAPHIE
Cover von Ophthalmic Medical Image Analysis
12th International Workshop, OMIA 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 27, 2025, Proceedings
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 16209
Media group: MONOGRAPHIE
Cover von Ophthalmic Medical Image Analysis
11th International Workshop, OMIA 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 15188
Media group: MONOGRAPHIE
Cover von Formalizing, Mechanizing, and Verifying Class-Based Refinement Types

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types

Year: 2024
Media group: LIPIcs
Cover von Ophthalmic Medical Image Analysis
10th International Workshop, OMIA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14096
Media group: MONOGRAPHIE
Cover von Security, Privacy, and Anonymity in Computation, Communication, and Storage
SpaCCS 2020 International Workshops, Nanjing, China, December 18 - 20, 2020, Proceedings
Search for this author
Year: 2021
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12383
Media group: MONOGRAPHIE
OPEN V 11.1.0.0