Výsledky hledání pro autora

1

Heuristic search : theory and applications /

Autor Edelkamp, Stefan, 1969-, Schrödl, Stefan
Vydáno 2011

Kniha

2

Obálka

Model checking and artificial intelligence : 4th Workshop, MoChArt IV : Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers /

Vydáno 2007

Další autoři: '; “...Edelkamp, Stefan, 1969-...”

Kniha

3

Obálka

Model Checking Software : 14th International SPIN Workshop : Berlin, Germany, July 1-3, 2007 : proceedings /

Vydáno 2007

Další autoři: '; “...Edelkamp, Stefan, 1969-...”

Kniha