Výsledky hledání pro autora

1

Obálka

Constraint programming : basics and trends : 1994 Châtillon spring school, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers /

Vydáno 1995

Další autoři: '; “...Podelski, Andreas...”

Kniha

2

Obálka

Tree automata and languages /

Vydáno 1992

Další autoři: '; “...Podelski, Andreas...”

Kniha

3

Obálka

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 : Barcelona, Spain, March 29-April 11, 2004 : proceedings /

Vydáno 2004

Další autoři: '; “...Podelski, Andreas...”

Kniha

4

Obálka

Verification, model checking, and abstract interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /

Vydáno 2007

Další autoři: '; “...Podelski, Andreas...”

Kniha