Jump to main content

yr 〜
yr

Search results 7

Algebra and coalgebra in computer science : 4th International Conference, CALCO 2011, Winchester, UK, August 30-September 2, 2011 : proceedings

Algebra and coalgebra in computer science : 4th International Conference, CALCO 2011, Winchester, UK, August 30-September 2, 2011 : proceedings
Paper図書
Andrea Corradini, Bartek Klin, Corina Cîrstea (eds.)Springerc2011
Other Libraries in Japan
  • Author HeadingCALCO Corradini, Andrea Klin, Bartek Cîrstea, Corina

Graph transformations : Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 : proceedings

Graph transformations : Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 : proceedings
Paper図書
Andrea Corradini ... [et al.] (eds.)Springerc2006
Other Libraries in Japan
  • Author Heading...Transformation Corradini, Andrea Ehrig, Hartmut Montanari, Ugo...

Algebra and coalgebra in computer science : 4th international conference, CALCO 2011 : Winchester, UK, August 30-September 2, 2011 : proceedings : CALCO tools workshop : CALCO-tools workshop : main CALCO conference : Aug 2011, Winchester, UK. (Lecture Notes in Computer Science ; 6859)

Algebra and coalgebra in computer science : 4th international conference, CALCO 2011 : Winchester, UK, August 30-September 2, 2011 : proceedings : CALCO tools workshop : CALCO-tools workshop : main CALCO conference : Aug 2011, Winchester, UK. (Lecture Notes in Computer Science ; 6859)
Paper図書
Springerc2011.<M17-12-1144>
National Diet Library
  • Author Heading...ster, England) Corradini, Andrea, 1960- Klin, Bartek. Cîrstea...

Graph transformation : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings

Graph transformation : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings
Paper図書
Andrea Corradini ... [et al.] (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingInternational Conference on Graph Transformation Corradini, Andrea

Graph transformations : third international conference, ICGT 2006 : Natal, Rio Grande do Norte, Brazil : September 17-23, 2006 : proceedings. : Sep 2006, Natal, Brazil. (Lecture Notes in Computer Science ; 4178)

Graph transformations : third international conference, ICGT 2006 : Natal, Rio Grande do Norte, Brazil : September 17-23, 2006 : proceedings. : Sep 2006, Natal, Brazil. (Lecture Notes in Computer Science ; 4178)
Paper図書
Springerc2006.<M17-07-177>
National Diet Library
  • Author HeadingCorradini, Andrea, 1960- ICGT 2006 (2006 : Nata...

Recent trends in algebraic development techniques : 19th international workshop, WADT 2008 : Pisa, Italy, June 13-16, 2008 : revised selected papers. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5486)

Recent trends in algebraic development techniques : 19th international workshop, WADT 2008 : Pisa, Italy, June 13-16, 2008 : revised selected papers. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5486)
Paper図書
Springerc2009.<M17-10-1908>
National Diet Library
  • Author Heading...i informatica. Corradini, Andrea, 1960- Montanari, U. (Ugo) WA...

Graph transformation : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings. : Oct 2002, Barcelona, Spain. (Lecture Notes in Computer Science ; 2505)

Graph transformation : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings. : Oct 2002, Barcelona, Spain. (Lecture Notes in Computer Science ; 2505)
Paper図書
Springer2002.<M17-03-179>
National Diet Library
  • Author HeadingCorradini, Andrea, 1960- ICGT 2002 (2002 : Barc...

Reached to the end of result.

RSS