12 treff

International SPIN Workshop
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings
International SPIN Workshop
Bok Engelsk 2006
Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings
International SPIN Workshop
Bok Engelsk 2005
Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
International SPIN Workshop
Bok Engelsk 2004
Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
International SPIN Workshop
Bok Engelsk 2003
Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
International SPIN Workshop
Bok Engelsk 2002
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
International SPIN Workshop
Bok Engelsk 2001
SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
International SPIN Workshop
Bok Engelsk 2000
Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
International SPIN Workshop
Bok Engelsk 1999
Spin - orbit-influenced spectroscopies of magnetic solids : proceedings of an international workshop held at Herrsching, Germany, April 20-23, 1995

Bok Engelsk 1996
Electron spin resonance and related phenomena in low-dimensional structures
Marco Fanciulli (ed.)
Bok Engelsk 2009
Current studies on South American languages : selected papers from the 50th International Congress of Americanists in Warsaw and the Spinoza Workshop on Amerindian Languages in Leiden, 2000
edited by Mily Crevels ... [et al.]
Bok Engelsk 2002
Magnetic excitations and fluctuations : proceedings of an international workshop, San Miniato, Italy, May 28-June 1, 1984
editors: S. W. Lovesey ... [et al.]
Bok Språk ikke angitt 1984