search result

Cover von Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1 - 5, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9681
Media group: MONOGRAPHIE
Cover von Mathematical Aspects of Computer and Information Sciences
6th International Conference, MACIS 2015, Berlin, Germany, November 11 - 13, 2015, Revised Selected Papers
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9582
Media group: MONOGRAPHIE
Cover von The Mathematics of Paul Erdös II
Search for this author
Year: 2013
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Theory and Practice of Formal Methods
Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 9660
Media group: MONOGRAPHIE
Cover von The Mathematics of Paul Erdös I
Search for this author
Year: 2013
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Geometry, Structure and Randomness in Combinatorics
Search for this author
Year: 2015
Publisher: Berlin, Springer
Series: Centro di Ricerca Matematica Ennio De Giorgi series; 18
Media group: MONOGRAPHIE
Cover von Distributed Computing and Internet Technology
12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15 - 18, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9581
Media group: MONOGRAPHIE
Cover von Reachability Problems
9th International Workshop, RP 2015, Warsaw, Poland, September 21 - 23, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9328
Media group: MONOGRAPHIE
Cover von Parameterized Algorithms
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von FM 2015: Formal Methods
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9109
Media group: MONOGRAPHIE
OPEN V 11.1.0.0