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

限定检索结果

文献类型

  • 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 条 记 录，以下是241-250 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
NASA Technical Reports Server (Ntrs) 19830009101: a recursive Algorithm for Zernike Polynomials
收藏
分享
引用
2016年
NASA Technical Reports Server (Ntrs) 19830009101: a recursive Algorithm for Zernike Polynomials by NASA Technical Reports Server (Ntrs); published by
来源： 评论
Dtic Ada007824: Lo - a Text Formatting Program
收藏
分享
引用
2016年
[Auto Generated] Abstract iii Ch l: Introduction l l.l: Text Processing 3 1.2: Variables and Data Types ... 4 1.3: Expressions 1.4: Commands 9 1.5: Errors and Warnings 11 1.6: Output Devices 11 Ch 2: Basic LO Capabili... 详细信息
来源： 评论
NASA Technical Reports Server (Ntrs) 19940008447: recursive Time-Varying Filter Banks for Subband Image Coding
收藏
分享
引用
2016年
NASA Technical Reports Server (Ntrs) 19940008447: recursive Time-Varying Filter Banks for Subband Image Coding by NASA Technical Reports Server (Ntrs); published by
来源： 评论
NASA Technical Reports Server (Ntrs) 19900013726: a Decoupled recursive Approach for Constrained Flexible Multibody System Dynamics
收藏
分享
引用
2016年
NASA Technical Reports Server (Ntrs) 19900013726: a Decoupled recursive Approach for Constrained Flexible Multibody System Dynamics by NASA Technical Reports Server (Ntrs); NASA Technical Reports Server (Ntrs); publis... 详细信息
来源： 评论
NASA Technical Reports Server (Ntrs) 19830007012: Identification and Stochastic Control of Helicopter Dynamic Modes
收藏
分享
引用
2016年
NASA Technical Reports Server (Ntrs) 19830007012: Identification and Stochastic Control of Helicopter Dynamic Modes by NASA Technical Reports Server (Ntrs); published by
来源： 评论
NASA Technical Reports Server (Ntrs) 20120010515: recursive Implementations of the Consider Filter
收藏
分享
引用
2016年
NASA Technical Reports Server (Ntrs) 20120010515: recursive Implementations of the Consider Filter by NASA Technical Reports Server (Ntrs); NASA Technical Reports Server (Ntrs); published by
来源： 评论
NASA Technical Reports Server (Ntrs) 19780020205: a recursively Formulated First-Order Semianalytic Artificial Satellite Theory Based on the Generalized Method of Averaging. Volume 2: the Explicit Development of the First-Order Averaged Equations of Motion and for the Nonspherical Gravitational and Nonresonant Third-Body Perturbations
收藏
分享
引用
2016年
NASA Technical Reports Server (Ntrs) 19780020205: a recursively Formulated First-Order Semianalytic Artificial Satellite Theory Based on the Generalized Method of Averaging. Volume 2: the Explicit Development of the F... 详细信息
来源： 评论
NASA Technical Reports Server (Ntrs) 19800008539: Analysis and Testing of Numerical Formulas for the Initial Value Problem
收藏
分享
引用
2016年
NASA Technical Reports Server (Ntrs) 19800008539: Analysis and Testing of Numerical Formulas for the Initial Value Problem by NASA Technical Reports Server (Ntrs); published by
来源： 评论
Mit :: Lcs :: Tr :: Mit-Lcs-Tr-110
收藏
分享
引用
2016年
Mit :: Lcs :: Tr :: Mit-Lcs-Tr-110 by published by
来源： 评论
NASA Technical Reports Server (Ntrs) 19760009797: Stochastic Process Approximation for recursive Estimation with Guaranteed Bound on the Error Covariance
收藏
分享
引用
2016年
NASA Technical Reports Server (Ntrs) 19760009797: Stochastic Process Approximation for recursive Estimation with Guaranteed Bound on the Error Covariance by NASA Technical Reports Server (Ntrs); published by
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共137页 <<  < 21 22 23 24 25 26 27 28 29 30 >  >>
回到顶部
执行限定条件