检索条件： 3 1 Formalism in general relativity ( 题名 )

检索结果共有26条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 3+1 Formalism in general relativity：bases of numerical relativity：数值相对论基础
责任者古尔古隆

出版信息北京大学出版社 ,2014

ISBN 978-7-301-24831-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
古尔古隆.3+1 Formalism in general relativity：bases of numerical relativity：数值相对论基础.北京大学出版社,2014.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

3+1 Formalism in general relativity：bases of numerical relativity：数值相对论基础

古尔古隆.北京大学出版社,2014.
2 图书 Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
责任者 Cassez, Franck.,Jard, Claude.

出版信息 Springer, ,c2008.

ISBN 9783540857778 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cassez, Franck.,Jard, Claude..Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /

Cassez, Franck.,Jard, Claude..Springer,,c2008..
3 图书 Descriptional complexity of formal systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
责任者 Shallit, Jeffrey Outlaw,,Okhotin, Alexander,

出版信息

ISBN 9783319192246

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Shallit, Jeffrey Outlaw,,Okhotin, Alexander,.Descriptional complexity of formal systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Descriptional complexity of formal systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /

Shallit, Jeffrey Outlaw,,Okhotin, Alexander,.,.
4 图书 Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings /
责任者 Raskin, Jean-Fran餭ois,,Thiagarajan, P.S.

出版信息 Springer, ,2007.

ISBN 978-3-540-75453-4 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Raskin, Jean-Fran餭ois,,Thiagarajan, P.S..Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings /.Springer,,2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings /

Raskin, Jean-Fran餭ois,,Thiagarajan, P.S..Springer,,2007..
5 图书 Structured object-oriented formal language and method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers /
责任者 Liu, Shaoying,,Duan, Zhenhua,

出版信息

ISBN 9783319174037 (pbk.) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Liu, Shaoying,,Duan, Zhenhua,.Structured object-oriented formal language and method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Structured object-oriented formal language and method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers /

Liu, Shaoying,,Duan, Zhenhua,.,.
6 图书 Lectures on quantum mechanics /
责任者 Steven Weinberg, The University of Texas at Austin.

出版信息

ISBN 9781107111660 (hbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Steven Weinberg, The University of Texas at Austin..Lectures on quantum mechanics /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Lectures on quantum mechanics /

Steven Weinberg, The University of Texas at Austin..,.
7 图书 Developments in language theory : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007 : proceedings /
责任者 Harju, T.,Karhum?ki, Juhani.,Lepist?, Arto.

出版信息 Springer, ,c2007.

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

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Harju, T.,Karhum?ki, Juhani.,Lepist?, Arto..Developments in language theory : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Developments in language theory : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007 : proceedings /

Harju, T.,Karhum?ki, Juhani.,Lepist?, Arto..Springer,,c2007..
8 图书 Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 ; proceedings /
责任者 Albers, Susanne.

出版信息 Springer, ,2009.

ISBN 9783642029264 (v. 1 : pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Albers, Susanne..Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 ; proceedings /.Springer,,2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 ; proceedings /

Albers, Susanne..Springer,,2009..
9 图书 Lectures on quantum mechanics /
责任者 Steven Weinberg.

出版信息 Cambridge University Press, ,2013.

ISBN 978-1-107-02872-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Steven Weinberg..Lectures on quantum mechanics /.Cambridge University Press,,2013..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Lectures on quantum mechanics /

Steven Weinberg..Cambridge University Press,,2013..
10 图书 Unifying theories of programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
责任者 David Naumann (ed.)

出版信息

ISBN 9783319148052

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
David Naumann (ed.).Unifying theories of programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Unifying theories of programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /

David Naumann (ed.).,.

通借成功!

预约成功!