检索条件： Handbook of theoretical computer science ( 任意词 )

检索结果共有228条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Handbook of theoretical computer science．B，Formal models and semantics
责任者

出版信息 Elsevier ,1992

ISBN 0-444-88074-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Handbook of theoretical computer science．B，Formal models and semantics.Elsevier,1992.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Handbook of theoretical computer science．B，Formal models and semantics

.Elsevier,1992.
2 图书 Advances in computer science--Asian 2006 : secure software and related issues : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006 : revised selected papers /
责任者 Okada, Mitsu.,Satoh, Ichiro.

出版信息 Springer, ,c2007.

ISBN 978-3-540-77504-1 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Okada, Mitsu.,Satoh, Ichiro..Advances in computer science--Asian 2006 : secure software and related issues : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006 : revised selected papers /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Advances in computer science--Asian 2006 : secure software and related issues : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006 : revised selected papers /

Okada, Mitsu.,Satoh, Ichiro..Springer,,c2007..
3 图书 Foundations of Software Technology and Theoretical Computer Science Conferece (13th : 1993 : Bombay)：Foundations of software technology and theoretical computer science
责任者 Foundations of Software Technology and Theoretical Computer Science Conference

出版信息 Springer ,1993

ISBN 3540575294

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Foundations of Software Technology and Theoretical Computer Science Conference.Foundations of Software Technology and Theoretical Computer Science Conferece (13th : 1993 : Bombay)：Foundations of software technology and theoretical computer science.Springer,1993.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Foundations of Software Technology and Theoretical Computer Science Conferece (13th : 1993 : Bombay)：Foundations of software technology and theoretical computer science

Foundations of Software Technology and Theoretical Computer Science Conference.Springer,1993.
4 图书 Foundations of Software Technology and Theoretical Computer Science Conference (12th : 1992 : New Dethi)：Foundations of software technology and theoretical computer science
责任者 Foundations of Software Technology and Theoretical; Computer Science Conference

出版信息 Springer ,1992

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Foundations of Software Technology and Theoretical; Computer Science Conference.Foundations of Software Technology and Theoretical Computer Science Conference (12th : 1992 : New Dethi)：Foundations of software technology and theoretical computer science.Springer,1992.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Foundations of Software Technology and Theoretical Computer Science Conference (12th : 1992 : New Dethi)：Foundations of software technology and theoretical computer science

Foundations of Software Technology and Theoretical; Computer Science Conference.Springer,1992.
5 图书 International Conference on Theoretical Aspects of Computer Software (1st : 1991 : Japan )：Theoretical Aspects of Computer Software
责任者 T. Ito,A. R. Meyer,TACS`91,International Conference on Theoretical Aspects of Computer Software

出版信息 Springer-Verlag ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
T. Ito,A. R. Meyer,TACS`91,International Conference on Theoretical Aspects of Computer Software.International Conference on Theoretical Aspects of Computer Software (1st : 1991 : Japan )：Theoretical Aspects of Computer Software.Springer-Verlag,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

International Conference on Theoretical Aspects of Computer Software (1st : 1991 : Japan )：Theoretical Aspects of Computer Software

T. Ito,A. R. Meyer,TACS`91,International Conference on Theoretical Aspects of Computer Software.Springer-Verlag,1991.
6 图书 Symposium on Theoretical Aspects of Computer Science(7th : 1990 : Rouen, France)：STACS 90 : 7th annual symposium on theoretical aspects of computer science, 1990, proceedings
责任者 Symposium on Theoretical Aspects of Computer Science

出版信息 Springer ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Symposium on Theoretical Aspects of Computer Science.Symposium on Theoretical Aspects of Computer Science(7th : 1990 : Rouen, France)：STACS 90 : 7th annual symposium on theoretical aspects of computer science, 1990, proceedings.Springer,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Symposium on Theoretical Aspects of Computer Science(7th : 1990 : Rouen, France)：STACS 90 : 7th annual symposium on theoretical aspects of computer science, 1990, proceedings

Symposium on Theoretical Aspects of Computer Science.Springer,1990.
7 图书 Conferences on Foundations of Software Technology and Theoretical Computer Science(1985 : New Delhi)：Foundations of software technology and theoretical computer science : proceedings
责任者 S. N. Maheshwari,Conferences on Foundations of Software Technology and theoretical computer science : proceedings

出版信息 Springer ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
S. N. Maheshwari,Conferences on Foundations of Software Technology and theoretical computer science : proceedings.Conferences on Foundations of Software Technology and Theoretical Computer Science(1985 : New Delhi)：Foundations of software technology and theoretical computer science : proceedings.Springer,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Conferences on Foundations of Software Technology and Theoretical Computer Science(1985 : New Delhi)：Foundations of software technology and theoretical computer science : proceedings

S. N. Maheshwari,Conferences on Foundations of Software Technology and theoretical computer science : proceedings.Springer,1985.
8 图书 International Meeting of Young Computer Scientists (6th : 1990 : Czechoslovakia)：Aspects and prospects jof theoretical computer science
责任者 IMYCS`90,International Meeting of Young Computer Scientists

出版信息 Springer ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
IMYCS`90,International Meeting of Young Computer Scientists.International Meeting of Young Computer Scientists (6th : 1990 : Czechoslovakia)：Aspects and prospects jof theoretical computer science.Springer,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

International Meeting of Young Computer Scientists (6th : 1990 : Czechoslovakia)：Aspects and prospects jof theoretical computer science

IMYCS`90,International Meeting of Young Computer Scientists.Springer,1990.
9 图书 Symposium of Theoretical Aspects of Computer Science (1984 : Paris)：STACS 84
责任者 M. Fonete,K. Mehlhorn,STACS` 84,Symposium of Theoretical Aspects of Computer Science

出版信息 Springer ,1984

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
M. Fonete,K. Mehlhorn,STACS` 84,Symposium of Theoretical Aspects of Computer Science.Symposium of Theoretical Aspects of Computer Science (1984 : Paris)：STACS 84.Springer,1984.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Symposium of Theoretical Aspects of Computer Science (1984 : Paris)：STACS 84

M. Fonete,K. Mehlhorn,STACS` 84,Symposium of Theoretical Aspects of Computer Science.Springer,1984.
10 图书 Workshop on the Theoretical Foudation for Large-Scale Computations of Nonlinear Material Behivior (1983 : Evanston, Illinois)：Theoretical foundation for Large-Scale computations of nonlinear material behavior, proceedings. Evanston, Illinois, 1983
责任者 Siavouche Nemat-Nasser,Workshop on the Theoretical Fudation for Large-Scale Cmputation of Nonlinear Material Behavior

出版信息 Martin Nijhoff ,1984

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Siavouche Nemat-Nasser,Workshop on the Theoretical Fudation for Large-Scale Cmputation of Nonlinear Material Behavior.Workshop on the Theoretical Foudation for Large-Scale Computations of Nonlinear Material Behivior (1983 : Evanston, Illinois)：Theoretical foundation for Large-Scale computations of nonlinear material behavior, proceedings. Evanston, Illinois, 1983.Martin Nijhoff,1984.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Workshop on the Theoretical Foudation for Large-Scale Computations of Nonlinear Material Behivior (1983 : Evanston, Illinois)：Theoretical foundation for Large-Scale computations of nonlinear material behavior, proceedings. Evanston, Illinois, 1983

Siavouche Nemat-Nasser,Workshop on the Theoretical Fudation for Large-Scale Cmputation of Nonlinear Material Behavior.Martin Nijhoff,1984.

通借成功!

预约成功!