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 2017

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

Theoretical Aspects of Computing – ICTAC 2018

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

Theoretical Aspects of Computing – ICTAC 2016

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

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 2004

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

Theoretical Aspects of Computing – ICTAC 2020

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