检索条件： Predicate calculus and program semantics ( 题名 )

检索结果共有16条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Predicate calculus and program semantics
责任者 Edsger W. Dijkstra

出版信息 Springer-Verlag ,1990

ISBN 0-387-96957-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Edsger W. Dijkstra.Predicate calculus and program semantics.Springer-Verlag,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Predicate calculus and program semantics

Edsger W. Dijkstra.Springer-Verlag,1990.
2 图书 Fundamental math and physics for scientists and engineers /
责任者 Yevick, Hanna,

出版信息

ISBN 9780470407844

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Yevick, Hanna,.Fundamental math and physics for scientists and engineers /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Fundamental math and physics for scientists and engineers /

Yevick, Hanna,.,.
3 图书 Reasoning robots : the art and science of programming robotic agents /
责任者 by Michael Thielscher.

出版信息 Springer, ,c2005.

ISBN 1-4020-3068-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
by Michael Thielscher..Reasoning robots : the art and science of programming robotic agents /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Reasoning robots : the art and science of programming robotic agents /

by Michael Thielscher..Springer,,c2005..
4 图书 Dynamic programming and the calculus of variations
责任者 S. E. Dreyfus

出版信息 AP ,1965

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
S. E. Dreyfus.Dynamic programming and the calculus of variations.AP,1965.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Dynamic programming and the calculus of variations

S. E. Dreyfus.AP,1965.
5 图书 Isovector methods for equations of balance with programs for computer assistance in operator calculations and an exposition of practical topics of the exterior calculus
责任者 D. G. B. Edelen

出版信息 Sijthoff & Noordhoff ,1980

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
D. G. B. Edelen.Isovector methods for equations of balance with programs for computer assistance in operator calculations and an exposition of practical topics of the exterior calculus.Sijthoff & Noordhoff,1980.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Isovector methods for equations of balance with programs for computer assistance in operator calculations and an exposition of practical topics of the exterior calculus

D. G. B. Edelen.Sijthoff & Noordhoff,1980.
6 图书 Programming language foundations /
责任者 Aaron Stump, Department of Computer Science, University of Iowa.

出版信息 John Wiley & Sons, Inc., ,2014.

ISBN 9781118007471 (pbk.) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Aaron Stump, Department of Computer Science, University of Iowa..Programming language foundations /.John Wiley & Sons, Inc.,,2014..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Programming language foundations /

Aaron Stump, Department of Computer Science, University of Iowa..John Wiley & Sons, Inc.,,2014..
7 图书 Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /
责任者 George, Chris W.,Liu, Zhiming,,Woodcock, Jim.

出版信息 Springer, ,c2007.

ISBN 978-3-540-74963-9 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
George, Chris W.,Liu, Zhiming,,Woodcock, Jim..Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /

George, Chris W.,Liu, Zhiming,,Woodcock, Jim..Springer,,c2007..
8 图书 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.).,.
9 图书 Stochastic control and mathematical modeling : applications in economics /
责任者 Hiroaki Morimoto.

出版信息 Cambridge University Press, ,2010.

ISBN 9780521195034 (hardback)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hiroaki Morimoto..Stochastic control and mathematical modeling : applications in economics /.Cambridge University Press,,2010..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Stochastic control and mathematical modeling : applications in economics /

Hiroaki Morimoto..Cambridge University Press,,2010..
10 图书 Using the TI-84 Plus /
责任者 Christopher R. Mitchell.

出版信息

ISBN 9781617293153

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Christopher R. Mitchell..Using the TI-84 Plus /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Using the TI-84 Plus /

Christopher R. Mitchell..,.

通借成功!

预约成功!