Jump to main content

yr 〜
yr

Search results 6

Formal methods for industrial critical systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, proceedings : pbk

Formal methods for industrial critical systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, proceedings : pbk
Paper図書
Jan Friso Groote, Marieke Huisman (eds.)Springerc2022
Other Libraries in Japan
  • Author Heading...itical Systems Groote, J. F. (Jan Frisco) Huisman, Marieke

Semantics of specification languages (SoSL) : proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993 :us :gw

Semantics of specification languages (SoSL) : proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993 :us :gw
Paper図書
D.J. Andrews, J.F. Groote, and C.A. MiddelburgSpringer-Verlag : Published in collaboration with the British Computer Societyc1994
Other Libraries in Japan
  • Author Heading...Andrews, Derek Groote, J. F. (Jan Frisco) Middelburg, Cornelis A.

Typed lambda calculi and applications : International Conference on Typed Lamda [i.e. Lambda] Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings : gw : us

Typed lambda calculi and applications : International Conference on Typed Lamda [i.e. Lambda] Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings : gw : us
Paper図書
M. Bezem, J.F. Groote, (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author Heading...zem, M. (Marc) Groote, J. F. (Jan Frisco)

Typed lambda calculi and applications / International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings / M. Bezem, J.F. Groote (eds.). (Lecture notes in computer science)

Typed lambda calculi and applications / International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings / M. Bezem, J.F. Groote (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8781>
National Diet Library
  • Author Heading...(Marc) , 1956- Groote, J. F. (Jan Frisco) , 1965-

CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991 : proceedings / J.C.M. Baeten, J.F. Groote (eds.). (Lecture notes in computer science)

CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991 : proceedings / J.C.M. Baeten, J.F. Groote (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1991.<M15-A7660>
National Diet Library
  • Author Heading...eten, J. C. M. Groote, J. F. (Jan Frisco) , 1965-

CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings : gw : us

CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings : gw : us
Paper図書
J.C.M. Baeten, J.F. Groote, (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Author Heading...eten, J. C. M. Groote, J. F. (Jan Frisco) Centrum voor Wiskunde en Info...

Reached to the end of result.

RSS