search result

Cover von Applications of tree automata in rewriting, logic and programming
20.10. - 24.10.97 (9743)
Search for this author
Year: 1997
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 193
Media group: DAGSTUHL-SEMINAR-REP
Cover von Modellierung 2018
21.02.2018 - 23.02.2018, Braunschweig, Deutschland
Search for this author
Year: 2018
Publisher: Bonn, Gesellschaft für Informatik e.V.
Series: Lecture notes in informatics / P; 280
Media group: MONOGRAPHIE
Cover von Datenbanksysteme für Business, Technologie und Web (BTW 2015)
Tagung vom 04. - 06. März 2015 in Hamburg
Search for this author
Year: 2015
Publisher: Bonn, Gesellschaft für Informatik e.V.
Series: Lecture notes in informatics / P; 241
Media group: CD
Cover von Datenbanksysteme in Business, Technologie und Web (BTW)
12. Fachtagung des GI-Fachbereichs Datenbanken und Informationssysteme (DBIS) : 07. - 09. 03. 2007 in Aachen
Search for this author
Year: 2007
Publisher: Bonn, Gesellschaft für Informatik e.V.
Series: Lecture notes in informatics / P; 103
Media group: MONOGRAPHIE
Cover von Validation of QBF Encodings with Winning Strategies

Validation of QBF Encodings with Winning Strategies

Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0