search result

Cover von Data-Driven Process Discovery and Analysis
Second IFIP WG 2.6, 2.12 International Symposium, SIMPDA 2012, Campione d'Italia, Italy, June 18 - 20, 2012, Revised Selected Papers
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in business information processing; 162
Media group: MONOGRAPHIE
Cover von Tools and Algorithms for the Construction and Analysis of Systems
19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 7795
Media group: MONOGRAPHIE
Cover von Data-Driven Process Discovery and Analysis
First International Symposium, SIMPDA 2011, Campione D’Italia, Italy, June 29 - July 1, 2011, Revised Selected Papers
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in business information processing; 116
Media group: MONOGRAPHIE
Cover von Tools and Algorithms for the Construction and Analysis of Systems
18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 7214
Media group: MONOGRAPHIE
Cover von Tools and Algorithms for the Construction and Analysis of Systems
17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 6605
Media group: MONOGRAPHIE
Cover von Tools and Algorithms for the Construction and Analysis of Systems
16th International Conference, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 29, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 6015
Media group: MONOGRAPHIE
Cover von Tools and Algorithms for the Construction and Analysis of Systems
15th International Conference, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22 - 29, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5505
Media group: MONOGRAPHIE
Cover von Tools and algorithms for the construction and analysis of systems
14th international conference : held as part of the joint European conferences on theory and practice of software : ETAPS 2008 : Budapest, Hungary, March 29 - April 6, 2008 : proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4963
Media group: MONOGRAPHIE
Cover von Tools and algorithms for the construction and analysis of systems
13th international conference, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4424
Media group: MONOGRAPHIE
Cover von Tools and algorithms for the construction and analysis of systems
12th international conference, TACAS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3920
Media group: MONOGRAPHIE
OPEN V 11.1.0.0