search result

Cover von Synthesis from component libraries

Synthesis from component libraries

article
Year: 2013
Synthesis
Media group: ARTICLE
Cover von Synthesis from Probabilistic Components

Synthesis from Probabilistic Components

Year: 2011
Media group: LIPIcs
Cover von Computer aided verification
10th international conference : Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings
Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1427
Media group: MONOGRAPHIE
Cover von Database theory
Search for this author
Year: 1998
Publisher: Amsterdam, Elsevier
Series: Theoretical computer science : 190. 1998, 2
Media group: SPECIAL ISSUE
Cover von Database theory
5th international conference : Prague, Czech Republic, January 11 - 13, 1995 : proceedings
Search for this author
Year: 1995
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 893
Media group: MONOGRAPHIE
Cover von Design and Synthesis from Components; 6
pp. 29-47
Search for this author
Year: 2014
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 6
Media group: DAGSTUHL REPORT
Cover von Synthesis and planning
Search for this author
Year: 2005
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 05241
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Logic for programming, artificial intelligence, and reasoning
10th international conference, Almaty, Kazakhstan, September 22 - 26, 2003, proceedings
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 2850
Media group: MONOGRAPHIE
Cover von Formal techniques for networked and distributed systems
22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11 - 14, 2002, proceedings
Search for this author
Year: 2002
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2529
Media group: MONOGRAPHIE
Cover von Flow Games

Flow Games

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0