search result

Cover von Introduction to Interval Analysis
Author: Moore, Ramon E.; Kearfott, Ralph Baker; Cloud, Michael J. Search for this author
Year: 2009
Publisher: Philadelphia, SIAM
Media group: MONOGRAPHIE
Cover von Innovations for requirement analysis
from stakeholders' needs to formal designs : 14th Monterey workshop 2007, Monterey, CA, USA, September 10 - 13, 2007; revised selected papers
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5320
Media group: MONOGRAPHIE
Cover von Noninterference through flow analysis

Noninterference through flow analysis

article
Author: Honda, Kohei; Yoshida, Nobuko
Year: 2005
Media group: ARTICLE
Cover von Scalable program analysis
Search for this author
Year: 2008
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 08161
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Secure transaction protocol analysis
models and applications
Author: Chen, Qingfeng; Zhang, Chengqi; Zhang, Shichao Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5111
Media group: MONOGRAPHIE
Cover von Statistical implicative analysis
theory and applications
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Studies in computational intelligence; 127
Media group: MONOGRAPHIE
Cover von Analysis of biological networks
Search for this author
Year: 2008
Publisher: Chichester, Wiley
Series: Wiley series on bioinformatics
Media group: MONOGRAPHIE
Cover von Shape analysis and structuring
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Mathematics and visualization
Media group: MONOGRAPHIE
Cover von Topics in matrix analysis
Author: Horn, Roger A.; Johnson, Charles R. Search for this author
Year: 2006
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
Cover von Advances in data analysis
proceedings of the 30th annual conference of the Gesellschaft für Klassifikation e.V., Freie Universität Berlin, March 8 - 10, 2006
Search for this author
Year: 2007
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
OPEN V 11.1.0.0