登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Logic of programs : workshop ETH Zürich May-July 1979
出版社：Berlin ; New York : Springer, 1981.
ISBN：0387111603
出版年：1981
作者：Engeler,Erwin.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Categorical constructions in stable homotopy theory : A seminar given at the ETH, Zürich, in 1967.
  • 作者：Tierney,Myles.
  • 出版社：Berlin ; Heidelberg ; New York : Springer, 1969.
  • 出版年：1969
...

Seminar on functional operators and equations : Forschungsinstitut für Mathematik, ETH, Zürich, Oc
  • 作者：Targonski,György I.
  • 出版社：Berlin ; New York : Springer-Verlag, 1967.
  • 出版年：1967
...

Management of optics programs : May 24, 1979, Huntsville, Alabama
  • 作者：Davies,William O.
  • ISBN：089252216X
  • 出版社：Bellingham, Wash. : Society of Photo-optical Instrumentation Engineers, c1979.
  • 出版年：1979
...

Parameterized and exact computation : second international workshop, IWPEC 2006, Zürich, Switzerlan
  • 作者：IWPEC 2004
  • ISBN：3540390987
  • 出版社：Berlin ; New York : Springer, c2006.
  • 出版年：2006
...

Logics of Programs Workshop, Yorktown Heights, New York, May 1981
  • 作者：Logics of Programs Workshop
  • ISBN：038711212X
  • 出版社：Berlin ; New York : Springer-Verlag, 1982.
  • 出版年：1982
...

Executing temporal logic programs
  • 作者：Moszkowski,B. C.
  • ISBN：0521310997
  • 出版社：Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986.
  • 出版年：1986