检索条件： Data types and structures ( 任意词 )

检索结果共有363条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Data types and structures
责任者 C. C. Gotlieb,L. R. Gotieb

出版信息 Prentice-Hall ,1978

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
C. C. Gotlieb,L. R. Gotieb.Data types and structures.Prentice-Hall,1978.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Data types and structures

C. C. Gotlieb,L. R. Gotieb.Prentice-Hall,1978.
2 图书 Internation Conference on Typed Lambda Calculi and Applications (1st : 1993 : Utrecht)：Typed lanmbda calculi and Applications
责任者 International Conference on Typed Lambda Calculi and Applications,TLCA`93

出版信息 Springer ,1993

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Conference on Typed Lambda Calculi and Applications,TLCA`93.Internation Conference on Typed Lambda Calculi and Applications (1st : 1993 : Utrecht)：Typed lanmbda calculi and Applications.Springer,1993.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Internation Conference on Typed Lambda Calculi and Applications (1st : 1993 : Utrecht)：Typed lanmbda calculi and Applications

International Conference on Typed Lambda Calculi and Applications,TLCA`93.Springer,1993.
3 图书 Types and tokens : on abstract objects /
责任者 Linda Wetzel.

出版信息 MIT Press, ,c2009.

ISBN 9780262013017

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Linda Wetzel..Types and tokens : on abstract objects /.MIT Press,,c2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Types and tokens : on abstract objects /

Linda Wetzel..MIT Press,,c2009..
4 图书 Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers /
责任者 Altenkirch, Thorsten,,McBride, Conor.

出版信息 Springer, ,c2007.

ISBN 978-3-540-74463-4 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Altenkirch, Thorsten,,McBride, Conor..Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers /

Altenkirch, Thorsten,,McBride, Conor..Springer,,c2007..
5 图书 The encyclopedia of the Vietnam War : a political, social, and military history /
责任者 Tucker, Spencer,

出版信息 ABC-CLIO, ,c2011.

ISBN 9781851099603 (hard back : alk. paper) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Tucker, Spencer,.The encyclopedia of the Vietnam War : a political, social, and military history /.ABC-CLIO,,c2011..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The encyclopedia of the Vietnam War : a political, social, and military history /

Tucker, Spencer,.ABC-CLIO,,c2011..
6 图书 Types for proofs and programs : International Workshop, TYPES 2000, Durham 2000 : selected papers /
责任者 Callaghan, Paul,

出版信息 Springer-Verlag Berlin Heidelberg, ,2002.

ISBN 3-540-43287-6 (alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Callaghan, Paul,.Types for proofs and programs : International Workshop, TYPES 2000, Durham 2000 : selected papers /.Springer-Verlag Berlin Heidelberg,,2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Types for proofs and programs : International Workshop, TYPES 2000, Durham 2000 : selected papers /

Callaghan, Paul,.Springer-Verlag Berlin Heidelberg,,2002..
7 图书 Type theory and formal proof : an introduction /
责任者 Geuvers, Herman,

出版信息 Cambridge University Press, ,2014.

ISBN 9781107036505 (hardback) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Geuvers, Herman,.Type theory and formal proof : an introduction /.Cambridge University Press,,2014..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Type theory and formal proof : an introduction /

Geuvers, Herman,.Cambridge University Press,,2014..
8 图书 Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /
责任者 Miculan, Marino.,Scagnetto, Ivan.,Honsell, Furio.

出版信息 Springer, ,c2008.

ISBN 9783540680840 (pbk. : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Miculan, Marino.,Scagnetto, Ivan.,Honsell, Furio..Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /

Miculan, Marino.,Scagnetto, Ivan.,Honsell, Furio..Springer,,c2008..
9 图书 Paragon：A language using type hierarchies for the specification,implementation and selection of abstract data types
责任者 M. S. Sherman

出版信息 Springer-Verlag ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
M. S. Sherman.Paragon：A language using type hierarchies for the specification,implementation and selection of abstract data types.Springer-Verlag,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Paragon：A language using type hierarchies for the specification,implementation and selection of abstract data types

M. S. Sherman.Springer-Verlag,1985.
10 图书 Control of complex and uncertain systems：New types of feedback
责任者 Stanislav Emelyanov,Sergey K. Korovin

出版信息 Springer-Verlag ,2000

ISBN 1-85233-302-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Stanislav Emelyanov,Sergey K. Korovin.Control of complex and uncertain systems：New types of feedback.Springer-Verlag,2000.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Control of complex and uncertain systems：New types of feedback

Stanislav Emelyanov,Sergey K. Korovin.Springer-Verlag,2000.

通借成功!

预约成功!