检索条件： Real-time computer systems ( 题名 )

检索结果共有11446条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Real-time computer systems
责任者 A. L. Freedman,R. A. Lees

出版信息 Crane Russak ,1977

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
A. L. Freedman,R. A. Lees.Real-time computer systems.Crane Russak,1977.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Real-time computer systems

A. L. Freedman,R. A. Lees.Crane Russak,1977.
2 图书 IFAC Workshop(4th : 1985 : Como)：Safety of computer computer control system 1985 (SAFECOMP`85) : achieving safe real time computer systems
责任者 IFAC Workshop,SAFECOMP`85

出版信息 Pergamon ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
IFAC Workshop,SAFECOMP`85.IFAC Workshop(4th : 1985 : Como)：Safety of computer computer control system 1985 (SAFECOMP`85) : achieving safe real time computer systems.Pergamon,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

IFAC Workshop(4th : 1985 : Como)：Safety of computer computer control system 1985 (SAFECOMP`85) : achieving safe real time computer systems

IFAC Workshop,SAFECOMP`85.Pergamon,1985.
3 图书 Safety of computer control systems( 5th :1986 : France)：trends in safe real time computer systems : proceedings of the Fifth IFAC workshop Sarlat, France, 14-17 October 1986
责任者 W. J. Quirk,Safety of computer control systems 1986,SAFECOMP`88

出版信息 Pergamon Pr. ,1986

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
W. J. Quirk,Safety of computer control systems 1986,SAFECOMP`88.Safety of computer control systems( 5th :1986 : France)：trends in safe real time computer systems : proceedings of the Fifth IFAC workshop Sarlat, France, 14-17 October 1986.Pergamon Pr.,1986.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Safety of computer control systems( 5th :1986 : France)：trends in safe real time computer systems : proceedings of the Fifth IFAC workshop Sarlat, France, 14-17 October 1986

W. J. Quirk,Safety of computer control systems 1986,SAFECOMP`88.Pergamon Pr.,1986.
4 图书硬实时计算系统：可预测调度算法与应用：predictable scheduling algorithms and applications
责任者布塔佐

出版信息哈尔滨工业大学出版社 ,2022

ISBN 978-7-5603-9354-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
布塔佐.硬实时计算系统：可预测调度算法与应用：predictable scheduling algorithms and applications.哈尔滨工业大学出版社,2022.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

硬实时计算系统：可预测调度算法与应用：predictable scheduling algorithms and applications

布塔佐.哈尔滨工业大学出版社,2022.
5 图书 International Conference on Computer Technology , Systems and Application (1st : 1987 : Hamburg)：VLSI and computers : proceedings
责任者 International Conference on Computer Technology, Systemsand Application

出版信息 IEEE ,1987

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Conference on Computer Technology, Systemsand Application.International Conference on Computer Technology , Systems and Application (1st : 1987 : Hamburg)：VLSI and computers : proceedings.IEEE,1987.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

International Conference on Computer Technology , Systems and Application (1st : 1987 : Hamburg)：VLSI and computers : proceedings

International Conference on Computer Technology, Systemsand Application.IEEE,1987.
6 图书 Architecture of computing systems--ARCS 2008 : 21st international conference, Dresden, Germany, February 25-28, 2008 : proceedings /
责任者 Brinkschulte, Uwe.

出版信息 Springer, ,c2008.

ISBN 9783540781523

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Brinkschulte, Uwe..Architecture of computing systems--ARCS 2008 : 21st international conference, Dresden, Germany, February 25-28, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Architecture of computing systems--ARCS 2008 : 21st international conference, Dresden, Germany, February 25-28, 2008 : proceedings /

Brinkschulte, Uwe..Springer,,c2008..
7 图书 IFIP TC 6 International Symposium on Computer Message Systems ( 2nd : 1985 : Washington )：Computer message systems-85 : proceeding
责任者 IFIP TC 6 International Symposium on Computer Message Systems ( 2nd : Washington : 1985 )

出版信息 NHPC ,1986

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
IFIP TC 6 International Symposium on Computer Message Systems ( 2nd : Washington : 1985 ).IFIP TC 6 International Symposium on Computer Message Systems ( 2nd : 1985 : Washington )：Computer message systems-85 : proceeding.NHPC,1986.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

IFIP TC 6 International Symposium on Computer Message Systems ( 2nd : 1985 : Washington )：Computer message systems-85 : proceeding

IFIP TC 6 International Symposium on Computer Message Systems ( 2nd : Washington : 1985 ).NHPC,1986.
8 图书 IFIP TC 6 International Symposium on Computer Message Systems (2nd : 1985 : Washington)：Computer message systems--85
责任者 IFIP TC 6 International Symposium on Computer Messago Systems

出版信息 NHPC ,1986

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
IFIP TC 6 International Symposium on Computer Messago Systems.IFIP TC 6 International Symposium on Computer Message Systems (2nd : 1985 : Washington)：Computer message systems--85.NHPC,1986.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

IFIP TC 6 International Symposium on Computer Message Systems (2nd : 1985 : Washington)：Computer message systems--85

IFIP TC 6 International Symposium on Computer Messago Systems.NHPC,1986.
9 图书 Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures /
责任者 Bernardo, Marco.,Inverardi, Paola.

出版信息 Springer, ,2003.

ISBN 3-540-20083-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bernardo, Marco.,Inverardi, Paola..Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures /.Springer,,2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures /

Bernardo, Marco.,Inverardi, Paola..Springer,,2003..
10 图书 CHI`85 Conference：Human factors in computing systems-II
责任者 CHI`85 Conference

出版信息 N. H. P. C. ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
CHI`85 Conference.CHI`85 Conference：Human factors in computing systems-II.N. H. P. C.,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

CHI`85 Conference：Human factors in computing systems-II

CHI`85 Conference.N. H. P. C.,1985.

通借成功!

预约成功!