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

Relations and Kleene algebra in computer science : 11th International Conference on Relational Metho
出版社：Berlin ; New York : Springer, c2009.
ISBN：9783642046384
出版年：2009
作者：RelMiCS 2009
资源类型：图书
细分类型：西文文献
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 : 9th International Conference on Relational Method
  • 作者：RelMiCS 2006
  • ISBN：3540378731
  • 出版社：Berlin ; New York : Springer, c2006.
  • 出版年：2006
...

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

Computer science logic : 16th International Workshop, CSL 2002, 11th annual conference of the EACSL,
  • 作者：Internatioanl Workshop on Computer Science Logic
  • ISBN：3540442405
  • 出版社：Berlin ; New York : Springer, 2002.,Berlin ; New York : Springer, c2002.
  • 出版年：2002
...

2014 11th International Joint Conference on Computer Science and Software Engineering (JCSSE 2014) :
  • 作者：International Joint Conference on Computer Science and Software Engineering
  • ISBN：9781479958238
  • 出版社：Piscataway, NJ : IEEE, 2014.
  • 出版年：2014
...

Deontic logic in computer science : 11th international conference, DEON 2012, Bergen, Norway, July 1
  • 作者：International Conference on Deontic Logic in Computer Science
  • ISBN：9783642315695
  • 出版社：Berlin ; New York : Springer, c2012.
  • 出版年：2012