search result

Cover von Testing of component-based systems and software quality

Testing of component-based systems and software quality
Net.ObjectDays workshops on testing of component-based systems and software quality in Erfurt, Germany, September 30, 2004
Search for this author
Year: 2005
Publisher: Bonn, Gesellschaft für Informatik e.V.
Series: Lecture notes in informatics / P; 58
Media group: MONOGRAPHIE
Cover von Proceedings of the tenth ACM SIGKDDD international conference on knowledge discovery and data mining

Proceedings of the tenth ACM SIGKDDD international conference on knowledge discovery and data mining
August 22 - 25, 2004, Seattle, Washington, USA
Search for this author
Year: 2004
Publisher: New York, ACM
Media group: KONGRESSBERICHT
Cover von Advanced lectures on machine learning

Advanced lectures on machine learning
machine learning summer school 2002, Canberra, Australian, February 11 - 22, 2002, revised lectures
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 2600
Media group: MONOGRAPHIE
Cover von Kalas

Kalas
A Verified, End-To-End Compiler for a Choreographic Language
Year: 2022
Media group: LIPIcs
Cover von Complications for Computational Experiments from Modern Processors

Complications for Computational Experiments from Modern Processors
Year: 2021
Media group: LIPIcs
Cover von The PACE 2019 Parameterized Algorithms and Computational Experiments Challenge

The PACE 2019 Parameterized Algorithms and Computational Experiments Challenge

The Fourth Iteration (Invited Paper)
Year: 2019
Media group: LIPIcs
Cover von Weighted Model Counting on the GPU by Exploiting Small Treewidth

Weighted Model Counting on the GPU by Exploiting Small Treewidth
Year: 2018
Media group: LIPIcs
Cover von DynASP2.5

DynASP2.5
Dynamic Programming on Tree Decompositions in Action
Year: 2018
Media group: LIPIcs
Cover von Foundational and Practical Aspects of Resource Analysis

Foundational and Practical Aspects of Resource Analysis
4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9964
Media group: MONOGRAPHIE
Cover von Interactive Theorem Proving

Interactive Theorem Proving
Second International Conference, Berg en Dal, The Netherlands, August 22 - 25, 2011, Proceedings
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6898
Media group: MONOGRAPHIE
OPEN V 11.1.0.0