search result

Cover von Abstract Response-Time Analysis

Abstract Response-Time Analysis

A Formal Foundation for the Busy-Window Principle
Year: 2020
Media group: LIPIcs
Cover von A Pedagogical Analysis of Online Coding Tutorials
article in SIGCSE '17: Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education
Search for this author
Year: 2017
Publisher: New York, ACM
Media group: ARTICLE
Cover von Composing Model-Based Analysis Tools; 11
pp. 97-116
Search for this author
Year: 2020
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 11
Media group: DAGSTUHL REPORT
Cover von Topology, Computation and Data Analysis; 9,5
pp. 110-131
Search for this author
Year: 2019
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 9,5
Media group: DAGSTUHL REPORT
Cover von Surface Computing and Collaborative Analysis Work
Search for this author
Year: 2013
Publisher: San Rafael, Morgan & Claypool Publishers
Series: Synthesis Lectures on Human-Centered Informatics; 19
Media group: MONOGRAPHIE
Cover von Singular Spectrum Analysis for Time Series
Author: Golyandina, Nina; Zhigljavsky, Anatoly A. Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: SpringerBriefs in Statistics
Media group: MONOGRAPHIE
Cover von Quantitative Continuity and Computable Analysis in Coq

Quantitative Continuity and Computable Analysis in Coq

Year: 2019
Media group: LIPIcs
Cover von New Trends in Image Analysis and Processing
ICIAP 2019 : ICIAP International Workshops, BioFor, PatReCH, e-BADLE, DeepRetail, and Industrial Session, Trento, Italy, September 9 - 10, 2019, Revised Selected Papers
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11808
Media group: MONOGRAPHIE
Cover von Modelling and analysis of semiconductor supply chains

Modelling and analysis of semiconductor supply chains

editorial
Year: 2018
Media group: ARTICLE
Cover von Part II.; Computer Analysis of Images and Patterns
18th International Conference, CAIP 2019, Salerno, Italy, September 3 - 5, 2019, Proceedings, Part II
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 11679
Media group: MONOGRAPHIE
OPEN V 11.1.0.0