Annotating extracting and reasoning about time and events : international seminar Dagstuhl Castle

出版社:Berlin ; New York : Springer, c2007.
ISBN:9783540759881
出版年:2007
作者:Schilder,Frank.
资源类型:图书
细分类型:西文文献
相关推荐

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germa

  • 作者:Alt,René.
  • ISBN:3540212604
  • 出版社:Berlin ; New York : Springer, c2004.
  • 出版年:2004

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

Entertainment computing and serious games : International GI-Dagstuhl Seminar 15283, Dagstuhl Castle

  • 作者:International GI-Dagstuhl Seminar
  • ISBN:9783319461519
  • 出版社:Cham, Switzerland : Springer, 2016.
  • 出版年:2016

Virtual realities : International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9-14, 2013, revis

  • 作者:Brunnett,G.
  • ISBN:9783319170428
  • 出版社:Cham : Springer, c2015.
  • 出版年:2015