Jump to main content

yr 〜
yr

Search results 5

Foundations of software science and computational structures : 6th international conference, FOSSACS 2003 held as part of the joint European conferences on theory and practice of software, ETAPS 2003 : Warsaw, Poland, April 7-11, 2003 : proceedings. : Apr 2003, Warsaw, Poland. (Lecture Notes in Computer Science ; 2620)

Foundations of software science and computational structures : 6th international conference, FOSSACS 2003 held as part of the joint European conferences on theory and practice of software, ETAPS 2003 : Warsaw, Poland, April 7-11, 2003 : proceedings. : Apr 2003, Warsaw, Poland. (Lecture Notes in Computer Science ; 2620)
Paper図書
Springerc2003.<M17-04-435>
National Diet Library
  • Author Heading...f Informatics. Gordon, Andrew D. FOSSACS 2003 (2003 : Warsaw, ...

Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings : pbk

Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings : pbk
Paper図書
Andrew D. Gordon, (ed.)Springerc2010
Other Libraries in Japan
  • Author Heading...ce of Software Gordon, Andrew D.

Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Paper図書
Andrew D. Gordon (ed.)Springerc2003
Other Libraries in Japan
  • Author HeadingFOSSACS European Conferences on Theory and Practice of Software Gordon, Andrew D.

Higher order operational techniques in semantics

Higher order operational techniques in semantics
Paper図書
edited by Andrew D. Gordon and Andrew M. PittsCambridge University Pressc1998
Other Libraries in Japan
  • Author HeadingGordon, Andrew D. Pitts, A. M

Functional programming and input/output

Functional programming and input/output
Paper図書
Andrew D. GordonCambridge University Press1994
Other Libraries in Japan
  • Author HeadingGordon, Andrew D.

Reached to the end of result.

RSS