检索条件： Unconventional models in computation : ( 题名 )

检索结果共有492条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Unconventional models in computation : third international conference, UMC 2002, Kobe, Japan, October 15-19, 2002 : proceedings /
责任者 Calude, Cristian,,Dinneen, M. J.,,Peper, Ferdinand,

出版信息 Springer, ,2002.

ISBN 3-540-44311-8 (alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Calude, Cristian,,Dinneen, M. J.,,Peper, Ferdinand,.Unconventional models in computation : third international conference, UMC 2002, Kobe, Japan, October 15-19, 2002 : proceedings /.Springer,,2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Unconventional models in computation : third international conference, UMC 2002, Kobe, Japan, October 15-19, 2002 : proceedings /

Calude, Cristian,,Dinneen, M. J.,,Peper, Ferdinand,.Springer,,2002..
2 图书 Advanced Course on Computer Aided Design ( 1980 : Darmstdadt )：Computer Aided Design modelling, systems engineering, CAD-systems
责任者 J. Encarnacao,Advanced Course on Computer Aided Design

出版信息 Springer ,1980

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J. Encarnacao,Advanced Course on Computer Aided Design.Advanced Course on Computer Aided Design ( 1980 : Darmstdadt )：Computer Aided Design modelling, systems engineering, CAD-systems.Springer,1980.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Advanced Course on Computer Aided Design ( 1980 : Darmstdadt )：Computer Aided Design modelling, systems engineering, CAD-systems

J. Encarnacao,Advanced Course on Computer Aided Design.Springer,1980.
3 图书 Model driven engineering languages and systems : 10th international conference, MODELS 2007, Nashville, USA, September 30-October 5, 2007 : proceedings /
责任者 Engels, G.

出版信息 Springer, ,c2007.

ISBN 978-3-540-75208-0 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Engels, G..Model driven engineering languages and systems : 10th international conference, MODELS 2007, Nashville, USA, September 30-October 5, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Model driven engineering languages and systems : 10th international conference, MODELS 2007, Nashville, USA, September 30-October 5, 2007 : proceedings /

Engels, G..Springer,,c2007..
4 图书 IFIP WG 5.10 Working Conference(1991 : Tokyo)：Modeling in computer graphics
责任者 IFIP WG 5.10 Working Conference

出版信息 Springer ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
IFIP WG 5.10 Working Conference.IFIP WG 5.10 Working Conference(1991 : Tokyo)：Modeling in computer graphics.Springer,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

IFIP WG 5.10 Working Conference(1991 : Tokyo)：Modeling in computer graphics

IFIP WG 5.10 Working Conference.Springer,1991.
5 图书 Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems : International Autumn School, Rocks 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /
责任者 Remke, Anne.,Stoelinga, Marie？lle.

出版信息

ISBN 9783662454886

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Remke, Anne.,Stoelinga, Marie？lle..Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems : International Autumn School, Rocks 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems : International Autumn School, Rocks 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /

Remke, Anne.,Stoelinga, Marie？lle..,.
6 图书 Life system modeling and simulation : international conference, LSMS 2007, Shanghai, China, September 14-17, 2007 : proceedings /
责任者 Li, Kang,

出版信息 Springer, ,c2007.

ISBN 978-3-540-74770-3 (alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Li, Kang,.Life system modeling and simulation : international conference, LSMS 2007, Shanghai, China, September 14-17, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Life system modeling and simulation : international conference, LSMS 2007, Shanghai, China, September 14-17, 2007 : proceedings /

Li, Kang,.Springer,,c2007..
7 图书 Models in software engineering : workshops and symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007 ; reports and revised selected papers /
责任者 Giese, Holger.

出版信息 Springer, ,c2008.

ISBN 9783540690696 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Giese, Holger..Models in software engineering : workshops and symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007 ; reports and revised selected papers /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Models in software engineering : workshops and symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007 ; reports and revised selected papers /

Giese, Holger..Springer,,c2008..
8 图书 Models in software engineering : workshops and symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006 : reports and revised selected papers /
责任者 Kühne, Thomas.

出版信息 Springer, ,c2007.

ISBN 978-3-540-69488-5 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kühne, Thomas..Models in software engineering : workshops and symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006 : reports and revised selected papers /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Models in software engineering : workshops and symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006 : reports and revised selected papers /

Kühne, Thomas..Springer,,c2007..
9 图书 Petri Nets：central models and their properties : advances in petri nets 1986．Pt.1 : proceedings of an advanced course
责任者

出版信息 Springer-Verkag ,] 1987

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Petri Nets：central models and their properties : advances in petri nets 1986．Pt.1 : proceedings of an advanced course.Springer-Verkag,] 1987.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Petri Nets：central models and their properties : advances in petri nets 1986．Pt.1 : proceedings of an advanced course

.Springer-Verkag,] 1987.
10 图书 Petri Nets：applications and relationships to other models of concurrency : advances in petri nets 1986．Pt.2 : proceedings of an advanced course
责任者

出版信息 Springer-Verkag ,1987

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Petri Nets：applications and relationships to other models of concurrency : advances in petri nets 1986．Pt.2 : proceedings of an advanced course.Springer-Verkag,1987.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Petri Nets：applications and relationships to other models of concurrency : advances in petri nets 1986．Pt.2 : proceedings of an advanced course

.Springer-Verkag,1987.

通借成功!

预约成功!