search result

Cover von Latent Variable Analysis and Signal Separation
9th International Conference, St. Malo, France, September 27 - 30, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6365
Media group: MONOGRAPHIE
Cover von Formal Modeling and Analysis of Timed Systems
8th International Conference, Klosterneuburg, Austria, September 8 - 10, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6246
Media group: MONOGRAPHIE
Cover von Automated Technology for Verification and Analysis
8th International Symposium, Singapore, September 21 - 24, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6252
Media group: MONOGRAPHIE
Cover von Advances in Social Network Mining and Analysis
Second International Workshop, Las Vegas, NV, USA, August 24 - 27, 2008, Revised Selected Papers
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5498
Media group: MONOGRAPHIE
Cover von Automated Technology for Verification and Analysis
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
Search for this author
Year: 2009
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 5799
Media group: MONOGRAPHIE
Cover von Formal Modeling and Analysis of Timed Systems
7th International Conference, Budapest, Hungary, September 14 - 16, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5813
Media group: MONOGRAPHIE
Cover von Computer Analysis of Images and Patterns
13th International Conference, Münster, Germany, September 2 - 4, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5702
Media group: MONOGRAPHIE
Cover von Independent Component Analysis and Signal Separation
8th International Conference, Paraty, Brazil, March 15 - 18, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5441
Media group: MONOGRAPHIE
Cover von Automated technology for verification and analysis
6th international symposium, Seoul, Korea, October 20 - 23, 2008, proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5311
Media group: MONOGRAPHIE
Cover von Formal modeling and analysis of timed systems
6th international conference, Saint Malo, France, September 15 - 17, 2008, proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5215
Media group: MONOGRAPHIE
OPEN V 11.1.0.0