search result

Cover von ViSSaAn

ViSSaAn

Visual Support for Safety Analysis
Year: 2011
Media group: ARTICLE
Cover von Computational Logic and Set Theory
Applying Formalized Logic to Analysis
Author: Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio Search for this author
Year: 2011
Publisher: London, Springer
Media group: MONOGRAPHIE
Cover von Graph Transformation Systems in Constraint Handling Rules
Improved Methods for Program Analysis
Author: Raiser, Frank Search for this author
Year: 2010
Publisher: Ulm, Universität
Media group: DISSERTATION
Cover von Handbook of Blind Source Separation
Independent Component Analysis and Applications
Search for this author
Year: 2010
Publisher: Boston, Academic Press
Media group: MONOGRAPHIE
Cover von ggplot2
Elegant Graphics for Data Analysis
Author: Wickham, Hadley Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Use R
Media group: MONOGRAPHIE
Cover von Mathematical frameworks for component software
models for analysis and synthesis
Search for this author
Year: 2006
Publisher: Singapore, World Scientific
Series: Series on component-based software development; 2
Media group: MONOGRAPHIE
Cover von Linear feedback control
analysis and design with MATLAB
Author: Xue, Dingyü; Chen, YangQuan; Atherton, Derek P. Search for this author
Year: 2007
Publisher: Philadelphia, SIAM
Series: Advances in design and control; 14
Media group: MONOGRAPHIE
Cover von One-sided arguments
a dialectical analysis of bias
Author: Walton, Douglas N. Search for this author
Year: 1999
Publisher: Albany, State University of New York Press
Series: SUNY series in logic and language
Media group: MONOGRAPHIE
Cover von Scientific methods in mobile robotics
quantitative analysis of agent behaviour
Author: Nehmzow, Ulrich Search for this author
Year: 2006
Publisher: London, Springer
Media group: MONOGRAPHIE
Cover von Partial differential equations
modeling, analysis, computation
Author: Mattheij, Robert M. M.; Rienstra, Sjoerd W.; Thije Boonkkamp, J. H. M. ten Search for this author
Year: 2005
Publisher: Philadelphia, SIAM
Series: SIAM monographs on mathematical modeling and computation; 10
Media group: MONOGRAPHIE
OPEN V 11.1.0.0