search result

Cover von Automated Technology for Verification and Analysis
17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28 - 31, 2019, Proceedings
Search for this author
Year: 2019
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 11781
Media group: MONOGRAPHIE
Cover von Computer Analysis of Images and Patterns

Computer Analysis of Images and Patterns

18th International Conference, CAIP 2019, Salerno, Italy, September 3 - 5, 2019, Proceedings
2019
Berlin, Springer
Series: Lecture notes in computer science; 11678/11679
Media group: GESAMTWERK
Volumes loading
Cover von Formal Modeling and Analysis of Timed Systems
17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27 - 29, 2019, Proceedings
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11750
Media group: MONOGRAPHIE
Cover von Software Analysis, Testing, and Evolution
8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23 - 24, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11293
Media group: MONOGRAPHIE
Cover von Advances in Intelligent Data Analysis XVII
17th International Symposium, IDA 2018, 's-Hertogenbosch, The Netherlands, October 24 - 26, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11191
Media group: MONOGRAPHIE
Cover von Automated Technology for Verification and Analysis
16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7 - 10, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11138
Media group: MONOGRAPHIE
Cover von Formal Modeling and Analysis of Timed Systems
16th International Conference, FORMATS 2018, Beijing, China, September 4 - 6, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11022
Media group: MONOGRAPHIE
Cover von Latent Variable Analysis and Signal Separation
14th International Conference, LVA/ICA 2018, Guildford, UK, July 2 - 5, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10891
Media group: MONOGRAPHIE
Cover von Automated Technology for Verification and Analysis
15th International Symposium, ATVA 2017, Pune, India, October 3 - 6, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Formal Methods; 10482
Media group: MONOGRAPHIE
Cover von Formal Modeling and Analysis of Timed Systems
15th International Conference, FORMATS 2017, Berlin, Germany, September 5 - 7, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10419
Media group: MONOGRAPHIE
OPEN V 11.1.0.0