search result

Cover von Automated Deduction
CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27 - 30, 2019, Proceedings
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 11716
Media group: MONOGRAPHIE
Cover von Verification, Model Checking, and Abstract Interpretation
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13 - 15, 2019, Proceedings
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 11388
Media group: MONOGRAPHIE
Cover von Learning and Intelligent Optimization
12th International Conference, LION 12, Kalamata, Greece, June 10-15, 2018, Revised Selected Papers
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11353
Media group: MONOGRAPHIE
Cover von Verified Software
Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18 - 19, 2018, Revised Selected Papers
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11294
Media group: MONOGRAPHIE
Cover von Formal Aspects of Component Software
15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11222
Media group: MONOGRAPHIE
Cover von Mathematical Aspects of Computer and Information Sciences
7th International Conference, MACIS 2017, Vienna, Austria, November 15 - 17, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10693
Media group: MONOGRAPHIE
Cover von Developments in Language Theory
21st International Conference, DLT 2017, Liege, Belgium, August 7 - 11, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10396
Media group: MONOGRAPHIE
Cover von Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Author: Grohe, Martin Search for this author
Year: 2017
Publisher: Cambridge, Cambridge University Press
Series: Lecture notes in logic; 47
Media group: MONOGRAPHIE
Cover von Surveys in Combinatorics 2015
Search for this author
Year: 2015
Publisher: Cambridge, Cambridge University Press
Series: London Mathematical Society lecture note series; 424
Media group: MONOGRAPHIE
Cover von Deductive Software Verification
The KeY Book : From Theory to Practice
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10001
Media group: MONOGRAPHIE
OPEN V 11.1.0.0