Jump to main content

yr 〜
yr

Search results 3

Algebra and coalgebra in computer science : second international conference, CALCO 2007 : Bergen, Norway, August 20-24, 2007 : proceedings. : CALCO-tools workshop : Aug 2007, Bergen, Norway. (Lecture Notes in Computer Science ; 4624)

Algebra and coalgebra in computer science : second international conference, CALCO 2007 : Bergen, Norway, August 20-24, 2007 : proceedings. : CALCO-tools workshop : Aug 2007, Bergen, Norway. (Lecture Notes in Computer Science ; 4624)
Paper図書
Springerc2007.<M17-07-2340>
National Diet Library
  • Author HeadingMossakowski, Till. Montanari, U. (Ugo) Haveraaen, Magne. CALCO 2007 (2007 : Bergen, N...

Algebra and coalgebra in computer science : Second International Conference, CALCO 2007 Bergen, Norway, August 20-24, 2007 : proceedings

Algebra and coalgebra in computer science : Second International Conference, CALCO 2007 Bergen, Norway, August 20-24, 2007 : proceedings
Paper図書
Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingCALCO Mossakowski, Till Montanari, U. (Ugo) Haveraaen, Magne

Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers

Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers
Paper図書
Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)Springerc1996
Other Libraries in Japan
  • Author Heading...act Data Types Haveraaen, Magne Owe, Olaf Dahl, Ole-Johan COM...

Reached to the end of result.

RSS