Výsledky hledání pro autora

Obálka

Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers

Vydáno: 2003

Kniha

Obálka

Formal approaches to agent-based systems : third international workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers

Vydáno: 2005

Plný text

Kniha

Obálka

Innovative concepts for autonomic and agent-based systems : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005 : revised...

Vydáno: 2006

Plný text

Kniha

Obálka

ZUM'95 : The Z formal specification notation. 9th international conference of Z Users Limerick, Ireland, September 7-9, 1995. Proceedings

Vydáno: 1995

Kniha

Obálka

Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

Vydáno: 2007

Plný text

E-kniha

Obálka

ZUM '97: the Z formal specification notation : 10th international conference of Z Users, Reading, UK, April 3-4, 1997. Proceedings

Vydáno: 1997

Kniha

Obálka

ZUM '98 : The Z formal specification notation. 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

Vydáno: 1998

Kniha

Obálka

Formal Approaches to Agent-Based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Vydáno: 2005

Plný text

E-kniha

Obálka

Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings

Vydáno: 2007

Plný text

Kniha

Obálka

Innovative Concepts for Autonomic and Agent-Based Systems : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised P...

Vydáno: 2006

Plný text

E-kniha