检索筛选

图书馆

馆藏地点

显示更多

中图法分类

显示更多

科图法分类

显示更多

文献类型

出版日期

显示更多

著者

显示更多

主题

显示更多

资源类型

纸质资源 (1473)

检索条件： Ada (Computer program language) ( 任意词 )

检索结果共有1473条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Ada 2005 rationale : the language, the standard libraries /
责任者 John Barnes.

出版信息 Springer, ,c2008.

ISBN 9783540797005

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
John Barnes..Ada 2005 rationale : the language, the standard libraries /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Ada 2005 rationale : the language, the standard libraries /

John Barnes..Springer,,c2008..
2 图书 Reliable software technologies : Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 25-29, 2008 : proceedings /
责任者 Kordon, Fabrice.,Vardanega, Tullio.

出版信息 Springer, ,c2008.

ISBN 3540686215

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kordon, Fabrice.,Vardanega, Tullio..Reliable software technologies : Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 25-29, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Reliable software technologies : Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 25-29, 2008 : proceedings /

Kordon, Fabrice.,Vardanega, Tullio..Springer,,c2008..
3 图书 Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings /
责任者 Abdennadher, Nabil.,Kordon, Fabrice.

出版信息 Springer, ,c2007.

ISBN 978-3-540-73229-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Abdennadher, Nabil.,Kordon, Fabrice..Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings /

Abdennadher, Nabil.,Kordon, Fabrice..Springer,,c2007..
4 图书 Consolidated Ada reference manual : language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1 /
责任者 Taft, S. Tucker.

出版信息 Springer, ,2000.

ISBN 3-540-43038-5 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Taft, S. Tucker..Consolidated Ada reference manual : language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1 /.Springer,,2000..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Consolidated Ada reference manual : language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1 /

Taft, S. Tucker..Springer,,2000..
5 图书 Reliable software technologies : Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna,Austria, June 17-21, 2002 : proceedings /
责任者 Strohmeier, Alfred.

出版信息 Springer, ,2002.

ISBN 3-540-43784-3 (pbk. : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Strohmeier, Alfred..Reliable software technologies : Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna,Austria, June 17-21, 2002 : proceedings /.Springer,,2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Reliable software technologies : Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna,Austria, June 17-21, 2002 : proceedings /

Strohmeier, Alfred..Springer,,2002..
6 图书 Reliable software technologies : Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings /
责任者 Craeynest, Dirk,,Strohmeier, Alfred.

出版信息 Springer, ,2001.

ISBN 3-540-42123-8 (pbk. : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Craeynest, Dirk,,Strohmeier, Alfred..Reliable software technologies : Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Reliable software technologies : Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings /

Craeynest, Dirk,,Strohmeier, Alfred..Springer,,2001..
7 图书 NATO Advanced Study Institute on Computational Mathematical Programming(1984 : Bad Windsheim)：Computational mathematical programming
责任者 NATO Advanced Study Institute on Computational Mathematical programming

出版信息 Springer ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
NATO Advanced Study Institute on Computational Mathematical programming.NATO Advanced Study Institute on Computational Mathematical Programming(1984 : Bad Windsheim)：Computational mathematical programming.Springer,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

NATO Advanced Study Institute on Computational Mathematical Programming(1984 : Bad Windsheim)：Computational mathematical programming

NATO Advanced Study Institute on Computational Mathematical programming.Springer,1985.
8 图书 Summer School on Computer Program Testing(1981 : Urbino, Italy)：Computer program testing : proceedings
责任者 Summer School on Computer Program Testing

出版信息 North-Holland Pub. ,1981

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Summer School on Computer Program Testing.Summer School on Computer Program Testing(1981 : Urbino, Italy)：Computer program testing : proceedings.North-Holland Pub.,1981.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Summer School on Computer Program Testing(1981 : Urbino, Italy)：Computer program testing : proceedings

Summer School on Computer Program Testing.North-Holland Pub.,1981.
9 图书 Conference on Functional Programming Languages and Computer Architure (5th : 1991 : MA)：Functional programming languages and computer architecture
责任者 Conference on Functional Programming Languages and Computer Architecture

出版信息 Springer ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Conference on Functional Programming Languages and Computer Architecture.Conference on Functional Programming Languages and Computer Architure (5th : 1991 : MA)：Functional programming languages and computer architecture.Springer,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Conference on Functional Programming Languages and Computer Architure (5th : 1991 : MA)：Functional programming languages and computer architecture

Conference on Functional Programming Languages and Computer Architecture.Springer,1991.
10 图书 Conference on Functional Programming Languages and Computer Architecture(3rd : 1987 : Portland)：Functional programming languages and computer architecture : proceedings
责任者 Conference on Functional Programming Languages and Computer Architecture

出版信息 Springer ,1987

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Conference on Functional Programming Languages and Computer Architecture.Conference on Functional Programming Languages and Computer Architecture(3rd : 1987 : Portland)：Functional programming languages and computer architecture : proceedings.Springer,1987.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Conference on Functional Programming Languages and Computer Architecture(3rd : 1987 : Portland)：Functional programming languages and computer architecture : proceedings

Conference on Functional Programming Languages and Computer Architecture.Springer,1987.

通借成功!

预约成功!