登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Relations and Kleene algebra in computer science : 9th International Conference on Relational Method
出版社：Berlin ; New York : Springer, c2006.
ISBN：3540378731
出版年：2006
作者：RelMiCS 2006
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Relations and Kleene algebra in computer science : 10th International Conference on Relational Metho
  • 作者：ReLMiCS 2008
  • ISBN：9783540789123
  • 出版社：Berlin ; New York : Springer, c2008.
  • 出版年：2008
...

Relations and Kleene algebra in computer science : 11th International Conference on Relational Metho
  • 作者：RelMiCS 2009
  • ISBN：9783642046384
  • 出版社：Berlin ; New York : Springer, c2009.
  • 出版年：2009
...

Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relationa
  • 作者：RelMiCS 2003
  • ISBN：354022145X
  • 出版社：Berlin : London ; Springer, c2004.
  • 出版年：2004
...

2014 9th International Conference on Computer Science & Education (ICCSE 2014) : Vancouver, British
  • 作者：International Conference on Computer Science & Education
  • ISBN：9781479929528
  • 出版社：Piscataway, N.J. : IEEE Computer Society, c2014.
  • 出版年：2014
...

Computer science logic : 9th international workshop, CSL ''95, Annual Conference of the EACSL, Paderb
  • 作者：Workshop on Computer Science Logic
  • ISBN：3540613773
  • 出版社：Berlin ; New York : Springer, c1996.
  • 出版年：1996
...

Deontic logic in computer science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg,
  • 作者：International Workshop on Deontic Logic in Computer Science
  • ISBN：3540705244
  • 出版社：Berlin ; New York : Springer-Verlag, c2008.
  • 出版年：2008