检索条件： Unifying theories of programming : ( 题名 )

检索结果共有106条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Unifying theories of programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
责任者 David Naumann (ed.)

出版信息

ISBN 9783319148052

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
David Naumann (ed.).Unifying theories of programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Unifying theories of programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /

David Naumann (ed.).,.
2 图书 Unifying theories of programming : first international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised, selected papers /
责任者 Dunne, Steve,,Stoddart, Bill,

出版信息 Springer, ,c2006.

ISBN 3-540-34750-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Dunne, Steve,,Stoddart, Bill,.Unifying theories of programming : first international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised, selected papers /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Unifying theories of programming : first international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised, selected papers /

Dunne, Steve,,Stoddart, Bill,.Springer,,c2006..
3 图书 PGMTT International Symposium (1962 : Boulder, Colo.)：10th anniversary, Program and digest
责任者 Institute of Radio Engineers, Professional Group on Microwave Theory and Techniques,PGMTT International Symposium

出版信息 IEEE ,1962

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Institute of Radio Engineers, Professional Group on Microwave Theory and Techniques,PGMTT International Symposium.PGMTT International Symposium (1962 : Boulder, Colo.)：10th anniversary, Program and digest.IEEE,1962.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

PGMTT International Symposium (1962 : Boulder, Colo.)：10th anniversary, Program and digest

Institute of Radio Engineers, Professional Group on Microwave Theory and Techniques,PGMTT International Symposium.IEEE,1962.
4 图书 Genetic programming theory and practice II /
责任者 O`Reilly, Una-May.

出版信息 Springer Science+Business Media, ,c2005.

ISBN 0-387-23253-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
O`Reilly, Una-May..Genetic programming theory and practice II /.Springer Science+Business Media,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Genetic programming theory and practice II /

O`Reilly, Una-May..Springer Science+Business Media,,c2005..
5 图书 Industry-University Cooperative Chemistry Program of the Department of Chemistry (1st : 1983 : Texas)：Organometallic compounds : synthesis, structure, and theory; Proceedings of the 1st Symposium of the IUCCP, 1st, Texas, 1983.
责任者 B. L. Shapiro,Industry-University Cooperative Chemistry Program of the Department of Chemistry

出版信息 Texas A and M Univ. Pr. ,1983

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
B. L. Shapiro,Industry-University Cooperative Chemistry Program of the Department of Chemistry.Industry-University Cooperative Chemistry Program of the Department of Chemistry (1st : 1983 : Texas)：Organometallic compounds : synthesis, structure, and theory; Proceedings of the 1st Symposium of the IUCCP, 1st, Texas, 1983..Texas A and M Univ. Pr.,1983.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Industry-University Cooperative Chemistry Program of the Department of Chemistry (1st : 1983 : Texas)：Organometallic compounds : synthesis, structure, and theory; Proceedings of the 1st Symposium of the IUCCP, 1st, Texas, 1983.

B. L. Shapiro,Industry-University Cooperative Chemistry Program of the Department of Chemistry.Texas A and M Univ. Pr.,1983.
6 图书 Programs, machines and computation：An introduction to the theory of computing
责任者 K. Clark,D. Cowell

出版信息 McGraw-Hill ,1976

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
K. Clark,D. Cowell.Programs, machines and computation：An introduction to the theory of computing.McGraw-Hill,1976.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Programs, machines and computation：An introduction to the theory of computing

K. Clark,D. Cowell.McGraw-Hill,1976.
7 图书 The theory of computer science：a programming approach
责任者 J. M. Brady

出版信息 Chapman and Hall ,1977

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J. M. Brady.The theory of computer science：a programming approach.Chapman and Hall,1977.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The theory of computer science：a programming approach

J. M. Brady.Chapman and Hall,1977.
8 图书 Conference record of POPL 2004 : the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, Venice, Italy, January 14-16, 2004 /
责任者 sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN).

出版信息 Association for Computing Machinery, ,c2004.

ISBN 1-58113-729-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN)..Conference record of POPL 2004 : the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, Venice, Italy, January 14-16, 2004 /.Association for Computing Machinery,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Conference record of POPL 2004 : the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, Venice, Italy, January 14-16, 2004 /

sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN)..Association for Computing Machinery,,c2004..
9 图书 A generative theory of shape : questioning Klein`s Erlanger program /
责任者 Michael Leyton.

出版信息 Springer, ,2001.

ISBN 3-540-42717-1 (alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Michael Leyton..A generative theory of shape : questioning Klein`s Erlanger program /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

A generative theory of shape : questioning Klein`s Erlanger program /

Michael Leyton..Springer,,2001..
10 图书 Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings /
责任者 Sestoft, Peter.

出版信息 Springer, ,c2006.

ISBN 3-540-33095-X (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Sestoft, Peter..Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings /

Sestoft, Peter..Springer,,c2006..

通借成功!

预约成功!