search result

Cover von Implementation and application of functional languages
19th international symposium, Freiburg, Germany, September 27 - 29, 2007, revised selected papers
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5083
Media group: MONOGRAPHIE
Cover von Reliable implementation of real number algorithms
theory and practice : international seminar, Dagstuhl Castle, Germany, January 8 - 13, 2006, revised papers
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5045
Media group: MONOGRAPHIE
Cover von Scaling topic maps
third international conference on topic maps research and applications : Leipzig, Germany, October 11 - 12, 2007 : revised selected papers
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 4999
Media group: MONOGRAPHIE
Cover von Fourth international conference on logic programming and nonmonotonic reasoning; 3/4
conference report : LPNMR 97, Dagstuhl, Germany, 28 - 31 July 1997 : article : pp. 203-207
Search for this author
Year: 1997
Publisher: Amsterdam, IOS Press
Count: 3/4
Series: AI Communications; 10. 1997, 3/4 : S. 203-207
Media group: ARTICLE
Cover von Resilient networks and services
second international conference on autonomous infrastructure, management and security : Bremen, Germany, July 1 - 3, 2008 : proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5127
Media group: MONOGRAPHIE
Cover von Performance Evaluation: Metrics, Models and Benchmarks
SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings
Search for this author
Year: 2008
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 5119
Media group: MONOGRAPHIE
Cover von Model driven architecture
foundations and applications : 4th European conference : Berlin, Germany, June 9 - 13, 2008 : proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5095
Media group: MONOGRAPHIE
Cover von Formal methods for industrial critical systems
12th international workshop : Berlin, Germany, July 1 - 2, 2007 : revised selected papers
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4916
Media group: MONOGRAPHIE
Cover von Selected papers of the workshop weighted automata; 4
theory and applications, Leipzig, Germany, March 27 - 31, 2006 : special issue : S. 433-572
Search for this author
Year: 2007
Publisher: Magdeburg, Otto-von-Guericke-Universität
Count: 4
Media group: SPECIAL ISSUE
Cover von Finite fields and applications
proceedings of the fifth international conference on finite fields and applications : held at the University of Augsburg, Germany, August 2 - 6, 1999
Search for this author
Year: 2001
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
OPEN V 11.1.0.0