咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是71-80 订阅
排序:
Fix it, don't nix it [IT security]
收藏 引用
Engineering & Technology 2009年 第18期4卷 58-59页
作者: chris Tapp
The article discusses the security in c programming language. critics claim that the decades-old c programming language is inherently insecure. The author disagrees. Programmers just have to use security tools to fix ... 详细信息
来源: 评论
Many-valued logics and the logic of the c programming language
Many-valued logics and the logic of the C programming langua...
收藏 引用
27th International conference on InformationTechnology Interfaces
作者: Nagy, B Univ Debrecen Fachbereich Informat H-4010 Debrecen Hungary
In this paper we analyse the logic of the programming language c, where integers used as logical values. The classical logic has several axiom-systems, the oldest one is the axioms of the Boolean-algebra. We analyse h... 详细信息
来源: 评论
An interactive Bomberman game-based teaching/learning tool for introductory c programming
收藏 引用
2nd International conference on Technologies for E-Learning and Digital Entertainment (Edutainment 2007)
作者: Wong, Wai-Tak chou, Yu-Min Chung Hua Univ Dept Informat Management Hsinchu Taiwan
Edutainment teaching/learning tools must be very "entertaining". Otherwise, the tools will lose its attraction soon or later. In order to become formal tools in everyday teaching/learning process, they must ... 详细信息
来源: 评论
An object-oriented approach to software development in c for small embedded systems
收藏 引用
TRANSAcTIONS OF THE INSTITUTE OF MEASUREMENT AND cONTROL 2003年 第3期25卷 217-238页
作者: Pont, MJ Univ Leicester Dept Engn Embedded Syst Lab Leicester LE1 7RH Leics England
This paper is concerned with the development of software for embedded systems which will typically be implemented using a small microcontroller (8051, PIc, Hc08 or similar device). It is argued that c remains the most... 详细信息
来源: 评论
Econometric and Statistical computing Using Ox
收藏 引用
computational Economics 2003年 第3期21卷 277-295页
作者: cribari-Neto, Francisco Zarkos, Spyros G. Departamento de Estatística CCEN Universidade Federal de Pernambuco Recife/PE 50740-540 Brazil National Bank of Greece Athens 102 32 86 Eolou str. Greece
This paper reviews the matrix programming lanician/statistician. We focus on scientific programming using Ox and discuss examples of possible interest to econometricians and statisticians, such as random number genera... 详细信息
来源: 评论
Real-time identification of flutter boundaries using the discrete wavelet transform
收藏 引用
JOURNAL OF GUIDANcE cONTROL AND DYNAMIcS 2002年 第2期25卷 334-339页
作者: Johnson, JD Lu, J Dhawan, AP Lin, R Univ Toledo Toledo OH 43606 USA NASA Dryden Flight Res Ctr Edwards AFB CA 92523 USA
Real-time analysis of an airframe's flutter boundaries during flight testing can help ensure safety and reduce costs. One method of identification is to perform correlation filtering using a set of singlet functio... 详细信息
来源: 评论
Parallel performance analysis of FVTD computational electromagnetics code
收藏 引用
AIAA JOURNAL 2001年 第11期39卷 2218-2222页
作者: camberos, JA White, MD USAF Res Lab Computat Sci Branch Aeronaut Sci DivAir Vehicles Directorate Wright Patterson AFB OH 45433 USA
Focuses on the portability and scalability of the computational electromagnetics code on massively parallel machines. Theoretical background of Maxwell equations; computer code implementation; Parallel implementation ... 详细信息
来源: 评论
c for Econometricians
收藏 引用
computational Economics 1999年 第1-2期14卷 135-149页
作者: cribari-Neto, Francisco Departamento de Estatística Universidade Federal de Pernambuco Cidade Universitária Recife/PE 50740-540 Brazil
Fortran has long been the mother-tongue of the scientific community. This note looks at the c programming language from the viewpoint of numerical computing with the emphasis placed on econometric applications. c can ... 详细信息
来源: 评论
Interfacing low-level c device drivers with Ada 95
Interfacing low-level C device drivers with Ada 95
收藏 引用
AcM SIGADA Annual International conference (SIGADA 99)
作者: Doran, S Litton Guidance & Control Syst Woodland Hills CA 91367 USA
The personal computer hardware marketplace has grown rapidly in recent years. Many software projects, as a cost-cutting measure, are buying "off-the-self" items to meet heir hardware requirements. Almost all... 详细信息
来源: 评论
Pc controlled toothbrush/dentifrice abrasion machine
收藏 引用
Journal of Medical Systems 1999年 第1期23卷 27-33页
作者: Bal, Güngör Üçtaşli, Sadullah Bekiroǧlu, Erdal University of Gazi Electrical Education Beşevler 06500 Ankara Turkey University of Ankara Faculty of Dentistry Beşevler 06500 Ankara Turkey
A toothbrush/dentifrice abrasion machine was developed to use in dental research laboratory. The mechanism was designed as a hexagonal block driven by two stepping motors which move the mechanism in four directions. I... 详细信息
来源: 评论