检索条件： FSTTCS 2007 : ( 题名 )

检索结果共有12672条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 FSTTCS 2007 : foundations of software technology and theoretical computer science : 27th international conference, New Delhi, India, December 12-14, 2007 : proceedings /
责任者 Arvind, V.,Prasad, Sanjiva.

出版信息 Springer, ,c2007.

ISBN 978-3-540-77049-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Arvind, V.,Prasad, Sanjiva..FSTTCS 2007 : foundations of software technology and theoretical computer science : 27th international conference, New Delhi, India, December 12-14, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

FSTTCS 2007 : foundations of software technology and theoretical computer science : 27th international conference, New Delhi, India, December 12-14, 2007 : proceedings /

Arvind, V.,Prasad, Sanjiva..Springer,,c2007..
2 图书 2007History of education quarterly.2007
责任者 jamesD.Anderson

出版信息 ,2007-12-01

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
jamesD.Anderson.2007History of education quarterly.2007.,2007-12-01.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

2007History of education quarterly.2007

jamesD.Anderson.,2007-12-01.
3 图书 Engineering interactive systems : EIS 2007 joint working conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007 : selected papers /
责任者 Guliksen, Jan.

出版信息 Springer, ,c2008.

ISBN 9783540926979 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Guliksen, Jan..Engineering interactive systems : EIS 2007 joint working conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007 : selected papers /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Engineering interactive systems : EIS 2007 joint working conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007 : selected papers /

Guliksen, Jan..Springer,,c2008..
4 图书 Higher Education Research&Development Vol.26No.(1-2)2007
责任者 Dr Gerlese Akerlind

出版信息 ,2007-12-01

ISBN 072-9-436-09012-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Dr Gerlese Akerlind.Higher Education Research&Development Vol.26No.(1-2)2007.,2007-12-01.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Higher Education Research&Development Vol.26No.(1-2)2007

Dr Gerlese Akerlind.,2007-12-01.
5 图书 History of Education Quarterly 2007.No(1-2)
责任者 James D.Anderson

出版信息 ,2007-12-01

ISBN hi

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
James D.Anderson.History of Education Quarterly 2007.No(1-2).,2007-12-01.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

History of Education Quarterly 2007.No(1-2)

James D.Anderson.,2007-12-01.
6 图书 Emerging direction in embedded and ubiquitous computing : EUC 2007 Workshops : TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 17-20, 2007 : proceedings /
责任者 Denko, Mieso K.

出版信息 Springer, ,c2007.

ISBN 978-3-540-77089-3 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Denko, Mieso K..Emerging direction in embedded and ubiquitous computing : EUC 2007 Workshops : TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 17-20, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Emerging direction in embedded and ubiquitous computing : EUC 2007 Workshops : TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 17-20, 2007 : proceedings /

Denko, Mieso K..Springer,,c2007..
7 图书 Secure data management : 4th VLDB workshop, SDM 2007, Vienna, Austria, September 23-24, 2007 : proceedings /
责任者 Jonker, Willem,,Petkovic?, Milan.

出版信息 Springer, ,c2007.

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

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Jonker, Willem,,Petkovic?, Milan..Secure data management : 4th VLDB workshop, SDM 2007, Vienna, Austria, September 23-24, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Secure data management : 4th VLDB workshop, SDM 2007, Vienna, Austria, September 23-24, 2007 : proceedings /

Jonker, Willem,,Petkovic?, Milan..Springer,,c2007..
8 图书 Foundations of software science and computational structures : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings /
责任者 Seidl, Helmut.

出版信息 Springer, ,c2007.

ISBN 978-3-540-71388-3 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Seidl, Helmut..Foundations of software science and computational structures : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Foundations of software science and computational structures : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings /

Seidl, Helmut..Springer,,c2007..
9 图书 Compiler construction : 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings /
责任者 Krishnamurthi, Shriram.,Odersky, Martin.

出版信息 Springer, ,c2007.

ISBN 978-3-540-71228-2 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Krishnamurthi, Shriram.,Odersky, Martin..Compiler construction : 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Compiler construction : 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings /

Krishnamurthi, Shriram.,Odersky, Martin..Springer,,c2007..
10 图书 Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
责任者 Grumberg, Orna.,Huth, Michael,

出版信息 Springer, ,c2007.

ISBN 978-3-540-71208-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Grumberg, Orna.,Huth, Michael,.Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /

Grumberg, Orna.,Huth, Michael,.Springer,,c2007..

通借成功!

预约成功!