STACS 2006

EISBN:9783540322887
PISBN:9783540323013
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2006
作者:Bruno Durand,Wolfgang Thomas
主题词:Computation by Abstract Devices,Algorithm Analysis and Problem Complexity,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Data Structures,Discrete Mathematics in Computer Science
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

STACS 95

  • 作者:Ernst W. Mayr,Claude Puech
  • EISBN:9783540491750
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1995

STACS 84

  • 作者:M. Fontet,K. Mehlhorn
  • EISBN:9783540388050
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1984

STACS 2003

  • 作者:Helmut Alt,Michel Habib
  • EISBN:9783540364948
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

STACS 94

  • 作者:Patrice Enjalbert,Ernst W. Mayr,Klaus W. Wagner
  • EISBN:9783540483328
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1994

STACS 90

  • 作者:Christian Choffrut,Thomas Lengauer
  • EISBN:9783540469452
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1990

STACS 2007

  • 作者:Wolfgang Thomas,Pascal Weil
  • EISBN:9783540709183
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2007