登录
机构网站
切换导航
登录
机构网站
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
任意字段
任意字段
题名
出版社
作者
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]
订购单位
中国科学院文献情报中心
[切换机构]
中国科学院所有订购单位
年份
2024
28
2023
23
2020
7
2019
4
2018
8
2017
4
2016
13
2015
10
2014
8
2013
5
2012
3
2011
7
2010
6
2009
7
2008
2
2007
2
2006
3
2005
1
2004
7
2003
14
2002
22
2001
13
2000
22
1999
16
1998
12
1997
14
1996
12
1995
5
1994
2
1993
4
1991
3
1990
4
1987
3
1981
1
1979
1
1974
2
主题词
logic
x
mathematical logic and foundations
151
mathematics
83
general
54
artificial intelligence (incl. robotics)
52
philosophy
48
computer science
35
mathematical logic and formal languages
34
philosophy of science
31
computers
28
artificial intelligence
22
bisac category: computers
19
epistemology
17
computational linguistics
16
lattices
16
order
16
ordered algebraic structures
16
bisac category: mathematics
15
history of mathematical sciences
15
symbolic and algebraic manipulation
15
data science
12
philosophy of language
12
programming
12
algebra
11
software development & engineering
11
theory of computation
11
compilers
9
interpreters
9
probability theory and stochastic processes
9
programming languages
9
philosophy of law
7
semantics
7
hardware
6
logics and meanings of programs
6
metaphysics
6
networking
6
ontology
6
science
6
business & productivity software
5
category theory
5
cognitive psychology
5
game theory
5
linguistics
5
physics
5
software engineering
5
abstract
4
algorithms
4
applications of mathematics
4
applied
4
computational intelligence
4
cryptology and information theory
4
data structures
4
database administration & management
4
economics
4
history of science
4
homological algebra
4
information technology
4
information theory
4
languages
4
mathematics of computing
4
philosophy of mind
4
programming and operating systems
4
quantum physics
4
social and behav. sciences
4
speech & audio processing
4
topology
4
analysis
3
analytic philosophy
3
appl.mathematics/computational methods of engineering
3
computing methodologies
3
graph theory
3
history & philosophy
3
interdisciplinary studies
3
logic design
3
machine learning
3
philosophy (general)
3
philosophy of mathematics
3
software engineering/programming and operating systems
3
statistics
3
bisac category: technology & engineering
2
circuits
2
coding and information theory
2
combinatorics
2
computation by abstract devices
2
computer architecture
2
control
2
discrete mathematics
2
discrete mathematics in computer science
2
elementary particles
2
engineering (general)
2
epidemiology
2
expert systems
2
field theory and polynomials
2
formal languages and automata theory
2
functional analysis
2
geometry
2
group theory and generalizations
2
information and communication
2
integral transforms
2
knowledge representation and reasoning
2
学科
computer science
19
tp 自动化技术、计算机技术
12
tp3 计算技术、计算机技术
7
o1 ( o 数理科学和化学
5
o1 数学 )
5
mathematics and statistics
4
tp ( t 工业技术
4
tp 自动化技术、计算机技术 )
4
tp30 一般性问题
4
o1 数学
3
tp309 ( t 工业技术
3
tp309 安全保密 )
3
tp1 自动化基础理论
2
tp18 ( t 工业技术
2
tp18 人工智能理论 )
2
tp3 ( t 工业技术
2
tp3 计算技术、计算机技术 )
2
tp31 ( t 工业技术
2
tp31 计算机软件 )
2
b81 ( b 哲学、宗教
1
b81 逻辑学（论理学） )
1
c3 社会科学研究方法
1
c37 ( c 社会科学总论
1
c37 数据处理 )
1
o14 数理逻辑、数学基础
1
o141 ( o 数理科学和化学
1
o141 数理逻辑（符号逻辑） )
1
o15 ( o 数理科学和化学
1
o15 代数、数论、组合理论 )
1
o17 数学分析
1
o172 ( o 数理科学和化学
1
o172 微积分 )
1
o4 ( o 数理科学和化学
1
o4 物理学 )
1
physics and astronomy (legacy 2)
1
t 工业技术
1
tp3-05 ( t 工业技术
1
tp3-05 计算机与其他学科的关系 )
1
tp302 设计与性能分析
1
tp302.2 ( t 工业技术
1
tp302.2 逻辑设计 )
1
tu ( t 工业技术
1
tu 建筑科学 )
1
语种
英语
297
意大利语
1
出版类型
contributed volume
160
monograph
57
graduate/advanced undergraduate textbook
9
proceedings
7
brief
6
biography
2
undergraduate textbook
2
collected works
1
collection of essays
1
handbook
1
ph.d. thesis
1
专著
1
出版社
springer netherlands
147
springer nature
50
springer international publishing
47
springer berlin heidelberg
20
springer us
16
springer basel
4
springer london
3
springer new york
3
birkhäuser boston
2
atlantis press
1
birkhäuser basel
1
elsevier
1
springer fachmedien wiesbaden
1
springer india
1
springer milan
1
所属数据库
springerlink电子图书
206
springerlink电子图书(1815-2004)
91
elsevier电子图书
1
检索结果:
298
相关度降序
日期降序
题名升序
相关度降序
Advances in Brain Inspired Cognitive Systems
出版社：
Springer Nature
EISBN：
9789819714179
出版时间：
2024
作者：
Jinchang Ren,Amir Hussain,Iman Yi Liao,Rongjun Chen,Kaizhu Huang,Huimin Zhao,Xiaoyong Liu,Ping Ma,Thomas Maul
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
An Introduction to Naïve Set Theory and Its Applications
出版社：
Springer Nature
EISBN：
9789819746439
出版时间：
2024
作者：
Shashi Mohan Srivastava
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
An Invitation to Mathematical Logic
出版社：
Springer Nature
EISBN：
9783031553684
出版时间：
2024
作者：
David Marker
1浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Coalgebraic Methods in Computer Science
出版社：
Springer Nature
EISBN：
9783031664380
出版时间：
2024
作者：
Barbara König,Henning Urbat
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Computability and Complexity
出版社：
Springer Nature
EISBN：
9783031537448
出版时间：
2024
作者：
Rod Downey
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Cryptocoding Based on Quasigroups
出版社：
Springer Nature
EISBN：
9783031501258
出版时间：
2024
作者：
Daniela Mechkaroska,Aleksandra Popovska-Mitrovikj,Verica Bakeva
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Dynamic Logic. New Trends and Applications
出版社：
Springer Nature
EISBN：
9783031517778
出版时间：
2024
作者：
Nina Gierasimczuk,Fernando R. Velázquez-Quesada
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Formal Methods Teaching
出版社：
Springer Nature
EISBN：
9783031713798
出版时间：
2024
作者：
Emil Sekerinski,Leila Ribeiro
1浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Foundations of Information and Knowledge Systems
出版社：
Springer Nature
EISBN：
9783031569401
出版时间：
2024
作者：
Arne Meier,Magdalena Ortiz
1浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Foundations of Software Science and Computation Structures
出版社：
Springer Nature
EISBN：
9783031572319
出版时间：
2024
作者：
Naoki Kobayashi,James Worrell
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
×
订购单位选择
北京纳米能源与系统研究所
北京生命科学研究所
广东省科技图书馆（广东省科技信息与发展战略研究所）
广东省科技图书馆（广东省科学院信息研究所）
广州先进技术研究所
国家纳米科学中心
上海科技大学
水利部中国科学院水工程生态研究所
中国科学院半导体研究所
中国科学院北京基因组研究所（国家生物信息中心）
中国科学院北京综合研究中心
中国科学院测量与地球物理研究所
中国科学院成都计算机应用研究所
中国科学院成都山地灾害与环境研究所
中国科学院成都生物研究所
中国科学院成都文献情报中心
中国科学院成都有机化学研究所
中国科学院城市环境研究所
中国科学院大连化学物理研究所
中国科学院大气物理研究所
中国科学院大学
中国科学院电工研究所
中国科学院电子学研究所
中国科学院地理科学与资源研究所
中国科学院地球环境研究所
中国科学院地球化学研究所
中国科学院地质与地球物理研究所
中国科学院地质与地球物理研究所兰州油气资源研究中心
中国科学院东北地理与农业生态研究所
中国科学院动物研究所
中国科学院福建物质结构研究所
中国科学院赣江创新研究院
中国科学院高能物理研究所
中国科学院工程热物理研究所
中国科学院光电技术研究所
中国科学院光电研究院
中国科学院广州电子技术研究所
中国科学院广州地球化学研究所
中国科学院广州化学研究所
中国科学院广州能源研究所
中国科学院广州生物医药与健康研究院
中国科学院古脊椎动物与古人类研究所
中国科学院过程工程研究所
中国科学院国家空间科学中心
中国科学院国家授时中心
中国科学院国家天文台
中国科学院国家天文台南京天文光学技术研究所
中国科学院国家天文台长春人造卫星观测站
中国科学院海洋研究所
中国科学院寒区旱区环境与工程研究所
中国科学院合肥物质科学研究院
中国科学院华南植物园
中国科学院化学研究所
中国科学院近代物理研究所
中国科学院精密测量科学与技术创新研究院
中国科学院金属研究所
中国科学院计算技术研究所
中国科学院计算机网络信息中心
中国科学院集团
中国科学院科技战略咨询研究院
中国科学院空间应用工程与技术中心
中国科学院空天信息创新研究院
中国科学院昆明动物研究所
中国科学院昆明植物研究所
中国科学院兰州化学物理研究所
中国科学院兰州文献情报中心
中国科学院理化技术研究所
中国科学院理论物理研究所
中国科学院力学研究所
中国科学院南海海洋研究所
中国科学院南京地理与湖泊研究所
中国科学院南京地质古生物研究所
中国科学院南京土壤研究所
中国科学院宁波材料技术与工程研究所
中国科学院青岛生物能源与过程研究所
中国科学院青海盐湖研究所
中国科学院青藏高原研究所
中国科学院软件研究所
中国科学院上海高等研究院
中国科学院上海光学精密机械研究所
中国科学院上海硅酸盐研究所
中国科学院上海技术物理研究所
中国科学院上海免疫与感染研究所
中国科学院上海生命科学研究院
中国科学院上海天文台
中国科学院上海微系统与信息技术研究所
中国科学院上海药物研究所
中国科学院上海应用物理研究所
中国科学院上海有机化学研究所
中国科学院山西煤炭化学研究所
中国科学院生态环境研究中心
中国科学院生物物理研究所
中国科学院声学研究所
中国科学院深海科学与工程研究所
中国科学院沈阳计算技术研究所
中国科学院沈阳应用生态研究所
中国科学院沈阳自动化研究所
中国科学院深圳先进技术研究院
中国科学院水生生物研究所
中国科学院水土保持研究所
中国科学院数学与系统科学研究院
中国科学院苏州纳米技术与纳米仿生研究所
中国科学院苏州生物医学工程技术研究所
中国科学院天津工业生物技术研究所
中国科学院微电子研究所
中国科学院微生物研究所
中国科学院文献情报中心
中国科学院武汉病毒研究所
中国科学院武汉文献情报中心
中国科学院武汉物理与数学研究所
中国科学院武汉岩土力学研究所
中国科学院武汉植物园
中国科学院物理研究所
中国科学院西安光学精密机械研究所
中国科学院西北高原生物研究所
中国科学院西北生态环境资源研究院
中国科学院新疆理化技术研究所
中国科学院新疆生态与地理研究所
中国科学院新疆天文台
中国科学院心理研究所
中国科学院信息工程研究所
中国科学院西双版纳热带植物园
中国科学院烟台海岸带研究所
中国科学院遥感与数字地球研究所
中国科学院亚热带农业生态研究所
中国科学院遗传与发育生物学研究所
中国科学院遗传与发育生物学研究所农业资源研究中心
中国科学院云南天文台
中国科学院长春光学精密机械与物理研究所
中国科学院长春应用化学研究所
中国科学院植物研究所
中国科学院重庆绿色智能技术研究院
中国科学院自动化研究所
中国科学院紫金山天文台
中国科学院自然科学史研究所
×
订购单位
详细信息
馆际互借
查看订购单位
问图书管理员