检索条件： From semantics to computer science : ( 题名 )

检索结果共有41条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 From semantics to computer science : essays in honour of Gilles Kahn /
责任者 Kahn, G.,Bertot, Yves.

出版信息 Cambridge University Press, ,2009.

ISBN 9780521518253 (hbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kahn, G.,Bertot, Yves..From semantics to computer science : essays in honour of Gilles Kahn /.Cambridge University Press,,2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

From semantics to computer science : essays in honour of Gilles Kahn /

Kahn, G.,Bertot, Yves..Cambridge University Press,,2009..
2 图书 Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday /
责任者 Palsberg, Jens.

出版信息 Springer, ,2009.

ISBN 9783642041631 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Palsberg, Jens..Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday /.Springer,,2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday /

Palsberg, Jens..Springer,,2009..
3 图书 The Semantic Web : research and applications : 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 : proceedings /
责任者 Bechhofer, Sean.

出版信息 Springer, ,c2008.

ISBN 9783540682332

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bechhofer, Sean..The Semantic Web : research and applications : 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The Semantic Web : research and applications : 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 : proceedings /

Bechhofer, Sean..Springer,,c2008..
4 图书 Algebraic approaches to program semantics
责任者 E. Manes,M. A. Arbib

出版信息 Springer-Verlag ,1986

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
E. Manes,M. A. Arbib.Algebraic approaches to program semantics.Springer-Verlag,1986.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Algebraic approaches to program semantics

E. Manes,M. A. Arbib.Springer-Verlag,1986.
5 图书 The Semantic Web : 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007 : proceedings /
责任者 Aberer, Karl.

出版信息 Springer, ,c2007.

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

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Aberer, Karl..The Semantic Web : 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The Semantic Web : 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007 : proceedings /

Aberer, Karl..Springer,,c2007..
6 图书 Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems /
责任者 [Heinrich Rust] .

出版信息 Springer, ,c2005.

ISBN 3-540-25576-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
[Heinrich Rust] ..Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems /

[Heinrich Rust] ..Springer,,c2005..
7 图书 The semantic web : 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008 : proceedings /
责任者 Domingue, John.,Chutiporn Anutariya.

出版信息 Springer, ,c2008.

ISBN 9783540897033 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Domingue, John.,Chutiporn Anutariya..The semantic web : 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The semantic web : 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008 : proceedings /

Domingue, John.,Chutiporn Anutariya..Springer,,c2008..
8 图书 The semantic web : ISWC 2008 : 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008 ; proceedings /
责任者 Sheth, A.

出版信息 Springer, ,c2008.

ISBN 9783540885634 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Sheth, A..The semantic web : ISWC 2008 : 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008 ; proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The semantic web : ISWC 2008 : 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008 ; proceedings /

Sheth, A..Springer,,c2008..
9 图书 The Semantic Web : research and applications : 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007 : proceedings /
责任者 FRanconi, Enrico.,Kifer, M.,May, Wolfgang,

出版信息 Springer, ,c2007.

ISBN 978-3-540-72666-1 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
FRanconi, Enrico.,Kifer, M.,May, Wolfgang,.The Semantic Web : research and applications : 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The Semantic Web : research and applications : 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007 : proceedings /

FRanconi, Enrico.,Kifer, M.,May, Wolfgang,.Springer,,c2007..
10 图书 Semantic multimedia : second International Conference on Semantic and Digital Media Technologies, SAMT 2007, Genoa, Italy, December 5-7, 2007 : proceedings /
责任者 Falcidieno, B.

出版信息 Springer, ,c2007.

ISBN 978-3-540-77033-6 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Falcidieno, B..Semantic multimedia : second International Conference on Semantic and Digital Media Technologies, SAMT 2007, Genoa, Italy, December 5-7, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Semantic multimedia : second International Conference on Semantic and Digital Media Technologies, SAMT 2007, Genoa, Italy, December 5-7, 2007 : proceedings /

Falcidieno, B..Springer,,c2007..

通借成功!

预约成功!