登录
机构网站
切换导航
登录
机构网站
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
任意字段
任意字段
题名
出版社
作者
ISBN
丛书题名
全部
[A]
[B]
[C]
[D]
[E]
[F]
[G]
[H]
[I]
[J]
[K]
[L]
[M]
[N]
[O]
[P]
[Q]
[R]
[S]
[T]
[U]
[V]
[W]
[X]
[Y]
[Z]
订购单位
中国科学院文献情报中心
[切换机构]
中国科学院所有订购单位
年份
2006
1
2005
3
2004
1
2003
1
2001
2
1999
2
1996
2
1993
6
1992
2
1991
1
1990
4
1989
4
1988
2
1987
1
1986
6
1985
3
1984
2
1983
1
1982
4
1981
1
1978
3
1976
1
1975
1
1973
1
主题词
compilers
15
interpreters
15
programming languages
15
logics and meanings of programs
11
mathematical logic and formal languages
11
general
10
software engineering
10
computer science
9
programming techniques
9
algorithm analysis and problem complexity
6
artificial intelligence (incl. robotics)
6
computation by abstract devices
4
models and principles
4
software engineering/programming and operating systems
3
combinatorics
2
computer hardware
2
logic design
2
numerical analysis
2
system performance and evaluation
2
arithmetic and logic structures
1
coding and information theory
1
communications engineering
1
computer communication networks
1
computing methodologies
1
data structures
1
database management
1
discrete mathematics in computer science
1
electronics and microelectronics
1
image processing and computer vision
1
information storage and retrieval
1
instrumentation
1
math applications in computer science
1
mathematical logic and foundations
1
mathematics
1
networks
1
pattern recognition
1
performance and reliability
1
processor architectures
1
special purpose and application-based systems
1
theory of computation
1
语种
英语
55
出版类型
monograph
24
graduate/advanced undergraduate textbook
15
undergraduate textbook
6
professional book
3
reference work
3
manual
2
collection of essays
1
handbook
1
出版社
springer new york
36
springer berlin heidelberg
11
springer us
8
所属数据库
springerlink电子图书
55
检索结果:
55
相关度降序
日期降序
题名升序
相关度降序
An Introduction to Kolmogorov Complexity and Its Applications
出版社：
Springer New York
EISBN：
9781475738605
出版时间：
1993
作者：
Ming Li,Paul Vitányi
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
The Design and Analysis of Algorithms
出版社：
Springer New York
EISBN：
9781461244004
出版时间：
1992
作者：
Dexter C. Kozen
1浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
What Computing Is All About
出版社：
Springer New York
EISBN：
9781461227106
出版时间：
1993
作者：
Jan L. A. Snepscheut
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Verification of Sequential and Concurrent Programs
出版社：
Springer New York
EISBN：
9781475743760
出版时间：
1991
作者：
Krzysztof R. Apt,Ernst-Rüdiger Olderog
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Programming in Modula-2
出版社：
Springer Berlin Heidelberg
EISBN：
9783642835650
出版时间：
1988
作者：
Niklaus Wirth
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Probabilistic Analysis of Algorithms
出版社：
Springer New York
EISBN：
9781461248002
出版时间：
1987
作者：
Micha Hofri
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Fairness
出版社：
Springer US
EISBN：
9781461248866
出版时间：
1986
作者：
Nissim Francez
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Panoramic Vision
出版社：
Springer New York
EISBN：
9781475734829
出版时间：
2001
作者：
Ryad Benosman,Sing Bing Kang
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Specification and Development of Interactive Systems
出版社：
Springer New York
EISBN：
9781461300915
出版时间：
2001
作者：
Manfred Broy,Ketil Stølen
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Prototyping-Oriented Software Development
出版社：
Springer Berlin Heidelberg
EISBN：
9783642847608
出版时间：
1992
作者：
Walter R. Bischofberger,Gustav Pomberger
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
×
订购单位选择
北京纳米能源与系统研究所
北京生命科学研究所
广东省科技图书馆（广东省科技信息与发展战略研究所）
广东省科技图书馆（广东省科学院信息研究所）
广州先进技术研究所
国家纳米科学中心
上海科技大学
水利部中国科学院水工程生态研究所
中国科学院半导体研究所
中国科学院北京基因组研究所（国家生物信息中心）
中国科学院北京综合研究中心
中国科学院测量与地球物理研究所
中国科学院成都计算机应用研究所
中国科学院成都山地灾害与环境研究所
中国科学院成都生物研究所
中国科学院成都文献情报中心
中国科学院成都有机化学研究所
中国科学院城市环境研究所
中国科学院大连化学物理研究所
中国科学院大气物理研究所
中国科学院大学
中国科学院电工研究所
中国科学院电子学研究所
中国科学院地理科学与资源研究所
中国科学院地球环境研究所
中国科学院地球化学研究所
中国科学院地质与地球物理研究所
中国科学院地质与地球物理研究所兰州油气资源研究中心
中国科学院东北地理与农业生态研究所
中国科学院动物研究所
中国科学院福建物质结构研究所
中国科学院赣江创新研究院
中国科学院高能物理研究所
中国科学院工程热物理研究所
中国科学院光电技术研究所
中国科学院光电研究院
中国科学院广州电子技术研究所
中国科学院广州地球化学研究所
中国科学院广州化学研究所
中国科学院广州能源研究所
中国科学院广州生物医药与健康研究院
中国科学院古脊椎动物与古人类研究所
中国科学院过程工程研究所
中国科学院国家空间科学中心
中国科学院国家授时中心
中国科学院国家天文台
中国科学院国家天文台南京天文光学技术研究所
中国科学院国家天文台长春人造卫星观测站
中国科学院海洋研究所
中国科学院寒区旱区环境与工程研究所
中国科学院合肥物质科学研究院
中国科学院华南植物园
中国科学院化学研究所
中国科学院近代物理研究所
中国科学院精密测量科学与技术创新研究院
中国科学院金属研究所
中国科学院计算技术研究所
中国科学院计算机网络信息中心
中国科学院集团
中国科学院科技战略咨询研究院
中国科学院空间应用工程与技术中心
中国科学院空天信息创新研究院
中国科学院昆明动物研究所
中国科学院昆明植物研究所
中国科学院兰州化学物理研究所
中国科学院兰州文献情报中心
中国科学院理化技术研究所
中国科学院理论物理研究所
中国科学院力学研究所
中国科学院南海海洋研究所
中国科学院南京地理与湖泊研究所
中国科学院南京地质古生物研究所
中国科学院南京土壤研究所
中国科学院宁波材料技术与工程研究所
中国科学院青岛生物能源与过程研究所
中国科学院青海盐湖研究所
中国科学院青藏高原研究所
中国科学院软件研究所
中国科学院上海高等研究院
中国科学院上海光学精密机械研究所
中国科学院上海硅酸盐研究所
中国科学院上海技术物理研究所
中国科学院上海免疫与感染研究所
中国科学院上海生命科学研究院
中国科学院上海天文台
中国科学院上海微系统与信息技术研究所
中国科学院上海药物研究所
中国科学院上海应用物理研究所
中国科学院上海有机化学研究所
中国科学院山西煤炭化学研究所
中国科学院生态环境研究中心
中国科学院生物物理研究所
中国科学院声学研究所
中国科学院深海科学与工程研究所
中国科学院沈阳计算技术研究所
中国科学院沈阳应用生态研究所
中国科学院沈阳自动化研究所
中国科学院深圳先进技术研究院
中国科学院水生生物研究所
中国科学院水土保持研究所
中国科学院数学与系统科学研究院
中国科学院苏州纳米技术与纳米仿生研究所
中国科学院苏州生物医学工程技术研究所
中国科学院天津工业生物技术研究所
中国科学院微电子研究所
中国科学院微生物研究所
中国科学院文献情报中心
中国科学院武汉病毒研究所
中国科学院武汉文献情报中心
中国科学院武汉物理与数学研究所
中国科学院武汉岩土力学研究所
中国科学院武汉植物园
中国科学院物理研究所
中国科学院西安光学精密机械研究所
中国科学院西北高原生物研究所
中国科学院西北生态环境资源研究院
中国科学院新疆理化技术研究所
中国科学院新疆生态与地理研究所
中国科学院新疆天文台
中国科学院心理研究所
中国科学院信息工程研究所
中国科学院西双版纳热带植物园
中国科学院烟台海岸带研究所
中国科学院遥感与数字地球研究所
中国科学院亚热带农业生态研究所
中国科学院遗传与发育生物学研究所
中国科学院遗传与发育生物学研究所农业资源研究中心
中国科学院云南天文台
中国科学院长春光学精密机械与物理研究所
中国科学院长春应用化学研究所
中国科学院植物研究所
中国科学院重庆绿色智能技术研究院
中国科学院自动化研究所
中国科学院紫金山天文台
中国科学院自然科学史研究所
×
订购单位
详细信息
馆际互借
查看订购单位
问图书管理员