search result

Cover von Security in pervasive computing
first international conference : Boppard, Germany, March 12 - 14, 2003, revised papers
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2802
Media group: MONOGRAPHIE
Cover von Mechanizing mathematical reasoning
essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 2605
Media group: MONOGRAPHIE
Cover von Applied formal methods
international workshop on current trends in applied formal methods : Boppard, Germany, October 7 - 9, 1998 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1641
Media group: MONOGRAPHIE
OPEN V 11.1.0.0