Theoretical Aspects of Computing - ICTAC 2009

EISBN:9783642034664
PISBN:9783642034657
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2009
作者:Martin Leucker,Carroll Morgan
主题词:Computation by Abstract Devices,Theory of Computation,Algorithm Analysis and Problem Complexity,Software Engineering,Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

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 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

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 2007

  • 作者:Cliff B. Jones,Zhiming Liu,Jim Woodcock
  • EISBN:9783540752929
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2007