نتایج جستجو
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Jasmin Fisher (auth.), 2011
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Jasmin Fisher (auth.), 2011
Mentoring and Diversity. An international perspective
David Clutterbuck, 2002
Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
Yoshihito Toyama (auth.), 2005
Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
Yoshihito Toyama (auth.), 2005
Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings
Randal E. Bryant (auth.), 2006
Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings
Randal E. Bryant (auth.), 2006
