search result

Cover von Computer science logic
14th international workshop : annual conference of the EACSL : Fischbachau, Germany, August 21 - 26, 2000 : proceedings
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1862
Media group: MONOGRAPHIE
Cover von Theoretical computer science
exploring new frontiers of theoretical informatics : international conference : Sendai, Japan, August 17 - 19, 2000 : proceedings
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1872
Media group: MONOGRAPHIE
Cover von Computer aided verification
12th international conference : Chicago, IL, USA, July 15 - 19, 2000 : proceedings
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1855
Media group: MONOGRAPHIE
Cover von Biologically motivated computer vision
first IEEE international workshop : Seoul, Korea, May 15 - 17, 2000 : proceedings
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1811
Media group: MONOGRAPHIE
Cover von Computer performance evaluation
modelling techniques and tools : 7th international conference : Vienna, Austria, May 3 - 6, 1994 : proceedings
Search for this author
Year: 1994
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 794
Media group: MONOGRAPHIE
Cover von Computer Aided Systems Theory
EUROCAST 2015 : 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9520
Media group: MONOGRAPHIE
Cover von Computer science logic
21st international workshop, CSL 2007 : 16th annual conference of the EACSL : Lausanne, Switzerland, September 11 - 15, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4646
Media group: MONOGRAPHIE
Cover von Computer science logic
20th international workshop, 15th annual conference of the EACSL, Szeged, Hungary, September 25 - 29, 2006, proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4207
Media group: MONOGRAPHIE
Cover von Computer and information sciences
19th international symposium, Kemer-Antalya, Turkey, October 27 - 29, 2004 : proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3280
Media group: MONOGRAPHIE
Cover von Computer performance evaluation
modelling techniques and tools : 13th international conference, Urbana, IL, USA, September 2 - 5, 2003 : proceedings
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2794
Media group: MONOGRAPHIE
OPEN V 11.1.0.0