检索条件： Mathematics of program construction : ( 题名 )

检索结果共有30条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 International Conference on the Mathematics of Program Construction(2nd : 1992 : Oxford)：Mathematics of program construction
责任者 International Conference on the Mathematics of Program Construction

出版信息 Springer ,1993

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Conference on the Mathematics of Program Construction.International Conference on the Mathematics of Program Construction(2nd : 1992 : Oxford)：Mathematics of program construction.Springer,1993.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

International Conference on the Mathematics of Program Construction(2nd : 1992 : Oxford)：Mathematics of program construction

International Conference on the Mathematics of Program Construction.Springer,1993.
2 图书 Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings /
责任者 Uustalu, Tarmo.

出版信息 Springer, ,c2006.

ISBN 3-540-35631-2 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Uustalu, Tarmo..Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings /

Uustalu, Tarmo..Springer,,c2006..
3 图书 Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings /
责任者 Audebaud, Philippe.,Paulin-Mohring, Christine.

出版信息 Springer, ,2008.

ISBN 9783540705932 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Audebaud, Philippe.,Paulin-Mohring, Christine..Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings /.Springer,,2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings /

Audebaud, Philippe.,Paulin-Mohring, Christine..Springer,,2008..
4 图书 Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings /
责任者 Kozen, Dexter,

出版信息 Springer, ,c2004.

ISBN 3-540-22380-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kozen, Dexter,.Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings /

Kozen, Dexter,.Springer,,c2004..
5 图书 Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /
责任者 Boiten, Eerke,,M鑟ller, Bernhard,

出版信息 Springer, ,c2002.

ISBN 3-540-43857-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Boiten, Eerke,,M鑟ller, Bernhard,.Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /

Boiten, Eerke,,M鑟ller, Bernhard,.Springer,,c2002..
6 图书 Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 2000, revised lectures /
责任者 Backhouse, Roland C.,,Crole, Roy L.,Gibbons, Jeremy,

出版信息 Springer, ,2002.

ISBN 3-540-43613-8 (softcover : acid-free paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Backhouse, Roland C.,,Crole, Roy L.,Gibbons, Jeremy,.Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 2000, revised lectures /.Springer,,2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 2000, revised lectures /

Backhouse, Roland C.,,Crole, Roy L.,Gibbons, Jeremy,.Springer,,2002..
7 图书 Turbo pascal 6.0：the nuts and bolts of program construction
责任者 John DiElsi

出版信息 Mcgraw-Hill, Inc. ,1991

ISBN 0-07-557790-9

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
John DiElsi.Turbo pascal 6.0：the nuts and bolts of program construction.Mcgraw-Hill, Inc.,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Turbo pascal 6.0：the nuts and bolts of program construction

John DiElsi.Mcgraw-Hill, Inc.,1991.
8 图书 Algorithms：the construction,proof,and analysis of programs
责任者 P. Berlioux

出版信息 wiley ,1986

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
P. Berlioux.Algorithms：the construction,proof,and analysis of programs.wiley,1986.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Algorithms：the construction,proof,and analysis of programs

P. Berlioux.wiley,1986.
9 图书 Project management in construction
责任者 Sidney M. Levy

出版信息 McGraw-Hill ,c2012

ISBN 9780071753104 (hardback)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Sidney M. Levy.Project management in construction.McGraw-Hill,c2012.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Project management in construction

Sidney M. Levy.McGraw-Hill,c2012.
10 图书 Compiler construction using Java, JavaCC, and Yacc /
责任者 Anthony J. Dos Reis.

出版信息 Wiley-IEEE Computer Society, ,c2012.

ISBN 9780470949597 (hardback)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Anthony J. Dos Reis..Compiler construction using Java, JavaCC, and Yacc /.Wiley-IEEE Computer Society,,c2012..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Compiler construction using Java, JavaCC, and Yacc /

Anthony J. Dos Reis..Wiley-IEEE Computer Society,,c2012..

通借成功!

预约成功!