咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 836 篇 期刊文献
  • 438 篇 会议
  • 86 册 图书
  • 1 篇 学位论文

馆藏范围

  • 1,351 篇 电子文献
  • 10 种 纸本馆藏

日期分布

学科分类号

  • 780 篇 理学
    • 693 篇 数学
    • 57 篇 物理学
    • 43 篇 统计学（可授理学、...
    • 20 篇 系统科学
    • 14 篇 科学技术史(分学科...
    • 13 篇 生物学
    • 11 篇 化学
  • 667 篇 工学
    • 536 篇 计算机科学与技术...
    • 252 篇 软件工程
    • 65 篇 电气工程
    • 53 篇 控制科学与工程
    • 22 篇 电子科学与技术（可...
    • 22 篇 信息与通信工程
    • 12 篇 力学（可授工学、理...
    • 10 篇 机械工程
    • 9 篇 化学工程与技术
    • 8 篇 动力工程及工程热...
    • 6 篇 材料科学与工程（可...
    • 6 篇 建筑学
  • 77 篇 管理学
    • 47 篇 管理科学与工程(可...
    • 24 篇 图书情报与档案管...
    • 6 篇 工商管理
    • 6 篇 公共管理
  • 29 篇 经济学
    • 18 篇 理论经济学
    • 14 篇 应用经济学
  • 24 篇 哲学
    • 20 篇 哲学
  • 12 篇 医学
    • 6 篇 基础医学(可授医学...
    • 6 篇 临床医学
  • 11 篇 法学
    • 11 篇 社会学
  • 8 篇 教育学
    • 5 篇 心理学(可授教育学...
  • 8 篇 农学
  • 6 篇 文学
  • 4 篇 艺术学
  • 1 篇 历史学

主题

  • 1,361 篇 recursive functi...
  • 187 篇 mathematical the...
  • 119 篇 logical theorems
  • 92 篇 recursion
  • 80 篇 algorithms
  • 75 篇 integers
  • 62 篇 recursively enum...
  • 60 篇 natural numbers
  • 57 篇 nasa technical r...
  • 57 篇 (ntrs)
  • 51 篇 degree of unsolv...
  • 46 篇 arithmetic
  • 42 篇 mathematical ind...
  • 34 篇 polynomials
  • 31 篇 recursion theory
  • 31 篇 approximation
  • 31 篇 algebra
  • 27 篇 induction assump...
  • 26 篇 equivalence rela...
  • 23 篇 oracles

机构

  • 7 篇 natl univ singap...
  • 6 篇 univ maryland de...
  • 5 篇 inria
  • 5 篇 univ wisconsin d...
  • 5 篇 univ munster ins...
  • 4 篇 univ kaiserslaut...
  • 4 篇 school of comput...
  • 4 篇 univ calif san d...
  • 4 篇 massachusetts in...
  • 4 篇 rutgers state un...
  • 4 篇 università degli...
  • 3 篇 university of ca...
  • 3 篇 ohio state univ ...
  • 3 篇 mit cambridge ma...
  • 3 篇 institute of mat...
  • 3 篇 univ edinburgh e...
  • 3 篇 univ chicago il ...
  • 3 篇 department of co...
  • 3 篇 univ calif berke...
  • 3 篇 natl univ singap...

作者

  • 11 篇 remmel jb
  • 9 篇 stephan frank
  • 8 篇 jain s
  • 7 篇 jockusch cg
  • 6 篇 zeugmann thomas
  • 6 篇 roversi luca
  • 6 篇 dipaola ra
  • 6 篇 dekker jce
  • 6 篇 jain sanjay
  • 6 篇 wiehagen r
  • 6 篇 kummer m
  • 6 篇 stephan f
  • 5 篇 slaman ta
  • 5 篇 kutrib martin
  • 5 篇 nipkow tobias
  • 5 篇 herrmann e
  • 5 篇 hu zhenjiang
  • 5 篇 downey rg
  • 5 篇 owings jc
  • 5 篇 byerly re

语言

  • 1,303 篇 英文
  • 43 篇 其他
  • 8 篇 法文
  • 3 篇 中文
  • 2 篇 俄文
  • 1 篇 德文
  • 1 篇 日文
检索条件"主题词=Recursive functions"
共 1361 条 记 录，以下是201-210 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
NASA Technical Reports Server (Ntrs) 19890010828: Identification of Space Shuttle Main Engine Dynamics
收藏
分享
引用
2017年
NASA Technical Reports Server (Ntrs) 19890010828: Identification of Space Shuttle Main Engine Dynamics by NASA Technical Reports Server (Ntrs); published by
来源： 评论
NASA Technical Reports Server (Ntrs) 19870008018: Kalman Filtering, Smoothing and recursive Robot Arm Forward and Inverse Dynamics
收藏
分享
引用
2017年
NASA Technical Reports Server (Ntrs) 19870008018: Kalman Filtering, Smoothing and recursive Robot Arm Forward and Inverse Dynamics by NASA Technical Reports Server (Ntrs); published by
来源： 评论
NASA Technical Reports Server (Ntrs) 19890001215: an Investigation of New Methods for Estimating Parameter Sensitivities
收藏
分享
引用
2017年
NASA Technical Reports Server (Ntrs) 19890001215: an Investigation of New Methods for Estimating Parameter Sensitivities by NASA Technical Reports Server (Ntrs); published by
来源： 评论
NASA Technical Reports Server (Ntrs) 20040047194: Contributions of Spherical Harmonics to Magnetic and Gravitational Fields
收藏
分享
引用
2017年
NASA Technical Reports Server (Ntrs) 20040047194: Contributions of Spherical Harmonics to Magnetic and Gravitational Fields by NASA Technical Reports Server (Ntrs); published by
来源： 评论
Die Iterationen;Ein Beitrag Zur Wahrscheinlichkeitstheorie
收藏
分享
引用
2017年
作者： ladislaus von bortkiewicz
Die Iterationen; Ein Beitrag Zur Wahrscheinlichkeitstheorie by Bortkiewicz, Ladislaus Von, 1868-1931; published by Berlin J. Springer
来源： 评论
NASA Technical Reports Server (Ntrs) 19880006250: Propulsion Estimation Techniques
收藏
分享
引用
2017年
NASA Technical Reports Server (Ntrs) 19880006250: Propulsion Estimation Techniques by NASA Technical Reports Server (Ntrs); published by
来源： 评论
NASA Technical Reports Server (Ntrs) 19990116780: Investigation of Near Shannon Limit Coding Schemes
收藏
分享
引用
2017年
NASA Technical Reports Server (Ntrs) 19990116780: Investigation of Near Shannon Limit Coding Schemes by NASA Technical Reports Server (Ntrs); published by
来源： 评论
NASA Technical Reports Server (Ntrs) 19860017929: Adaptive Control of Large Space Structures Using recursive Lattice Filters
收藏
分享
引用
2017年
NASA Technical Reports Server (Ntrs) 19860017929: Adaptive Control of Large Space Structures Using recursive Lattice Filters by NASA Technical Reports Server (Ntrs); published by
来源： 评论
Dtic Ada057191: Algorithms and Hardware Technology for Image Recognition
收藏
分享
引用
2017年
[Auto Generated] 3.2.1 Threshold selection 3.2.2 Optimal edge detection 3.2.3 Operator response prediction 3.3 Preprocessing 3.3.1 Sampling 3.3.2 Histogram transformation and adaptive quantization 3.3.3 Smoothing and ... 详细信息
来源： 评论
NASA Technical Reports Server (Ntrs) 19900001319: Quotient-Difference Type Generalizations of the Power Method and Their Analysis
收藏
分享
引用
2017年
NASA Technical Reports Server (Ntrs) 19900001319: Quotient-Difference Type Generalizations of the Power Method and Their Analysis by NASA Technical Reports Server (Ntrs); published by
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共137页 <<  < 17 18 19 20 21 22 23 24 25 26 >  >>
回到顶部
执行限定条件