Theoretical Aspects of Computing – ICTAC 2010

EISBN:9783642148088
PISBN:9783642148071
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2010
作者:Ana Cavalcanti,David Deharbe,Marie-Claude Gaudel,Jim Woodcock
主题词:Computation by Abstract Devices
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Theoretical Aspects of Computing – ICTAC 2020

  • 作者:Violet Ka I Pun,Volker Stolz,Adenilso Simao
  • EISBN:9783030642761
  • 出版社:Springer International Publishing
  • 出版时间:2020

Theoretical Aspects of Computing – ICTAC 2017

  • 作者:Dang Van Hung,Deepak Kapur
  • EISBN:9783319677293
  • 出版社:Springer International Publishing
  • 出版时间:2017

Theoretical Aspects of Computing - ICTAC 2004

  • 作者:Zhiming Liu,Keijiro Araki
  • EISBN:9783540318620
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2005

Theoretical Aspects of Computing - ICTAC 2009

  • 作者:Martin Leucker,Carroll Morgan
  • EISBN:9783642034664
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Theoretical Aspects of Computing – ICTAC 2013

  • 作者:Zhiming Liu,Jim Woodcock,Huibiao Zhu
  • EISBN:9783642397189
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2013

Theoretical Aspects of Computing – ICTAC 2018

  • 作者:Bernd Fischer,Tarmo Uustalu
  • EISBN:9783030025083
  • 出版社:Springer International Publishing
  • 出版时间:2018