search result

Cover von Computer aided verification
5th international conference : Elounda, Greece, June 28 - July 1, 1993 : proceedings
Search for this author
Year: 1993
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 697
Media group: MONOGRAPHIE
Cover von Computer assisted learning
3rd international conference : Hagen, FRG, June 11 - 13, 1990 : proceedings
Search for this author
Year: 1990
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 438
Media group: MONOGRAPHIE
Cover von Computer aided systems theory
EUROCAST '89 : a selection of papers from the international workshop : Las Palmas, Spain, February 26 - March 4, 1989 : proceedings
Search for this author
Year: 1990
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 410
Media group: MONOGRAPHIE
Cover von Computer assisted learning
2nd international conference : Dallas, TX, USA, May 9 - 11, 1989 : proceedings
Search for this author
Year: 1989
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 360
Media group: MONOGRAPHIE
Cover von Trends in computer algebra
international symposium : Bad Neuenahr, May 19 - 21, 1987 : proceedings
Search for this author
Year: 1988
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 296
Media group: MONOGRAPHIE
Cover von Theoretical computer science
6th GI-Conference : Dortmund, January 5 - 7, 1983
Search for this author
Year: 1982
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 145
Media group: MONOGRAPHIE
Cover von Theoretical computer science
5th GI-Conference : Karlsruhe, March 23 - 25, 1981
Search for this author
Year: 1981
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 104
Media group: MONOGRAPHIE
Cover von Theoretical computer science
4th GI conference : Aachen, March 26 - 28, 1979
Search for this author
Year: 1979
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 67
Media group: MONOGRAPHIE
Cover von Computer science logic
5th workshop : Berne, Switzerland, October 7 - 11, 1991 : proceedings
Search for this author
Year: 1992
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 626
Media group: MONOGRAPHIE
Cover von Intelligent Human Computer Interaction
14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20 - 22, 2022, Revised Selected Papers
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13741
Media group: MONOGRAPHIE
OPEN V 11.1.0.0