检索条件： Logic based program synthesis and transformation : ( 题名 )

检索结果共有8条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Logic based program synthesis and transformation : 11th International Workshop, LOPSTER 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers /
责任者 Pettorossi, A.

出版信息 Springer, ,c2002.

ISBN 3-540-43915-3 (pbk. : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Pettorossi, A..Logic based program synthesis and transformation : 11th International Workshop, LOPSTER 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic based program synthesis and transformation : 11th International Workshop, LOPSTER 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers /

Pettorossi, A..Springer,,c2002..
2 图书 Logic based program synthesis and transformation : international workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers /
责任者 Lau, K.-K.

出版信息 Springer, ,2001.

ISBN 3-540-42127-0 (pbk. : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Lau, K.-K..Logic based program synthesis and transformation : international workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic based program synthesis and transformation : international workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers /

Lau, K.-K..Springer,,2001..
3 图书 Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers /
责任者 King, Andrew Malcolm.

出版信息 Springer, ,2008.

ISBN 9783540787686 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
King, Andrew Malcolm..Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers /.Springer,,2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers /

King, Andrew Malcolm..Springer,,2008..
4 图书 Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers /
责任者 Puebla, Germa?n.

出版信息 Springer, ,c2007.

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

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Puebla, Germa?n..Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers /

Puebla, Germa?n..Springer,,c2007..
5 图书 Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers /
责任者 Etalle, Sandro.

出版信息 Springer, ,c2005.

ISBN 3-540-26655-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Etalle, Sandro..Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers /

Etalle, Sandro..Springer,,c2005..
6 图书 Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /
责任者 Bruynooghe, M.

出版信息 Springer, ,c2004.

ISBN 3-540-22174-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bruynooghe, M..Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /

Bruynooghe, M..Springer,,c2004..
7 图书 Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers /
责任者 Leuschel, Michael.

出版信息 Springer, ,c2003.

ISBN 3-540-40438-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Leuschel, Michael..Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers /.Springer,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers /

Leuschel, Michael..Springer,,c2003..
8 图书 Logic-based program synthesis and transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014, Revised selected papers /
责任者 Proietti, Maurizio,,Seki, Hirohisa,

出版信息

ISBN 9783319178219

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Proietti, Maurizio,,Seki, Hirohisa,.Logic-based program synthesis and transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014, Revised selected papers /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic-based program synthesis and transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014, Revised selected papers /

Proietti, Maurizio,,Seki, Hirohisa,.,.

通借成功!

预约成功!