登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Logic-Based Program Synthesis and Transformation
EISBN：
9783031167676
PISBN：
9783031167669
出版社：
Springer Nature
出版时间：
2022
作者：
Alicia Villanueva
主题词：
Computer Science
学科：
T 工业技术,TP 自动化技术、计算机技术,TP3 计算技术、计算机技术,TP30 一般性问题,TP302 设计与性能分析
语种：
英语
所属数据库：
SpringerLink电子图书
丛书题名：
Lecture Notes in Computer Science
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Logic-Based Program Synthesis and Transformation
作者：
Germán Puebla
EISBN：
9783540714101
出版社：
Springer Berlin Heidelberg
出版时间：
2007
Logic-Based Program Synthesis and Transformation
作者：
Maurizio Gabbrielli
EISBN：
9783030452605
出版社：
Springer International Publishing
出版时间：
2020
Logic-Based Program Synthesis and Transformation
作者：
Elvira Albert
EISBN：
9783642381973
出版社：
Springer Berlin Heidelberg
出版时间：
2013
Logic-Based Program Synthesis and Transformation
作者：
Germán Vidal
EISBN：
9783642322112
出版社：
Springer Berlin Heidelberg
出版时间：
2012
Logic-Based Program Synthesis and Transformation
作者：
Fred Mesnard,Peter J. Stuckey
EISBN：
9783030138387
出版社：
Springer International Publishing
出版时间：
2019
Logic-Based Program Synthesis and Transformation
作者：
Moreno Falaschi
EISBN：
9783319274362
出版社：
Springer International Publishing
出版时间：
2015
×
订购单位
×
电子书下载
将全部文件下载下来，放在一个目录中，右键点击后缀名为.zip的文件，用 winrar 、360压缩等压缩软件解压，就都能解压出来了。
问图书管理员
馆际互借
查看订购单位