咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是81-90 订阅
排序:
Ivor Horton's beginning Visual c++ 2010 /
收藏 引用
2010年
作者: Horton Ivor.
来源: 内蒙古大学图书馆图书 评论
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 ... 详细信息
来源: 评论
The use of the Red Pitaya Development System in a Secondary Vocational Education Programme for the Technician of Electrical Engineering
ELEKTROTEHNISKI VESTNIK-ELECTROCHEMICAL REVIEW
收藏 引用
ELEKTROTEHNISKI VESTNIK-ELEcTROcHEMIcAL REVIEW 2017年 第3期84卷 133-139页
作者: Pogacnik, Borut Srednja Tehniska Sola Solski Ctr Kranj Kidriceva 55 Kranj 4000 Slovenia
The paper presents the use of the Red Pitaya development system in a secondary vocational education programme for electrical engineering. In the introduction, the Red Pitaya hardware and software are shortly described... 详细信息
来源: 评论
PID controller Design for Motor Speed Regulation with Linear and Non-Linear Load
收藏 引用
IFAc-PapersOnLine 2022年 第4期55卷 225-229页
作者: Vladimir Rajs Nikola Lj. Rašević Milan Z. Bodić Miodrag M. Zuković Kalman B. Babković Faculty of Technical Sciences Novi Sad Serbia
In modern industrial applications there is a great need for reliable regulators that satisfy many different system requirements. This paper addresses the problem of using Dc electrical motors to drive both linear and ... 详细信息
来源: 评论
Strengths in Security Solutions.
Strengths in Security Solutions.
收藏 引用
作者: Shunn, A.
来源: 评论
A Hands-On Introduction to GraphBLAS: The Python Edition
A Hands-On Introduction to GraphBLAS: The Python Edition
收藏 引用
作者: McMillan, Scott
contents include Graphs and Linear Algebra The GraphBLAS API and Adjacency Matrices GraphBLAS Operations Pygraphblas and modifying the behavior of operations Graph Algorithms expressed with GraphBLAS, Breadth-First Tr... 详细信息
来源: 评论
Analysis of code (and Design) Defect Injection and Removal in PSP
Analysis of Code (and Design) Defect Injection and Removal i...
收藏 引用
作者: Vallespir, Diego
来源: 评论
Preserving Memory Safety in Safe Rust during Interactions with Unsafe languages
Preserving Memory Safety in Safe Rust during Interactions wi...
收藏 引用
作者: Rivera, E MIT Lincoln Laboratory Lexington MA Assistant Secretary of Defense for Research and Engineering Washington DC
Rust is a programming language that simultaneously offers high performance and strong security guarantees. However, these guarantees come at the cost of strict compiler checks that sometimes prevent necessary code pat... 详细信息
来源: 评论
The role of c in the dark ages of multi-core  13
The role of C in the dark ages of multi-core
收藏 引用
Proceedings of the 14th AcM SIGPLAN/SIGBED conference on languages, compilers and tools for embedded systems
作者: Marcel Beemster ACE Associated Compiler Experts bv Amsterdam Netherlands
contrary to predictions of its demise, c remains a dominant programming language, especially in embedded systems. Speed and transparency dictate that it will be so for the next decade, despite its supposed unsuitabili... 详细信息
来源: 评论
Two Published Flight Dynamics Models Rewritten in Rust and Structured as an EcS
Two Published Flight Dynamics Models Rewritten in Rust and S...
收藏 引用
作者: Willis, c. A AIR FORCE INSTITUTE OF TECHNOLOGY WRIGHT-PATTERSON AFB OH GRADUATE SCHOOL OF ENGINEERING AND MANAGEMENT AFRL/RQQD wpafb OH Air Force Research Laboratory/RQQD Wright-Patterson AFB OH
This thesis explores using the Entity-component System (EcS) architecture to implement a Flight Dynamics Model (FDM) by re-implementing two published versions in the Rust programming language using the Specs Parallel ... 详细信息
来源: 评论