close
1.

電子ブック
ＥＢ
1. Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
edited by Andrea Corradini, Bartek Klin, Corina Cîrstea
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6859
オンライン: http://dx.doi.org/10.1007/978-3-642-22944-2
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Recent Trends in Algebraic Development Techniques : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
edited by Andrea Corradini, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5486
オンライン: http://dx.doi.org/10.1007/978-3-642-03429-9
所蔵情報: loading…