咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是71-80 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Block-c: A block-based programming teaching tool to facilitate introductory c programming courses  8
Block-C: A block-based programming teaching tool to facilita...
收藏 引用
8th IEEE Global Engineering Education conference (EDUcON)
作者: Kyfonidis, charalampos Moumoutzis, Nektarios christodoulakis, Stavros Univ Strathclyde Comp & Informat Sci Glasgow Lanark Scotland Tech Univ Crete Sch Elect & Comp Engn Lab Distributed Multimedia Inf Syst & Applicat Khania Greece
Block-c is a block-based programming learning tool for c programming language that uses the recognition over recall approach on top of the rigid and complex constructs of c language. It empowers students to learn prog... 详细信息
来源: 评论
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ží... 详细信息
来源: 评论
From Android games to coding in c-An approach to motivate novice engineering students to learn programming: A case study
收藏 引用
cOMPUTER APPLIcATIONS IN ENGINEERING EDUcATION 2018年 第1期26卷 75-90页
作者: Dolgopolovas, Vladimiras Jevsikova, Tatjana Dagiene, Valentina Vilniaus Univ Matemat & Informat Inst Akad Str 4 LT-08663 Vilnius Lithuania Vilniaus Kolegija Fac Elect & Informat Vilnius Lithuania
This paper deals with the problem of overcoming difficulties and raising the motivation of novice engineering students studying programming. We consider this an important factor for engineering education in general an... 详细信息
来源: 评论
Using graph theory for automated electric circuit solving
收藏 引用
EUROPEAN JOURNAL OF PHYSIcS 2015年 第3期36卷 1-1页
作者: Toscano, L. Stella, S. Milotti, E. Univ Trieste Dipartimento Fis I-34127 Trieste Italy
Graph theory plays many important roles in modern physics and in many different contexts, spanning diverse topics such as the description of scale-free networks and the structure of the universe as a complex directed ... 详细信息
来源: 评论
cnerator: A Python application for the controlled stochastic generation of standard c source code
收藏 引用
SOFTWAREX 2021年 15卷
作者: Ortin, Francisco Escalada, Javier Univ Oviedo Comp Sci Dept Federico Garcia Lorca 18 Oviedo 33007 Spain Munster Technol Univ Dept Comp Sci Rossa Ave Cork Ireland
The Big code and Mining Software Repositories research lines analyze large amounts of source code to improve software engineering practices. Massive codebases are used to train machine learning models aimed at improvi... 详细信息
来源: 评论
Astronomy Algorithm Simulation for Two Degrees of Freedom of Solar Tracking Mechanism Using clanguage
收藏 引用
Energy Procedia 2015年 68卷 60-67页
作者: Midriem Mirdanies Research Center for Electrical Power and Mechatronics Indonesian Institute of Sciences Komp LIPI Gd. 20. Lt. 2 Bandung 40135 Indonesia
This paper describes the use of an astronomical algorithm for two degrees of freedom of solar tracking mechanism with the result that the expected solar thermal collector panels always leads to the sun and solar energ... 详细信息
来源: 评论
Inferring Effective Types for Static Analysis of c Programs
收藏 引用
ELEcTRONIc NOTES IN THEORETIcAL cOMPUTER ScIENcE 2012年 288卷 37-47页
作者: Jeannet, Bertrand Sotin, Pascal INRIA Le Chesnay France
The c language does not have a specific Boolean type: Boolean values are encoded with integers. This is also true for enumerated types, that may be freely and silently cast to and from integers. On the other hand, ver... 详细信息
来源: 评论