search result

Cover von Analysis, Architectures and Modelling of Embedded Systems
Third IFIP TC 10 International Embedded Systems Symposium, Langenargen, Germany, September 14 - 16, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: IFIP Advances in Information and Communication Technology; 310
Media group: MONOGRAPHIE
Cover von Data quality and high-dimensional data analysis
Proceedings of the DASFAA 2008 Workshops
Search for this author
Year: 2009
Publisher: Singapore, World Scientific
Media group: MONOGRAPHIE
Cover von Handbook of Statistical Analysis and Data Mining Applications
Search for this author
Year: 2009
Publisher: Boston, Academic Press
Media group: MONOGRAPHIE
Cover von Representation, Analysis and Visualization of Moving Objects
Search for this author
Year: 2008
Publisher: Wadern, LZI
Series: Dagstuhl Seminar Proceedings; 08451
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Statistical and geometrical approaches to visual motion analysis
Search for this author
Year: 2008
Publisher: Wadern, LZI
Series: Dagstuhl Seminar Proceedings; 08291
Media group: DAGSTUHL-SEMINAR-PRO
Cover von A monadic analysis of information flow security with mutable state

A monadic analysis of information flow security with mutable state

article
Author: Crary, Karl; Kliger, Aleksey; Pfenning, Frank
Year: 2005
Media group: ARTICLE
Cover von Introduction to the numerical analysis of incompressible viscous flows
Author: Layton, William Search for this author
Year: 2008
Publisher: Philadelphia, SIAM
Series: Computational science and engineering; 6
Media group: MONOGRAPHIE
Cover von Performance analysis of TCP connections sharing a congested Internet link

Performance analysis of TCP connections sharing a congested Internet link

article
Year: 2000
Media group: ARTICLE
Cover von A general framework for automatic termination analysis of logic programs

A general framework for automatic termination analysis of logic programs

article
Year: 2001
Termination
Media group: ARTICLE
Cover von A database system for the analysis of biochemical pathways

A database system for the analysis of biochemical pathways

article
Author: Rojas Mujica, Isabel
Year: 2002
Media group: ARTICLE
OPEN V 11.1.0.0