咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 94 篇 电子文献
  • 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 篇 农业资源与环境

主题

  • 93 篇 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 篇 iris
  • 3 篇 linear programmi...
  • 3 篇 computer languag...
  • 3 篇 software develop...
  • 3 篇 coq
  • 3 篇 computers
  • 3 篇 parallel compute...
  • 3 篇 parallel computi...
  • 3 篇 separation logic
  • 3 篇 c language

机构

  • 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 ...
  • 1 篇 chung hua univ d...

作者

  • 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

语言

  • 84 篇 英文
  • 7 篇 其他
  • 2 篇 中文
  • 1 篇 斯洛伐克文
检索条件"主题词=C Programming Language"
94 条 记 录,以下是61-70 订阅
排序:
The Methods of calculation of Temperature Field of Unsteady State Heat conduction
The Methods of Calculation of Temperature Field of Unsteady ...
收藏 引用
IEEE International conference on Electronics, communications and control (IcEcc)
作者: Wang Qiuhong Xi Jianqi N China Inst Water Conservancy & Hydroelect Power Zhengzhou 450011 Peoples R China
This paper uses the c programming language to develop a program that can solve the analytic solution which has been simplified. On the one hand, in the condition of the known time, we can get the temperature field of ... 详细信息
来源: 评论
Follow the River and You Will Find the c  11
Follow the River and You Will Find the C
收藏 引用
42nd AcM Technical Symposium on computer Science Education
作者: Lee, Jae Woo Kester, Michael S. Schulzrinne, Henning Columbia Univ Dept Comp Sci New York NY 10027 USA
We present a one-semester transition course intended to bridge the gap between a Java-based introductory sequence and advanced systems courses. We chose to structure our course as a series of lab assignments that, whi... 详细信息
来源: 评论
ISAAcS - interactive structure analysis of amorphous and crystalline systems
收藏 引用
JOURNAL OF APPLIED cRYSTALLOGRAPHY 2010年 第1期43卷 181-185页
作者: Le Roux, Sebastien Petkov, Valeri Cent Michigan Univ Dept Phys Mt Pleasant MI 48859 USA
ISAAcS (interactive structure analysis of amorphous and crystalline systems) is a cross-platform program developed to analyze the structural characteristics of three-dimensional structure models built by computer simu... 详细信息
来源: 评论
Learning and Practicing Fundamentals of Electrical and computer Engineering through Building and programming a Microcontroller with Multiple Peripherals
Learning and Practicing Fundamentals of Electrical and Compu...
收藏 引用
40th Annual Frontiers in Education conference
作者: Song, Jianjian Mu, Xiaoyan Xu, Huihui Yoder, Mark Rose Hulman Inst Technol Terre Haute IN 47803 USA
A required sophomore course on microcontrollers and computer architecture was designed and offered for the first time in 2009 to expose our electrical engineering (EE) sophomore students to microcontroller-based appli... 详细信息
来源: 评论
Ivor Horton's beginning Visual c++ 2010 /
收藏 引用
2010年
作者: Horton Ivor.
来源: 内蒙古大学图书馆图书 评论
Ensuring safe usage of buffers in programming language c
Ensuring safe usage of buffers in programming language C
收藏 引用
3rd International conference on Software and Data Technologies
作者: Vujosevic-Janicic, Milena Univ Belgrade Dept Comp Sci Fac Math Belgrade Serbia
We consider the problem of buffer overflows in c programs. This problem is very important because buffer overflows are Suitable targets for security attacks and Sources of serious programs' misbehavior. Buffer ove... 详细信息
来源: 评论
A Precise Yet Efficient Memory Model For c
收藏 引用
ELEcTRONIc NOTES IN THEORETIcAL cOMPUTER ScIENcE 2009年 254卷 85-103页
作者: cohen, Ernie Moskal, Michal Tobies, Stephan Schulte, Wolfram Microsoft Corp Redmond WA 98052 USA European Microsoft Innovat Ctr Aachen Germany
Verification for OO programs typically starts from a strongly typed object model in which distinct objects/fields are guaranteed not to overlap. This model simplifies verification by eliminating all "uninterestin... 详细信息
来源: 评论
Separation Logic Verification of c Programs with an SMT Solver
收藏 引用
ELEcTRONIc NOTES IN THEORETIcAL cOMPUTER ScIENcE 2009年 254卷 5-23页
作者: Botincan, Matko Parkinson, Matthew Schulte, Wolfram Univ Zagreb Zagreb Croatia Univ Cambridge Cambridge England Microsoft Res Redmond WA USA
This paper presents a methodology for automated modular verification of c programs against specifications written in separation logic. The distinguishing features of the approach are representation of the c memory mod... 详细信息
来源: 评论
Discussion on Teaching Innovation of the c language Program of the Noncomputer Specialty
Discussion on Teaching Innovation of the C Language Program ...
收藏 引用
4th International conference on computer Science and Education
作者: Wang, Yuanmei Liu, Feng Yangtze Univ Coll Electron & Informat Jinzhou Peoples R China Huazhong Univ Sci & Technol Dept Control Sci & Engn Wuhan Peoples R China
According to teaching practice, the paper analyzes the problem in teaching of the course of c language programming of noncomputer specialty, declares the method of teaching innovation and discusses the reformation of ... 详细信息
来源: 评论
Study and Application of curve Fitting to Automatic control
Study and Application of Curve Fitting to Automatic Control
收藏 引用
International conference on Future BioMedical Information Engineering
作者: Zhang, Peijun Li, Xiaoxia Wei, Hongjun Hebei Univ Engn Morern Educ Technol Ctr Handan Peoples R China Hebei Univ Engn Informat & Elect Engn Handan Peoples R China
on the basis of the basic principles of curve fitting this paper explains how to select function and solve some problems in industrial control under no mathematic model and evaluates mathematic analysis formula by usi... 详细信息
来源: 评论