search result

Cover von Multivariate Amortised Resource Analysis for Term Rewrite Systems

Multivariate Amortised Resource Analysis for Term Rewrite Systems

Year: 2015
Media group: LIPIcs
Cover von Architecture-Driven Semantic Analysis of Embedded Systems
special issue : pp. 1-92
Search for this author
Year: 2015
Publisher: Amsterdam, Elsevier
Media group: SPECIAL ISSUE
Cover von Intrinsic Plagiarism Detection and Author Analysis by Utilizing Grammar
Author: Tschuggnall, Michael Search for this author
Year: 2014
Publisher: Innsbruck, Universität
Media group: DISSERTATION
Cover von Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs
Author: Shen, Ruijing; Tan, Sheldon X.-D.; Yu, Hao Search for this author
Year: 2012
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Fundamentals of Complex Analysis Engineering Science, and Mathematics
Author: Saff, Edward B.; Snider, Arthur David Search for this author
Year: 2014
Publisher: Boston, Pearson Education
Media group: MONOGRAPHIE
Cover von Transfinite Update Procedures for Predicative Systems of Analysis

Transfinite Update Procedures for Predicative Systems of Analysis

Year: 2011
Media group: LIPIcs
Cover von On Bounded Reachability Analysis of Shared Memory Systems

On Bounded Reachability Analysis of Shared Memory Systems

Year: 2014
Media group: LIPIcs
Cover von Towards Advanced Data Analysis by Combining Soft Computing and Statistics
Search for this author
Year: 2013
Publisher: Heidelberg, Springer
Series: Studies in fuzziness and soft computing; 285
Media group: MONOGRAPHIE
Cover von Methods for Multilevel Analysis and Visualisation of Geographical Networks
Search for this author
Year: 2013
Publisher: Heidelberg, Springer
Series: Methodos Series; 11
Media group: MONOGRAPHIE
Cover von Analysis, Control and Optimization of Complex Dynamic Systems
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: GERAD 25th anniversary series; 4
Media group: MONOGRAPHIE
OPEN V 11.1.0.0