search result

Cover von Automated technology for verification and analysis
5th international symposium : Tokyo, Japan, October 22 - 25, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4762
Media group: MONOGRAPHIE
Cover von Formal modeling and analysis of timed systems
5th international conference : Salzburg, Austria, October 3 - 5, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4763
Media group: MONOGRAPHIE
Cover von Independent component analysis and blind signal separation
7th international conference, London, UK, September 9 - 12, 2007, proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4666
Media group: MONOGRAPHIE
Cover von Computer analysis of images and patterns
12th international conference : Vienna, Austria, August 27 - 29, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4673
Media group: MONOGRAPHIE
Cover von Automated technology for verification and analysis
4th international symposium, Beijing, China, October 23 - 26, 2006, proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4218
Media group: MONOGRAPHIE
Cover von Computer vision approaches to medical image analysis
second international ECCV workshop, Graz, Austria, May 12, 2006, revised papers
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4241
Media group: MONOGRAPHIE
Cover von Formal modeling and analysis of timed systems
4th international conference, Paris, France, September 25 - 27, 2006, proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4202
Media group: MONOGRAPHIE
Cover von Independent component analysis and blind signal separation
6th international conference, Charleston, SC, USA, March 5 - 8, 2006 : proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3889
Media group: MONOGRAPHIE
Cover von Formal modeling and analysis of timed systems
third international conference, Uppsala, Sweden, September 26 - 28, 2005 : proceedings
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3829
Media group: MONOGRAPHIE
Cover von Computer analysis of images and patterns
11th international conference, Versailles, France, September 5 - 8, 2005, proceedings
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3691
Media group: MONOGRAPHIE
OPEN V 11.1.0.0