检索条件： Broy ( 著者 )

检索结果共有9条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Model-based testing of reactive systems : advanced lectures /
责任者 Broy, M.,

出版信息 Springer, ,c2005.

ISBN 3-540-26278-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Broy, M.,.Model-based testing of reactive systems : advanced lectures /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Model-based testing of reactive systems : advanced lectures /

Broy, M.,.Springer,,c2005..
2 图书 Program construction：international summer school
责任者 F. L. Bauer,B. Broy

出版信息 Springer ,1979

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
F. L. Bauer,B. Broy.Program construction：international summer school.Springer,1979.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Program construction：international summer school

F. L. Bauer,B. Broy.Springer,1979.
3 图书 Summer School on Theoretical Foundations of Programming Methodology(1981 : Marktoberdorf)：Theoretical Foundations of Programming Methodology
责任者 M. Broy,Summer School on Theoretical Foundations of Programming Methodology

出版信息 North-Holland Pub. ,1981

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
M. Broy,Summer School on Theoretical Foundations of Programming Methodology.Summer School on Theoretical Foundations of Programming Methodology(1981 : Marktoberdorf)：Theoretical Foundations of Programming Methodology.North-Holland Pub.,1981.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Summer School on Theoretical Foundations of Programming Methodology(1981 : Marktoberdorf)：Theoretical Foundations of Programming Methodology

M. Broy,Summer School on Theoretical Foundations of Programming Methodology.North-Holland Pub.,1981.
4 图书 Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 ; revised papers /
责任者 Broy, M.,,Zamulin, A. V.

出版信息 Springer, ,c2003.

ISBN 3-540-20813-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Broy, M.,,Zamulin, A. V..Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 ; revised papers /.Springer,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 ; revised papers /

Broy, M.,,Zamulin, A. V..Springer,,c2003..
5 图书 Methods of programming, selected papers on the CIP-Project(1991)
责任者 M. Broy,Methods of programming, selected papers on the CIP-Project

出版信息 Springer ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
M. Broy,Methods of programming, selected papers on the CIP-Project.Methods of programming, selected papers on the CIP-Project(1991).Springer,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Methods of programming, selected papers on the CIP-Project(1991)

M. Broy,Methods of programming, selected papers on the CIP-Project.Springer,1991.
6 图书 Model-driven development of reliable automotive services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006 : revised selected papers /
责任者 Broy, M.,,Krüger, Ingolf H.,Meisinger, Michael.

出版信息 Springer, ,c2008.

ISBN 9783540709299

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Broy, M.,,Krüger, Ingolf H.,Meisinger, Michael..Model-driven development of reliable automotive services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006 : revised selected papers /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Model-driven development of reliable automotive services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006 : revised selected papers /

Broy, M.,,Krüger, Ingolf H.,Meisinger, Michael..Springer,,c2008..
7 图书 Automotive software : connected services in mobile networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004 : revised selected papers /
责任者 Broy, M.,,Krüger, Ingolf H.,Meisinger, Michael.

出版信息 Springer, ,c2006.

ISBN 3-540-37677-1 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Broy, M.,,Krüger, Ingolf H.,Meisinger, Michael..Automotive software : connected services in mobile networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004 : revised selected papers /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automotive software : connected services in mobile networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004 : revised selected papers /

Broy, M.,,Krüger, Ingolf H.,Meisinger, Michael..Springer,,c2006..
8 图书 Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers /
责任者 Bj瞨ner, D.,Broy, M.,,Zamulin, A. V.,Marchuk, Alexander.

出版信息 Springer, ,c2001.

ISBN 3-540-43075-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bj瞨ner, D.,Broy, M.,,Zamulin, A. V.,Marchuk, Alexander..Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers /.Springer,,c2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers /

Bj瞨ner, D.,Broy, M.,,Zamulin, A. V.,Marchuk, Alexander..Springer,,c2001..
9 图书 NATO Advanced Study Institute on Control Flow and Data Flow : Concepts of Distributed Programming(1984 : Marktoberdorf)：Control flow and data flow : concepts of distributed programming
责任者 ManfredBroy,NATO Advanced Study Institute on Control Flow and Data Flow : Concepts of Distributed Programming

出版信息 Springer-Verlag ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
ManfredBroy,NATO Advanced Study Institute on Control Flow and Data Flow : Concepts of Distributed Programming.NATO Advanced Study Institute on Control Flow and Data Flow : Concepts of Distributed Programming(1984 : Marktoberdorf)：Control flow and data flow : concepts of distributed programming.Springer-Verlag,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

NATO Advanced Study Institute on Control Flow and Data Flow : Concepts of Distributed Programming(1984 : Marktoberdorf)：Control flow and data flow : concepts of distributed programming

ManfredBroy,NATO Advanced Study Institute on Control Flow and Data Flow : Concepts of Distributed Programming.Springer-Verlag,1985.

通借成功!

预约成功!