Jump to main content

yr 〜
yr

Search results 4

Service-oriented and cloud computing : third European conference, ESOCC 2014 : Manchester, UK, September 2-4, 2014 : proceedings : Sep 2014, Manchester, UK. (Lecture Notes in Computer Science ; 8745)

Service-oriented and cloud computing : third European conference, ESOCC 2014 : Manchester, UK, September 2-4, 2014 : proceedings : Sep 2014, Manchester, UK. (Lecture Notes in Computer Science ; 8745)
Paper図書
Springer[2014]<M17-15-1526>
National Diet Library

Service-oriented and cloud computing : second European conference, ESOCC 2013 : Málaga, Spain, September 11-13, 2013 : proceedings : Sep 2013, Málaga, Spain. (Lecture Notes in Computer Science ; 8135)

Service-oriented and cloud computing : second European conference, ESOCC 2013 : Málaga, Spain, September 11-13, 2013 : proceedings : Sep 2013, Málaga, Spain. (Lecture Notes in Computer Science ; 8135)
Paper図書
Springerc2013.<M17-14-756>
National Diet Library

Formal methods and software engineering : 7th international conference on formal engineering methods, ICFEM 2005 : Manchester, UK, November 1-4, 2005 : proceedings. : Nov 2005, Manchester, UK. (Lecture Notes in Computer Science ; 3785)

Formal methods and software engineering : 7th international conference on formal engineering methods, ICFEM 2005 : Manchester, UK, November 1-4, 2005 : proceedings. : Nov 2005, Manchester, UK. (Lecture Notes in Computer Science ; 3785)
Paper図書
Springerc2005.<M17-06-129>
National Diet Library
  • Author HeadingLau, K.-K. (Kung-Kiu) , 1953- Banach, Richard. Internationa...

Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000 : London, UK, July 24-28, 2000 : selected papers. : Jul 2000, London, UK. (Lecture Notes in Computer Science ; 2042)

Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000 : London, UK, July 24-28, 2000 : selected papers. : Jul 2000, London, UK. (Lecture Notes in Computer Science ; 2042)
Paper図書
Springer2001.<M17-03-4647>
National Diet Library
  • Author HeadingLau, K.-K. (Kung-Kiu) , 1953- LOPSTR 2000 (2000 : London, E...

Reached to the end of result.

RSS