Constructive Methods in Computing Science

EISBN:9783642748844
PISBN:9783540513698
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1989
版次:1989
作者:Manfred Broy
主题词:Computer Science,Programming Techniques,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Software Engineering
语种:英语
丛书题名:Nato ASI Subseries F:
相关推荐

Constructive Methods in Computing Science

  • 作者:Manfred Broy
  • EISBN:9783642748844
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1989

Singularities and Constructive Methods for Their Treatment

  • 作者:Pierre Grisvard,Wolfgang L. Wendland,John R. Whiteman
  • EISBN:9783540393771
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1985

Commutative Algebra: Constructive Methods

  • 作者:Henri Lombardi,Claude Quitté
  • EISBN:9789401799447
  • 出版社:Springer Netherlands
  • 出版时间:2015

Constructive Methods for Elliptic Equations

  • 作者:R.P. Gilbert
  • EISBN:9783540379539
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1974

Constructive Methods for Elliptic Equations

  • 作者:Robert P. Gilbert
  • EISBN:9783540379539
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1974

Singularities and Constructive Methods for Their Treatment

  • 作者:Pierre Grisvard,Wolfgang L. Wendland,John R. Whiteman
  • EISBN:9783540393771
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1985