咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1-10 订阅
排序:
Students? difficulties with inserting and deleting nodes in a singly linked list in the c programming language?
收藏 引用
JOURNAL OF cOMPUTER languageS 2023年 74卷
作者: Almadhoun, Eman Parham-Mocello, Jennifer Oregon State Univ Sch EECS Corvallis OR 97331 USA
Since linked lists serve as a bridge to understanding more advanced data structures, we believe that it is critical to identify students' misunderstandings early. We found that students had a good conceptual under... 详细信息
来源: 评论
Application of Theory and Practice Integration Teaching in c programming language course
Application of Theory and Practice Integration Teaching in C...
收藏 引用
3rd International conference on Applied Social Science Research(IcASSR 2015)
作者: Yu-qiao Meng Jilin Teachers Institute of Engineering and Technology
The c programming language course is a basic course in colleges and universities, whose key teaching points differ slightly with the arrangement of the specialized courses. This paper proposed an integration teaching ... 详细信息
来源: 评论
Tartare: Automatic Generation of c Pointer Statements and Feedback  24
Tartare: Automatic Generation of C Pointer Statements and Fe...
收藏 引用
26th Australasian computing Education conference (AcE)
作者: Brieven, Geraldine Baum, Valentin Donnet, Benoit Univ Liege Montefiore Inst Liege Belgium
This paper addresses the difficulties students face when learning and practicing pointers (i.e., variables storing the memory address of another variable as its value) in a computer programming class. To improve their... 详细信息
来源: 评论
Optimal Routing Problem with Precedence constraints for Surface Exploration
Optimal Routing Problem with Precedence Constraints for Surf...
收藏 引用
AIAA SciTech Forum
作者: choi, Euihyeon Ahn, Jaemyung Korea Adv Inst Sci & Technol KAIST Dept Aerosp Engn 291 Daehak Ro Daejeon 34141 South Korea
This paper discusses a routing problem for planetary surface exploration with precedence constraints. In missions such as in-situ resource utilization (ISRU), exploration sites can be categorized into resource supply ... 详细信息
来源: 评论
Method of railway shunting operation sheet information extraction guided by table header
收藏 引用
IET INTELLIGENT TRANSPORT SYSTEMS 2022年 第10期16卷 1391-1403页
作者: Zhang, Bingjie Huang, Shize Zhang, Lei Liu, Xiaowen Song, Guanqun Qin, Jinzhe Li, Man Tongji Univ Minist Educ Key Lab Rd & Traff Engn Shanghai Peoples R China Tongji Univ Shanghai Key Lab Rail Infrastruct Durabil & Syst Shanghai Peoples R China Tongji Univ Dept Traff Informat & Control Engn Shanghai Peoples R China Beijing Jiaotong Univ State Key Lab Rail Traff Control & Safety Beijing Peoples R China
The railway shunting operation sheet is the written plan of the shunting operation. In the current shunting operation preparation process, signalmen must input the plans manually for subsequent execution, which is ine... 详细信息
来源: 评论
coPTIc: constraint programming Translated Into c  29th
CoPTIC: Constraint Programming Translated Into C
收藏 引用
29th International conference on Tools and Algorithms for the construction and Analysis of Systems (TAcAS)
作者: Lester, Martin Mariusz Univ Reading Reading Berks England
constraint programming systems allow a diverse range of problems to be modelled and solved. Most systems require the user to learn a new constraint programming language, which presents a barrier to novice and casual u... 详细信息
来源: 评论
Design and Practice of programming Teaching Platform Based on cloud computing and Streaming Media Technology  2
Design and Practice of Programming Teaching Platform Based o...
收藏 引用
2nd Asia-Pacific computer Technologies conference (APcT)
作者: Yan, Jingxiong Huang, Jia Pan, Liang Lu, Ying Tang, Richeng Nantong Inst Technol Sch Comp & Informat Engn Nantong Peoples R China Nantong Vocat Univ Technician Coll Nantong Peoples R China Dongguan City Coll Dongguan Peoples R China
In order to improve innovation, promote the combination of theoretical teaching and experimental teaching, and give full play to the practical application of cloud computing and streaming media technology in course te... 详细信息
来源: 评论
VIP: Verifying Real-World c Idioms with Integer-Pointer casts
收藏 引用
PROcEEDINGS OF THE AcM ON programming languageS-PAcMPL 2022年 第POPL期6卷 1–32页
作者: Lepigre, Rodolphe Sammler, Michael Memarian, Kayvan Krebbers, Robbert Dreyer, Derek Sewell, Peter MPI SWS Saarland Informat Campus Saarbrucken Germany Univ Cambridge Cambridge England Radboud Univ Nijmegen Nijmegen Netherlands
Systems code often requires fine-grained control over memory layout and pointers, expressed using low-level (e.g., bitwise) operations on pointer values. Since these operations go beyond what basic pointer arithmetic ... 详细信息
来源: 评论
BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs
收藏 引用
PROcEEDINGS OF THE AcM ON programming languageS-PAcMPL 2022年 第OOPSLA期6卷 1613–1638页
作者: Zhu, Fengmin Sammler, Michael Lepigre, Rodolphe Dreyer, Derek Garg, Deepak MPI SWS Saarland Informat Campus Saarbrucken Germany
Low-level systems code often needs to interact with data, such as page table entries or network packet headers, in which multiple pieces of information are packaged together as bitfield components of a single machine ... 详细信息
来源: 评论
Preparing an Educational Module on File Pointer Exploitation in c
Preparing an Educational Module on File Pointer Exploitation...
收藏 引用
作者: Ratliff, Derek Michael Arizona State University
学位级别:M.S., Master of Science/Master of Surgery
As computing evolves and libraries are produced for developers to create efficient software at a faster rate, the security of a modern program is an area of great concern because complex software breeds vulnerabilitie... 详细信息
来源: 评论