search result

Cover von Visualizing the robustness of query execution
article in 4th Biennial Conference on Innovative Data Systems Research (CIDR) January 4 - 7, 2009, Asilomar, California, USA
Search for this author
Year: 2009
Publisher: www.cidrdb.org
Series: Biennial Conference on Innovative Data Systems Research 2009; article
Media group: ARTICLE
Cover von Dagstuhl-Workshop MBEES
modellbasierte Entwicklung eingebetteter Systeme : Tagungsband : Model-based Development of Embedded Systems : 22. - 24.04.2009
Search for this author
Year: 2009
Publisher: Braunschweig, TU
Series: Informatik-Bericht / TU Braunschweig / Institut für Software Systems Engineering; 2009-01
Media group: TECHNICAL REPORT
Cover von Grasp Quality Evaluation in Underactuated Robotic Hands
article in 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) : pp. 1946-1953
Search for this author
Year: 2016
Publisher: Los Alamitos, IEEE
Series: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2016; article
Media group: ARTICLE
Cover von Agent-based simulation
from modeling methodologies to real-world applications : post-proceedings of the third international workshop on agent-based approaches in economic and social complex systems 2004
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Agent-based social systems; 1
Media group: MONOGRAPHIE
Cover von MassSpecGym
A benchmark for the discovery and identification of molecules : article in 38th Conference on Neural Information Processing Systems (NeurIPS 2024) Track on Datasets and Benchmarks
Author: Bushuiev, Roman; Bushuiev, Anton; Jonge, Nick de Search for this author
Year: 2024
Publisher: nips.cc
Series: Advances in Neural Information Processing Systems; 37 : article
Media group: ARTICLE
Cover von DIS 2002
serious reflection on designing interactive systems, The British Museum, London, 25 - 28 June 02, ACM SIGCHI
Search for this author
Year: 2002
Publisher: New York, ACM
Media group: KONGRESSBERICHT
Cover von FM '99

FM '99

formal methods : world congress on formal methods in the development of computing systems : Toulouse, France, September 20 - 24, 1999 : proceedings
1999
Berlin, Springer
Series: Lecture notes in computer science; 1708/1709
Media group: GESAMTWERK
Volumes loading
Cover von WITS 96
selected papers from 6th annual workshop on information technologies and systems, December 1996, Cleveland, Ohio, USA
Search for this author
Year: 1998
Publisher: Exeter, Pergamon Press
Series: Information system : 23. 1998, 6
Media group: SPECIAL ISSUE
Cover von Sigmetrics 98
joint international conference on measurement and modeling of computer systems : proceedings, June 22 - 26, 1998, Madison, Wisconsin, USA
Search for this author
Year: 1998
Publisher: New York, ACM
Series: Performance evaluation review : 26. 1998, 1
Media group: KONGRESSBERICHT
Cover von SIGDOC 92
the 10th annual international conference on systems documentation : conference proceedings : October 13 - 16, 1992, Ottawa, Canada
Search for this author
Year: 1992
Publisher: New York, ACM
Media group: KONGRESSBERICHT
OPEN V 11.1.0.0