Jump to main content

yr 〜
yr

Search results 3

Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Paper図書
Gérard Berry, Hubert Comon, Alain Finkel (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingCAV (Conference) Berry, Gérard Comon, Hubert Finkel, Alain

STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993 : proceedings : gw : us

STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993 : proceedings : gw : us
Paper図書
P. Enjalbert, A. Finkel, K.W. Wagner (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author HeadingSymposium on Theoretical Aspects of Computer Science Enjalbert, P Finkel, Alain Wagner, K. W

STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings : gw : us

STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings : gw : us
Paper図書
A. Finkel, M. Jantzen (eds.)Springer-Verlagc1992
Other Libraries in Japan
  • Author HeadingSymposium on Theoretical Aspects of Computer Science Finkel, Alain Jantzen, Matthias

Reached to the end of result.

RSS