search result

Cover von Comparing Transparent Static Analyzers with Open Verification Dashboard

Comparing Transparent Static Analyzers with Open Verification Dashboard

Year: 2026
Media group: LIPIcs
Cover von Experimentology
An Open Science Approach to Experimental Psychology Methods
Author: Frank, Michael C. Search for this author
Year: 2025
Publisher: Cambridge, MIT Pr.
Media group: MONOGRAPHIE
Cover von A Polynomial Delay Algorithm Generating All Potential Maximal Cliques in Triconnected Planar Graphs

A Polynomial Delay Algorithm Generating All Potential Maximal Cliques in Triconnected Planar Graphs

Year: 2025
Media group: LIPIcs
Cover von Brief Announcement

Brief Announcement

Intrinsic Universality in Seeded Active Tile Self-Assembly
Year: 2025
Media group: LIPIcs
Cover von Exercises in Numerical Linear Algebra and Matrix Factorizations
Author: Lyche, Tom; Muntingh, Georg; Ryan, Øyvind Search for this author
Year: 2021
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Software Ecosystems
Tooling and Analytics
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Fast Reconfiguration for Programmable Matter

Fast Reconfiguration for Programmable Matter

Year: 2023
Media group: LIPIcs
Cover von A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy

A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy

Year: 2023
Media group: OASICS
Cover von Program analysis and compilation, theory and practice
essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 4444
Media group: MONOGRAPHIE
Cover von No Unification Variable Left Behind

No Unification Variable Left Behind

Fully Grounding Type Inference for the HDM System
Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0