Theoretical Aspects of Computing – ICTAC 2005

EISBN:9783540320722
PISBN:9783540291077
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2005
作者:Dang Hung,Martin Wirsing
主题词:Computation by Abstract Devices,Computer Communication Networks,Programming Languages,Compilers,Interpreters,Logics and Meanings of Programs,Mathematical Logic and Formal Languages
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Theoretical Aspects of Computing – ICTAC 2016

  • 作者:Augusto Sampaio,Farn Wang
  • EISBN:9783319467504
  • 出版社:Springer International Publishing
  • 出版时间:2016

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 2008

  • 作者:John S. Fitzgerald,Anne E. Haxthausen,Husnu Yenigun
  • EISBN:9783540857624
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2008

Theoretical Aspects of Computing – ICTAC 2007

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

Theoretical Aspects of Computing - ICTAC 2009

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