检索条件： ACM symposium on principles of programming languages ( 著者 )

检索结果共有12条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /
责任者 ACM Symposium on Principles of Programming Languages

出版信息

ISBN 2004043677

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
ACM Symposium on Principles of Programming Languages.Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/217016
复制引文到剪贴板

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /

ACM Symposium on Principles of Programming Languages.,.
2 图书 Conference record of ACM symposium on principles of programming languages (4th : 1977 : Calif.)
责任者 Association for Computing Machinery,Conference record of ACM symposium on principles of programming languages

出版信息 s. n. ,1977

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Association for Computing Machinery,Conference record of ACM symposium on principles of programming languages.Conference record of ACM symposium on principles of programming languages (4th : 1977 : Calif.).s. n.,1977.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/135770
复制引文到剪贴板

Conference record of ACM symposium on principles of programming languages (4th : 1977 : Calif.)

Association for Computing Machinery,Conference record of ACM symposium on principles of programming languages.s. n.,1977.
3 图书 Conference record of ACM symposium on principles of programming languages (3rd : 1976 : Atlanta.)
责任者 Association for Computing Machinery,ACM symposium on principles of programming languages

出版信息 s. n. ,1976

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Association for Computing Machinery,ACM symposium on principles of programming languages.Conference record of ACM symposium on principles of programming languages (3rd : 1976 : Atlanta.).s. n.,1976.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/137746
复制引文到剪贴板

Conference record of ACM symposium on principles of programming languages (3rd : 1976 : Atlanta.)

Association for Computing Machinery,ACM symposium on principles of programming languages.s. n.,1976.
4 图书 Conference record of ACM symposium on principles of programming languages (2nd : 1975 : Palo Alto)
责任者 Association for Computing Machinery,ACM symposium on principles of programming languages

出版信息 s. n. ,1975

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Association for Computing Machinery,ACM symposium on principles of programming languages.Conference record of ACM symposium on principles of programming languages (2nd : 1975 : Palo Alto).s. n.,1975.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/137755
复制引文到剪贴板

Conference record of ACM symposium on principles of programming languages (2nd : 1975 : Palo Alto)

Association for Computing Machinery,ACM symposium on principles of programming languages.s. n.,1975.
5 图书 ACM symposium on principles of programming languages (1973 : Boston)
责任者 Association for Computing Machinery,ACM symposium on principles of programming languages

出版信息 s. n. ,1973

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Association for Computing Machinery,ACM symposium on principles of programming languages.ACM symposium on principles of programming languages (1973 : Boston).s. n.,1973.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/137743
复制引文到剪贴板

ACM symposium on principles of programming languages (1973 : Boston)

Association for Computing Machinery,ACM symposium on principles of programming languages.s. n.,1973.
6 图书 ACM symposium on principles of programming languages (12th : 1985 : New Orleans)
责任者 Association for Computing Machinery. SIGACT AND SIGPL

出版信息 ACM ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Association for Computing Machinery. SIGACT AND SIGPL.ACM symposium on principles of programming languages (12th : 1985 : New Orleans).ACM,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/30572
复制引文到剪贴板

ACM symposium on principles of programming languages (12th : 1985 : New Orleans)

Association for Computing Machinery. SIGACT AND SIGPL.ACM,1985.
7 图书 Annual ACM symposium on principles of programming languages (10th : 1983 : Tex)
责任者 Association for Computing Machinery. SIGACT AND SIGPL

出版信息 ACM ,1983

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Association for Computing Machinery. SIGACT AND SIGPL.Annual ACM symposium on principles of programming languages (10th : 1983 : Tex).ACM,1983.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/30566
复制引文到剪贴板

Annual ACM symposium on principles of programming languages (10th : 1983 : Tex)

Association for Computing Machinery. SIGACT AND SIGPL.ACM,1983.
8 图书 Annual ACM symposium on principles of programming languages (8th : 1981 : Williamsburg, Va.)
责任者 Association for Computing Machinery. SIGACT AND SIGPL

出版信息 ACM ,1981

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Association for Computing Machinery. SIGACT AND SIGPL.Annual ACM symposium on principles of programming languages (8th : 1981 : Williamsburg, Va.).ACM,1981.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/30962
复制引文到剪贴板

Annual ACM symposium on principles of programming languages (8th : 1981 : Williamsburg, Va.)

Association for Computing Machinery. SIGACT AND SIGPL.ACM,1981.
9 图书 Annual ACM symposium on principles of programming languages (7th : 1980 : Neveda)
责任者 Association for Computing Machinery. SIGACT AND SIGPL

出版信息 ACM ,1980

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Association for Computing Machinery. SIGACT AND SIGPL.Annual ACM symposium on principles of programming languages (7th : 1980 : Neveda).ACM,1980.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/31002
复制引文到剪贴板

Annual ACM symposium on principles of programming languages (7th : 1980 : Neveda)

Association for Computing Machinery. SIGACT AND SIGPL.ACM,1980.
10 图书 ACM Symposium on Principles of Programming Languages(6th : 1979 : San Antonio, Texas)
责任者 Association for Computing Machinery

出版信息 s. n. ,1979

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Association for Computing Machinery.ACM Symposium on Principles of Programming Languages(6th : 1979 : San Antonio, Texas).s. n.,1979.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/39971
复制引文到剪贴板

ACM Symposium on Principles of Programming Languages(6th : 1979 : San Antonio, Texas)

Association for Computing Machinery.s. n.,1979.

通借成功!

预约成功!