search result

Cover von Advances in image and video technology
second Pacific Rim symposium : Santiago, Chile, December 17 - 19, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4872
Media group: MONOGRAPHIE
Cover von Advances in image and video technology
first Pacific Rim symposium, Hsinchu, Taiwan, December 10 - 13, 2006, proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4319
Media group: MONOGRAPHIE
Cover von Information systems technology and its applications
international conference, June 19 - 21, 2003, Kharkiv, Ukraine
Search for this author
Year: 2003
Publisher: Bonn, Gesellschaft für Informatik e.V.
Series: Lecture notes in informatics / P; 30
Media group: MONOGRAPHIE
Cover von Information systems technology and its applications
international conference, June 13 - 15, 2001, Kharkiv, Ukraine
Search for this author
Year: 2001
Publisher: Bonn, Gesellschaft für Informatik e.V.
Series: Lecture notes in informatics / P; 2
Media group: MONOGRAPHIE
Cover von Automated Technology for Verification and Analysis
23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 16145
Media group: MONOGRAPHIE
Cover von Advanced Intelligent Computing Technology and Applications

Advanced Intelligent Computing Technology and Applications

21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings
2025
Berlin, Springer
Series: Lecture notes in computer science; 15842/15861, Lecture notes in artificial intelligence; 15862/15865, Lecture notes in bioinformatics; 15866/15869
Media group: GESAMTWERK
Volumes loading
Cover von Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings
2025
Berlin, Springer
Series: Lecture notes in computer science; 15054/15055
Media group: GESAMTWERK
Volumes loading
Cover von Advanced Intelligent Computing Technology and Applications

Advanced Intelligent Computing Technology and Applications

20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings
2024
Berlin, Springer
Series: Lecture notes in computer science; 14862/14874, Lecture notes in artificial intelligence; 14875/14880, Lecture notes in bioinformatics; 14881/14882
Media group: GESAMTWERK
Volumes loading
Cover von Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

21st International Symposium, ATVA 2023, Singapore, October 24 - 27, 2023, Proceedings
2023
Berlin, Springer
Series: Lecture notes in computer science; 14215/14216
Media group: GESAMTWERK
Volumes loading
Cover von Research and advanced technology for digital libraries
third European conference : Paris, France, September 22 - 24, 1999 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1696
Media group: MONOGRAPHIE
OPEN V 11.1.0.0