search result

Cover von Computer aided design and test decision diagrams

Computer aided design and test decision diagrams
concepts and applications : 27.01. - 31.01.97 (9705)
Search for this author
Year: 1997
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 166
Media group: DAGSTUHL-SEMINAR-REP
Cover von Computer aided design and test

Computer aided design and test
15.02. - 19.02.93 (9307)
Search for this author
Year: 1993
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 56
Media group: DAGSTUHL-SEMINAR-REP
Cover von Quo vadis, Informatik; 6

Quo vadis, Informatik; 6
Innovation dank Informatik : Teil 4 einer Nachlese zum Perspektiven-Workshop in Dagstuhl : Artikel S. 458-459
Search for this author
Year: 2007
Publisher: Berlin, Springer
Informatik Spektrum
Count: 6
Media group: ARTICLE
Cover von Quo vadis, Informatik; 5

Quo vadis, Informatik; 5
Innovation dank Informatik : Teil 3 einer Nachlese zum Perspektiven-Workshop in Dagstuhl : Artikel S. 374-377
Search for this author
Year: 2007
Publisher: Berlin, Springer
Informatik Spektrum
Count: 5
Media group: ARTICLE
Cover von Quo vadis, Informatik; 4

Quo vadis, Informatik; 4
Innovation dank Informatik : Teil 2 einer Nachlese zum Perspektiven-Workshop in Dagstuhl : Artikel S. 291-296
Search for this author
Year: 2007
Publisher: Berlin, Springer
Informatik Spektrum
Count: 4
Media group: ARTICLE
Cover von Quo vadis, Informatik; 3

Quo vadis, Informatik; 3
Innovation dank Informatik : Teil 1 einer Nachlese zum Perspektiven-Workshop in Dagstuhl : Artikel S. 207-211
Search for this author
Year: 2007
Publisher: Berlin, Springer
Informatik Spektrum
Count: 3
Media group: ARTICLE
Cover von Computer aided design and test

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 Probabilistic methods in verification

Probabilistic methods in verification
30.04. - 05.05.00, Seminar Nr. 00181
Search for this author
Year: 2000
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 273
Media group: DAGSTUHL-SEMINAR-REP
Cover von Decision diagrams

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 SOFSEM 2007

SOFSEM 2007
theory and practice of computer science : 33rd conference on current trends in theory and practice of computer science, Harrachov, Czech Republic, January 20 - 26, 2007, proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4362
Media group: MONOGRAPHIE
OPEN V 11.1.0.0