search result

Cover von An analysis of the information technology standardization process
proceedings of the international symposium on information technology standardization held in Braunschweig, FRG, 4 - 7 July 1989
Search for this author
Year: 1990
Publisher: Amsterdam, North-Holland
Media group: MONOGRAPHIE
Cover von Part I.; Tools and Algorithms for the Construction and Analysis of Systems
29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22 - 27, 2023, Proceedings, Part I
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science; 13993
Media group: MONOGRAPHIE
Cover von Part II.; Tools and Algorithms for the Construction and Analysis of Systems
29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 13994
Media group: MONOGRAPHIE
Cover von Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Search for this author
Year: 2015
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages; 2. 2015, 2/3
Media group: MONOGRAPHIE
Cover von Topological Methods in Data Analysis and Visualization VI
Theory, Applications, and Software
Search for this author
Year: 2021
Publisher: Berlin, Springer
Series: Mathematics and visualization
Media group: MONOGRAPHIE
Cover von Amortised Analysis of Dynamic Data Structures (Invited Talk)

Amortised Analysis of Dynamic Data Structures (Invited Talk)

Year: 2023
Media group: LIPIcs
Cover von Contributions to Dynamic Analysis of Differential Evolution Algorithms
article
Search for this author
Year: 2023
Publisher: Cambridge, MIT Press
Series: Evolutionary Computation; accepted paper
Media group: ARTICLE
Cover von Data Analysis for Network Cyber-Security
Search for this author
Year: 2014
Publisher: London, Imperial College Press
Media group: MONOGRAPHIE
Cover von Higher-order Fourier Analysis and Applications
Author: Hatami, Hamed; Hatami, Pooya; Lovett, Shachar Search for this author
Year: 2019
Publisher: Boston, Now Publishers
Series: Foundations and trends in theoretical computer science; 13. 2019, 4
Media group: ONLINEBOOK
Cover von Cloud-Based Benchmarking of Medical Image Analysis
Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Media group: OPENACCESS
OPEN V 11.1.0.0