search result

Cover von Foundational and Practical Aspects of Resource Analysis
Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 8552
Media group: MONOGRAPHIE
Cover von Latent Variable Analysis and Signal Separation
10th International Conference, Tel Aviv, Israel, March 12 - 15, 2012, Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7191
Media group: MONOGRAPHIE
Cover von Formal Modeling and Analysis of Timed Systems
9th International Conference, Aalborg, Denmark, September 21 - 23, 2011, Proceedings
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6919
Media group: MONOGRAPHIE
Cover von Foundational and Practical Aspects of Resource Analysis
First International Workshop, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6324
Media group: MONOGRAPHIE
Cover von Analysis and modeling of faces and gestures
third international workshop : Rio de Janeiro, Brazil, October 20, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4778
Media group: MONOGRAPHIE
Cover von Foundations of security analysis and design IV
FOSAD 2006 / 2007 tutorial lectures
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4677
Media group: MONOGRAPHIE
Cover von Spatial coherence for visual motion analysis
first international workshop, Prague, Czech Republic, May 15, 2004 : revised papers
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3667
Media group: MONOGRAPHIE
Cover von Analysis and modelling of faces and gestures
second international workshop, Beijing, China, October 16, 2005 : proceedings
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3723
Media group: MONOGRAPHIE
Cover von Automated technology for verification and analysis
third international symposium, Taipei, Taiwan, October 4 - 7, 2005, proceedings
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3707
Media group: MONOGRAPHIE
Cover von Foundations of security analysis and design III
FOSAD 2004 / 2005 tutorial lectures
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 3655
Media group: MONOGRAPHIE
OPEN V 11.1.0.0