检索条件： Varieties of formal languages ( 题名 )

检索结果共有177条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Varieties of formal languages
责任者 J. E. Pin

出版信息 Plenum ,1986

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J. E. Pin.Varieties of formal languages.Plenum,1986.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Varieties of formal languages

J. E. Pin.Plenum,1986.
2 图书 International Symposium of Formal Mechods Europe(1st : 1993 : Odense)：FME`93 : Industrial strength formal methods
责任者 International Symposium of Formal Methods Europe

出版信息 Springer ,1993

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Symposium of Formal Methods Europe.International Symposium of Formal Mechods Europe(1st : 1993 : Odense)：FME`93 : Industrial strength formal methods.Springer,1993.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

International Symposium of Formal Mechods Europe(1st : 1993 : Odense)：FME`93 : Industrial strength formal methods

International Symposium of Formal Methods Europe.Springer,1993.
3 图书 FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /
责任者 Araki, Keijiro,,Gnesi, Stefania,,Mandrioli, Dino.

出版信息 Springer-Verlag, ,2003.

ISBN 3-540-40828-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Araki, Keijiro,,Gnesi, Stefania,,Mandrioli, Dino..FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /.Springer-Verlag,,2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /

Araki, Keijiro,,Gnesi, Stefania,,Mandrioli, Dino..Springer-Verlag,,2003..
4 图书 FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /
责任者 Cuellar, Jorge.,Maibaum, Thomas S. E.,,Sere, K.

出版信息 Springer, ,c2008.

ISBN 9783540682356

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cuellar, Jorge.,Maibaum, Thomas S. E.,,Sere, K..FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /

Cuellar, Jorge.,Maibaum, Thomas S. E.,,Sere, K..Springer,,c2008..
5 图书 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.
6 图书 FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, U.K., July 18-22, 2005 : proceedings /
责任者 Fitzgerald, John,,Hayes, Ian.,Tarlecki, Andrzej.

出版信息 Springer, ,c2005.

ISBN 3-540-27882-6

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Fitzgerald, John,,Hayes, Ian.,Tarlecki, Andrzej..FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, U.K., July 18-22, 2005 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, U.K., July 18-22, 2005 : proceedings /

Fitzgerald, John,,Hayes, Ian.,Tarlecki, Andrzej..Springer,,c2005..
7 图书 Military threats : the costs of coercion and the price of peace /
责任者 Branislav L. Slantchev.

出版信息 Cambridge University Press, ,2011.

ISBN 9780521763189 (hbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Branislav L. Slantchev..Military threats : the costs of coercion and the price of peace /.Cambridge University Press,,2011..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Military threats : the costs of coercion and the price of peace /

Branislav L. Slantchev..Cambridge University Press,,2011..
8 图书 Formal ontologies meet industry : 7th International Workshop, FOMI 2015, Berlin, Germany, August 5, 2015, Proceedings /
责任者 Roberta Cuel, Robert Young (eds.).

出版信息

ISBN 9783319215440

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Roberta Cuel, Robert Young (eds.)..Formal ontologies meet industry : 7th International Workshop, FOMI 2015, Berlin, Germany, August 5, 2015, Proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal ontologies meet industry : 7th International Workshop, FOMI 2015, Berlin, Germany, August 5, 2015, Proceedings /

Roberta Cuel, Robert Young (eds.)..,.
9 图书 Formal methods for web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; advanced lectures /
责任者 Bernardo, Marco.,Padovani, Luca.,Zavattaro, Gianluigi.

出版信息 Springer, ,2009.

ISBN 9783642019173 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bernardo, Marco.,Padovani, Luca.,Zavattaro, Gianluigi..Formal methods for web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; advanced lectures /.Springer,,2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods for web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; advanced lectures /

Bernardo, Marco.,Padovani, Luca.,Zavattaro, Gianluigi..Springer,,2009..
10 图书 Encyclopedia of mathematics and its application．v.5，Thermodynamic formalism：: the mathematical structures of classical equilibrium statistical mechanics
责任者 D. Ruelle

出版信息 Addison-Wesley Pub. Co. ,1978

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
D. Ruelle.Encyclopedia of mathematics and its application．v.5，Thermodynamic formalism：: the mathematical structures of classical equilibrium statistical mechanics.Addison-Wesley Pub. Co.,1978.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Encyclopedia of mathematics and its application．v.5，Thermodynamic formalism：: the mathematical structures of classical equilibrium statistical mechanics

D. Ruelle.Addison-Wesley Pub. Co.,1978.

通借成功!

预约成功!