search result

Cover von Computer aided design and test
BDDs versus SAT : 28.01. - 02.02.01, Seminar Nr. 01051
Search for this author
Year: 2001
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 297
Media group: DAGSTUHL-SEMINAR-REP
Cover von Decision diagrams
concepts and applications ; 24.01.1999 - 29.01.1999 (99041)
Search for this author
Year: 1999
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 229
Media group: DAGSTUHL-SEMINAR-REP
Cover von Values in Computing; 7
pp. 40-77
Search for this author
Year: 2019
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 7
Media group: DAGSTUHL REPORT
Cover von Distributed Algorithms for Low Stretch Spanning Trees

Distributed Algorithms for Low Stretch Spanning Trees

Year: 2019
Media group: LIPIcs
Cover von Machine Learning Methods for Computer Security; 1
pp. 1-30
Author: Vinju, Jurgen J. Search for this author
Year: 2017
Publisher: Wadern, LZI
Dagstuhl Manifestos
Count: 1
Media group: DAGSTUHL-MANIFESTOS
Cover von Climate Change
What is Computing’s Responsibility?
Search for this author
Publisher: Wadern, LZI
Dagstuhl Manifestos
Media group: DAGSTUHL-MANIFESTOS
OPEN V 11.1.0.0