Theoretical Aspects of Computing - ICTAC 2004

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

Theoretical Aspects of Computing – ICTAC 2007

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

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

Theoretical Aspects of Computing – ICTAC 2019

  • 作者:Robert Mark Hierons,Mohamed Mosbah
  • EISBN:9783030325053
  • 出版社:Springer International Publishing
  • 出版时间:2019