检索条件： Methods of programming, selected papers on the CIP-Project ( 任意词 )

检索结果共有17条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Methods of programming, selected papers on the CIP-Project(1991)
责任者 M. Broy,Methods of programming, selected papers on the CIP-Project

出版信息 Springer ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
M. Broy,Methods of programming, selected papers on the CIP-Project.Methods of programming, selected papers on the CIP-Project(1991).Springer,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Methods of programming, selected papers on the CIP-Project(1991)

M. Broy,Methods of programming, selected papers on the CIP-Project.Springer,1991.
2 图书 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.).,.
3 图书 Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 2000 : selected papers /
责任者 Mohnen, Markus,,Koopman, Pieter.

出版信息 Springer, ,2001.

ISBN 3-540-41919-5 (pbk. alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Mohnen, Markus,,Koopman, Pieter..Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 2000 : selected papers /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 2000 : selected papers /

Mohnen, Markus,,Koopman, Pieter..Springer,,2001..
4 图书 Mathematical and engineering methods in computer science : 9th International Doctoral Workshop, MEMICS 2014, Telc, Czech Republic, October 17-19, 2014, Revised Selected Papers /
责任者 Hlineny, Petr,

出版信息

ISBN 9783319148953

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hlineny, Petr,.Mathematical and engineering methods in computer science : 9th International Doctoral Workshop, MEMICS 2014, Telc, Czech Republic, October 17-19, 2014, Revised Selected Papers /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Mathematical and engineering methods in computer science : 9th International Doctoral Workshop, MEMICS 2014, Telc, Czech Republic, October 17-19, 2014, Revised Selected Papers /

Hlineny, Petr,.,.
5 图书 Algorithmic methods for railway optimization : international Dagstuhl workshop, railway optimization 2004, Dagstuhl Castle, Germany, June 20-25, 2004, Bergen, Norway, September 16-17, 2004 : revised selected papers /
责任者 Geraets, Frank.

出版信息 Springer, ,c2007.

ISBN 978-3-540-74245-6

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Geraets, Frank..Algorithmic methods for railway optimization : international Dagstuhl workshop, railway optimization 2004, Dagstuhl Castle, Germany, June 20-25, 2004, Bergen, Norway, September 16-17, 2004 : revised selected papers /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Algorithmic methods for railway optimization : international Dagstuhl workshop, railway optimization 2004, Dagstuhl Castle, Germany, June 20-25, 2004, Bergen, Norway, September 16-17, 2004 : revised selected papers /

Geraets, Frank..Springer,,c2007..
6 图书 Implementation of functional languages : 13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers /
责任者 Arts, Thomas,,Mohnen, Markus,

出版信息 Springer, ,2002.

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

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Arts, Thomas,,Mohnen, Markus,.Implementation of functional languages : 13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers /.Springer,,2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Implementation of functional languages : 13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers /

Arts, Thomas,,Mohnen, Markus,.Springer,,2002..
7 图书 Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Macei, AL, Brazil, September 29-October 1, 2014, Proceedings /
责任者 edited by Christiano Braga, Narciso Mart-Oliet.

出版信息

ISBN 9783319150741 (pbk.) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
edited by Christiano Braga, Narciso Mart-Oliet..Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Macei, AL, Brazil, September 29-October 1, 2014, Proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Macei, AL, Brazil, September 29-October 1, 2014, Proceedings /

edited by Christiano Braga, Narciso Mart-Oliet..,.
8 图书 Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings /
责任者 Lee, David.,Lopes, Antónia.,Poetzsch-Heffter, Arnd.

出版信息 Springer, ,c2009.

ISBN 9783642021374 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Lee, David.,Lopes, Antónia.,Poetzsch-Heffter, Arnd..Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings /.Springer,,c2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings /

Lee, David.,Lopes, Antónia.,Poetzsch-Heffter, Arnd..Springer,,c2009..
9 图书 Evolutionary computation in combinatorial optimisation : 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised selected papers /
责任者 Blum, Christian,,Ochoa, Gabriela,

出版信息 Springer, ,2014.

ISBN 9783662443194

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Blum, Christian,,Ochoa, Gabriela,.Evolutionary computation in combinatorial optimisation : 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised selected papers /.Springer,,2014..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Evolutionary computation in combinatorial optimisation : 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised selected papers /

Blum, Christian,,Ochoa, Gabriela,.Springer,,2014..
10 图书 Optimization for data analysis /
责任者 Recht, Benjamin,

出版信息 Cambridge University Press, ,2022.

ISBN 9781316518984

馆藏信息

图书信息

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

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

Optimization for data analysis /

Recht, Benjamin,.Cambridge University Press,,2022..

通借成功!

预约成功!