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

Proof theory in computer science : International Seminar PTCS 2001 Dagstuhl Castle Germany Octob
出版社：Berlin ; New York : Springer, c2001.
ISBN：354042752X
出版年：2001
作者：PTCS 2001
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Software visualization : international seminar, Dagstuhl Castle, Germany, May 2001 : revised papers
  • 作者：Dagstuhl Seminar on Software Visualization
  • ISBN：3540433236
  • 出版社：Berlin ; New York : Springer, c2002.
  • 出版年：2002
...

Video processing and computational video : international seminar, Dagstuhl Castle, Germany, October
  • 作者：Cremers,Daniel.
  • ISBN：9783642248696
  • 出版社：Berlin ; New York : Springer, c2011.
  • 出版年：2011
...

Generic programming : International Seminar on Generic Programming, Dagstuhl Castle, Germany, April
  • 作者：International Seminar on Generic Programming
  • ISBN：3540410902
  • 出版社：Berlin ; New York : Springer, c2000.
  • 出版年：2000
...

Architecting systems with trustworthy components : international seminar, Dagstuhl Castle, Germany,
  • 作者：Reussner,Ralf.
  • ISBN：3540358005
  • 出版社：Berlin ; New York : Springer, c2006.
  • 出版年：2006
...

Analogical and inductive inference : International Workshop AII ''92, Dagstuhl Castle, Germany, Octob
  • 作者：Jantke,K.P.
  • ISBN：3540560041
  • 出版社：Berlin ; New York : Springer-Verlag, c1992.
  • 出版年：1992
...

Globalizing domain-specific languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, Oc
  • 作者：Cheng,Betty H.C.,
  • ISBN：9783319261713
  • 出版社：Cham : Springer, 2015.
  • 出版年：2015