search result

Cover von A Posteriori Error Estimation in Finite Element Analysis
Author: Ainsworth, Mark; Oden, J. Tinsley Search for this author
Year: 2000
Publisher: Chichester, Wiley
Series: Pure and applied mathematics
Media group: MONOGRAPHIE
Cover von From Lambda Calculus to Cybersecurity Through Program Analysis
Essays Dedicated to Chris Hankin on the Occasion of His Retirement
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 12065
Media group: MONOGRAPHIE
Cover von Productive Multivocality in the Analysis of Group Interactions
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Computer-supported collaborative learning series
Media group: MONOGRAPHIE
Cover von Multimodal Brain Image Analysis and Mathematical Foundations of Computational Anatomy
4th International Workshop, MBIA 2019, and 7th International Workshop, MFCA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings
Author: Fletcher, P. Thomas Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11846
Media group: MONOGRAPHIE
Cover von Simple Analysis of Sparse, Sign-Consistent JL

Simple Analysis of Sparse, Sign-Consistent JL

Year: 2019
Media group: LIPIcs
Cover von Analysis, Design, and Control of Predictable Interconnected Systems; 3
pp. 1-15
Search for this author
Year: 2019
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 3
Media group: DAGSTUHL REPORT
Cover von Cross-Corpora Analysis of Spatial Language

Cross-Corpora Analysis of Spatial Language

The Case of Fictive Motion (Short Paper)
Year: 2019
Media group: LIPIcs
Cover von Formal Proof and Analysis of an Incremental Cycle Detection Algorithm

Formal Proof and Analysis of an Incremental Cycle Detection Algorithm

Year: 2019
Media group: LIPIcs
Cover von Dynamic analysis and design of a semiconductor supply chain

Dynamic analysis and design of a semiconductor supply chain

a control engineering approach
Year: 2018
Media group: ARTICLE
Cover von Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques

Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0