Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2

Logic and computation : proceedings of a workshop held at Carnegie Mellon University June 30-July 2

出版社：Providence, R.I. : American Mathematical Society, c1990.

ISBN：0821851101

出版年：1990

作者：Workshop on Logic and Computation

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Active networks : First International Workshop, IWAN''99, Berlin, Germany, June 30-July 2, 1999 : pro

作者：Stefan Covaci
ISBN：3540662383
出版社：Berlin ; New York : Springer, 1999.
出版年：1999

Logics of programs : workshop, Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983

作者：Clarke,Edmund
出版社：Berlin : Springer, 1984
出版年：1984

Logics of programs : workshop, Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983

作者：Clarke,Edmund
ISBN：Y8.50
出版社：Berlin : Springer, 1984
出版年：1984

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

作者：Clarke,Edmund.
ISBN：0387128964
出版社：Berlin ; New York : Springer-Verlag, 1984.
出版年：1984

Proceedings of the 1976 computer interface Instrumentation Symposium, June 30-July 2, 1976.

作者：Instrument Society of America
出版社：Newark : Pittshurgh, Pa., c1976.
出版年：1976

Proceedings of the 2004 American Control Conference ACC : June 30-July 2, 2004, Boston Sheraton Hote

作者：American Control Conference
ISBN：0780383354
出版社：Evanston, Ill. : American Automatic Control Council ; Piscataway, N.J. : IEEE, c2004.
出版年：2004