search result

Cover von Partial Order Reduction for Reachability Games

Partial Order Reduction for Reachability Games

Year: 2019
Media group: LIPIcs
Cover von Algorithms for Sensor Systems
9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers
Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 8243
Media group: MONOGRAPHIE
Cover von A Visual Approach to Analysis of Stress Tensor Fields

A Visual Approach to Analysis of Stress Tensor Fields

Year: 2011
Media group: ARTICLE
Cover von Mobilität im ,,Future Internet“

Mobilität im ,,Future Internet“

Geräte- und Ressourcenmobilität: Herausforderungen und Techniken im Überblick
Year: 2010
Future Internet
Media group: ARTICLE
Cover von Objects, components, models and patterns
46th international conference : Zurich, Switzerland, June 30 - July 4, 2008 : proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in business information processing; 11
Media group: MONOGRAPHIE
Cover von From animals to animats 10
10th international conference on simulation of adaptive behavior, Osaka, Japan, July 7 - 12, 2008 : proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 5040
Media group: MONOGRAPHIE
Cover von Computational aesthetics 2007
Eurographics workshop on computational aesthetics in graphics, visualization and imaging : Banff, Alberta, Canada, 20 - 22 June 2007
Search for this author
Year: 2007
Publisher: Aire-la-Ville, Eurographics Association
Media group: KONGRESSBERICHT
Cover von 18th IEEE international symposium on defect and fault tolerance in VLSI systems
proceedings, 3 - 5 November 2003, Boston, Massachusetts
Search for this author
Year: 2003
Publisher: Piscataway, IEEE
Media group: KONGRESSBERICHT
Cover von 39th international conference and exhibition on technology of object-oriented languages and systems
proceedings, 29 July - 3 August 2001, Santa Barbara, California, USA
Search for this author
Year: 2001
Publisher: Piscataway, IEEE
Media group: KONGRESSBERICHT
Cover von Technology of object oriented language and systems
proceedings, Nanjing, P.R. China, 22 - 25 September 1999
Search for this author
Year: 1999
Publisher: Piscataway, IEEE
Media group: KONGRESSBERICHT
OPEN V 11.1.0.0