咨询与建议

限定检索结果

文献类型

  • 43 篇 会议
  • 40 篇 期刊文献
  • 8 篇 科技报告
  • 5 篇 学位论文
  • 1 册 图书

馆藏范围

  • 97 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 76 篇 工学
    • 42 篇 计算机科学与技术...
    • 22 篇 软件工程
    • 11 篇 航空宇航科学与技...
    • 5 篇 机械工程
    • 5 篇 电气工程
    • 5 篇 控制科学与工程
    • 4 篇 材料科学与工程(可...
    • 3 篇 力学(可授工学、理...
    • 3 篇 仪器科学与技术
    • 3 篇 电子科学与技术(可...
    • 3 篇 信息与通信工程
    • 3 篇 生物医学工程(可授...
    • 2 篇 动力工程及工程热...
    • 2 篇 石油与天然气工程
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
    • 1 篇 环境科学与工程(可...
  • 14 篇 教育学
    • 14 篇 教育学
  • 8 篇 理学
    • 3 篇 数学
    • 3 篇 物理学
    • 2 篇 化学
    • 1 篇 生物学
  • 7 篇 管理学
    • 5 篇 管理科学与工程(可...
  • 4 篇 医学
    • 3 篇 基础医学(可授医学...
    • 1 篇 临床医学
  • 1 篇 经济学
    • 1 篇 理论经济学
    • 1 篇 应用经济学
  • 1 篇 文学
    • 1 篇 外国语言文学
  • 1 篇 农学
    • 1 篇 作物学
    • 1 篇 农业资源与环境

主题

  • 96 篇 c programming la...
  • 7 篇 computer program...
  • 7 篇 programming lang...
  • 5 篇 operating system...
  • 4 篇 computer program...
  • 4 篇 static analysis
  • 4 篇 software testing
  • 4 篇 fortran
  • 4 篇 language
  • 3 篇 proof automation
  • 3 篇 microcontroller
  • 3 篇 iris
  • 3 篇 linear programmi...
  • 3 篇 computer languag...
  • 3 篇 software develop...
  • 3 篇 coq
  • 3 篇 computers
  • 3 篇 parallel compute...
  • 3 篇 parallel computi...
  • 3 篇 separation logic

机构

  • 3 篇 brno university ...
  • 3 篇 univ cambridge c...
  • 2 篇 radboud univ nij...
  • 2 篇 ace associated c...
  • 2 篇 mpi sws saarland...
  • 1 篇 ostbayer th d-93...
  • 1 篇 rose hulman inst...
  • 1 篇 tsinghua univ sc...
  • 1 篇 mpi sws saarbruc...
  • 1 篇 univ politecn ma...
  • 1 篇 zhejiang sci tec...
  • 1 篇 microsoft corp r...
  • 1 篇 korea adv inst s...
  • 1 篇 inria le chesnay
  • 1 篇 army research la...
  • 1 篇 nasa langley res...
  • 1 篇 german aerosp ct...
  • 1 篇 multimedia univ ...
  • 1 篇 univ new s wales...
  • 1 篇 munster technol ...

作者

  • 3 篇 lepigre rodolphe
  • 3 篇 sammler michael
  • 3 篇 dreyer derek
  • 2 篇 garg deepak
  • 2 篇 ahn jaemyung
  • 2 篇 krebbers robbert
  • 2 篇 ortin francisco
  • 2 篇 cribari-neto fra...
  • 2 篇 schulte wolfram
  • 2 篇 memarian kayvan
  • 1 篇 dhawan ap
  • 1 篇 guoquan jiang
  • 1 篇 stella s.
  • 1 篇 kyfonidis charal...
  • 1 篇 mao guifen
  • 1 篇 jeannet bertrand
  • 1 篇 schulzrinne henn...
  • 1 篇 iten david
  • 1 篇 zhang qingyang
  • 1 篇 escalada javier

语言

  • 87 篇 英文
  • 7 篇 其他
  • 2 篇 中文
  • 1 篇 斯洛伐克文
检索条件"主题词=C PROGRAMMING LANGUAGE"
97 条 记 录,以下是91-100 订阅
排序:
OTTER (Organized Techniques for Theorem-proving and Effective Research) 2.0 users guide
OTTER (Organized Techniques for Theorem-proving and Effectiv...
收藏 引用
作者: Mccune, W. W Argonne National Lab. IL. Department of Energy Washington DC.
OTTER (Organized Techniques for Theorem-proving and Effective Research) is a resolution-style theorem-proving program for first- order logic with equality. OTTER includes the inference rules binary resolution, hyperre... 详细信息
来源: 评论
A c-language PROGRAM FOR THE cOMPUTATION OF POWER SPEcTRA ON A LABORATORY MIcROcOMPUTER
收藏 引用
cOMPUTER METHODS AND PROGRAMS IN BIOMEDIcINE 1986年 第3期22卷 285-291页
作者: WEBBER, cL Department of Physiology Loyola University of Chicago Stritch School of Medicine 2160 South First Avenue Maywood IL 60153 U.S.A.
A computer program is described which performs power-spectral analyses on time-domain data. The program is written in the c language and incorporates an algorithm for the fast Fourier transform translated from BASIc i... 详细信息
来源: 评论
AN INTERAcTIVE, READILY TRANSPORTABLE PROGRAM USING A LOG LOGIT TRANSFORMATION FOR THE ANALYSIS OF RADIOIMMUNOASSAY DATA
收藏 引用
cOMPUTER METHODS AND PROGRAMS IN BIOMEDIcINE 1986年 第3期23卷 263-268页
作者: GOADSBY, PJ LAMBERT, GA UNIV NEW S WALES SCH MED SYDNEY NSW AUSTRALIA
We describe a processing program for radioimmunoassay data which uses a log/logit transformation and maximum likelihood estimation to describe mathematically the standard curve, providing a .chi.2 test of goodness of ... 详细信息
来源: 评论
The design and implementation of a Syntax Directed Editor for a space constrained microcomputer.
The design and implementation of a Syntax Directed Editor fo...
收藏 引用
作者: Richbourg, Robert E. Naval Postgraduate School
学位级别:硕士
Syntax directed editors (SDE) have been built to support popular languages or subsets of those languages. Typically, these im- plementations require large amounts of computing resources. This work describes the design... 详细信息
来源: 评论
Laboratorní úlohy pro mikrokontroléry Mc9S08LH firmy Freescale
Laboratorní úlohy pro mikrokontroléry MC9S08LH firmy Free...
收藏 引用
作者: Mikeska, Jaroslav Brno University of Technology
Tato bakalářská práce je věnována laboratorním úlohám pro mikrokontroléry Mc9S08LH firmy Freescale. V úvodní části pojednává o periferiích mikroko... 详细信息
来源: 评论
Vzdálený sběr dat s pomocí GSM modemů na bázi platformy Open AT
Vzdálený sběr dat s pomocí GSM modemů na bázi platform...
收藏 引用
作者: Otoupalík, Pavel Brno University of Technology
Tato bakalářská práce se zabývá vzdáleným sběrem dat pomocí GSM modemů s podporou platformy Open AT. Výsledkem práce je realizovaný modul, který slouží... 详细信息
来源: 评论
cekamerový snímač biometricch vlastností lidského prstu
Vícekamerový snímač biometrických vlastností lidského...
收藏 引用
作者: Trhoň, Adam Brno University of Technology
Tato práce se zabývá návrhem konceptu platformy pro bezdotykové snímání otisku prstu a jeho realizací. Dále je popsán návrh, implementace a testován... 详细信息
来源: 评论