咨询与建议

限定检索结果

文献类型

  • 500 篇 资讯
  • 285 篇 期刊文献
  • 235 篇 会议
  • 67 册 图书
  • 45 篇 学位论文

馆藏范围

  • 1,132 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 459 篇 工学
    • 358 篇 计算机科学与技术...
    • 191 篇 软件工程
    • 117 篇 电气工程
    • 52 篇 信息与通信工程
    • 43 篇 控制科学与工程
    • 13 篇 电子科学与技术(可...
    • 11 篇 机械工程
    • 8 篇 石油与天然气工程
    • 6 篇 材料科学与工程(可...
    • 5 篇 仪器科学与技术
    • 4 篇 建筑学
    • 4 篇 化学工程与技术
    • 4 篇 网络空间安全
    • 3 篇 力学(可授工学、理...
    • 3 篇 动力工程及工程热...
    • 3 篇 土木工程
    • 3 篇 核科学与技术
    • 3 篇 环境科学与工程(可...
  • 59 篇 理学
    • 22 篇 数学
    • 17 篇 生物学
    • 9 篇 物理学
    • 5 篇 科学技术史(分学科...
    • 4 篇 地球物理学
    • 4 篇 系统科学
  • 43 篇 教育学
    • 40 篇 教育学
    • 4 篇 心理学(可授教育学...
  • 30 篇 管理学
    • 24 篇 管理科学与工程(可...
    • 5 篇 图书情报与档案管...
  • 7 篇 农学
  • 7 篇 医学
    • 4 篇 基础医学(可授医学...
  • 4 篇 法学
    • 4 篇 社会学
  • 3 篇 哲学
  • 3 篇 经济学
  • 3 篇 文学
  • 2 篇 历史学

主题

  • 1,132 篇 programming lang...
  • 184 篇 python
  • 180 篇 statistical calc...
  • 168 篇 data analysis
  • 78 篇 homo sapiens
  • 72 篇 cell and tissue ...
  • 68 篇 microarray
  • 65 篇 machine learning
  • 60 篇 pcr
  • 58 篇 matlab
  • 58 篇 rna-seq
  • 58 篇 genomics
  • 49 篇 image analysis
  • 47 篇 programming
  • 47 篇 mass spectrometr...
  • 43 篇 compiler
  • 43 篇 principal compon...
  • 40 篇 proteomics
  • 39 篇 genome visualiza...
  • 39 篇 mus musculus

机构

  • 16 篇 brno university ...
  • 7 篇 charles universi...
  • 6 篇 united states na...
  • 3 篇 univ kebangsaan ...
  • 2 篇 army engn univ p...
  • 2 篇 hebei univ engn ...
  • 2 篇 natl taipei univ...
  • 2 篇 gannon univ dept...
  • 2 篇 nanjing univ sta...
  • 2 篇 college of compu...
  • 2 篇 swiss fed inst t...
  • 2 篇 texas a&m univer...
  • 2 篇 data processing ...
  • 2 篇 verivue
  • 2 篇 univ new mexico ...
  • 2 篇 aalto university
  • 2 篇 politehn univ ti...
  • 2 篇 institut für inf...
  • 2 篇 univ glasgow gla...
  • 2 篇 univ utah salt l...

作者

  • 5 篇 rune matthiesen
  • 4 篇 sharanya manohar...
  • 4 篇 oviya ramalakshm...
  • 4 篇 phillips andrew
  • 3 篇 tshukudu ethel
  • 3 篇 cedric gondro
  • 3 篇 vijaykumar yoges...
  • 3 篇 batmaz firat
  • 3 篇 ana sofia carval...
  • 3 篇 francesca grison...
  • 3 篇 wu di
  • 3 篇 junghyun namkung
  • 3 篇 j. b. brown
  • 3 篇 xu baowen
  • 3 篇 chen lin
  • 3 篇 roeland m. merks
  • 3 篇 laercio r. porto...
  • 3 篇 seung hwan lee
  • 3 篇 christoph bock
  • 3 篇 javier martínez-...

语言

  • 1,091 篇 英文
  • 34 篇 其他
  • 5 篇 中文
  • 1 篇 日文
  • 1 篇 葡萄牙文
检索条件"主题词=Programming language"
1132 条 记 录,以下是291-300 订阅
排序:
An Autonomous Data language  1
收藏 引用
20th International Colloquium on Theoretical Aspects of Computing (ICTAC)
作者: Franken, Tom T. P. Neele, Thomas Groote, Jan Friso Eindhoven Univ Technol Eindhoven Netherlands
Nowadays, the main advances in computational power are due to parallelism. However, most parallel languages have been designed with a focus on processors and threads. This makes dealing with data and memory in program... 详细信息
来源: 评论
CONTROL DISCIPLINE NECESSITY - MAKING THE language AS GENERAL AS THE IMPLEMENTATION
收藏 引用
BIT 1982年 第2期22卷 169-182页
作者: SOFFA, ML Computer Science Department University of Pittsburgh 15260 Pittsburgh PA U.S.A.
The formal verification of control structure implementation techniques is a subject receiving increased attention among programming language researchers. Such correctness arguments relate source language control seman... 详细信息
来源: 评论
Adaptation Aspects of *AIDA Programs  16
Adaptation Aspects of *AIDA Programs
收藏 引用
IEEE International Conference on Computer and Information Technology (CIT)
作者: Watanobe, Yutaka Mirenkov, Nikolay Watanabe, Mirai Univ Aizu Grad Dept Informat Syst Fukushima 9658580 Japan Kinjito Co Ltd Chigasaki Kanagawa Japan
*AIDA modeling/programming language and its environment support programming in algorithmic pictures which are used as super-characters for representing features of computational algorithms and data structures. *AIDA p... 详细信息
来源: 评论
A hybrid instructional design model for the combination of motivation theory and constructivism
A hybrid instructional design model for the combination of m...
收藏 引用
4th International Conference on Computer Science and Education
作者: Jin, Haiwei Zhejiang Gongshang Univ Dept Informat Manegement&Informat Engn Hangzhou Zhejiang Peoples R China
Many learning theories have been studied and developed for the instructional design model. Among these theories, constructivist learning theory and ARCS motivation theory are most widely applied. In this paper, we sho... 详细信息
来源: 评论
Analysis of component model extensions to support the GRICOL language
收藏 引用
Joint Workshop on Making Grids Works
作者: Bouziane, Hinde Currle-Linde, Natalia Perez, Christian Resch, Michael IRISA INRIA Campus Beaulieu F-35042 Rennes France Univ Stuttgart High Performance Comp Ctr Stuttgart HLRS Stuttgart Germany
Nowadays, programming grid applications is still a major challenge. Several systems, tools and environments have appeared to allow end-users to describe applications without dealing with the complexity of the grid inf... 详细信息
来源: 评论
ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs  43
ZeeStar: Private Smart Contracts by Homomorphic Encryption a...
收藏 引用
43rd IEEE Symposium on Security and Privacy (SP)
作者: Steffen, Samuel Bichsel, Benjamin Baumgartner, Roger Vechev, Martin Swiss Fed Inst Technol Zurich Switzerland
Data privacy is a key concern for smart contracts handling sensitive data. The existing work zkay addresses this concern by allowing developers without cryptographic expertise to enforce data privacy. However, while z... 详细信息
来源: 评论
The Role of Logic programming in ICT Specialists Curricula  28
The Role of Logic Programming in ICT Specialists Curricula
收藏 引用
28th EAEEIE Annual Conference (EAEEIE)
作者: Hynek, Josef Univ Hradec Kralove Fac Informat & Management Hradec Kralove Czech Republic
Prolog was a modern, promising and a very popular programming language thirty years ago and Logic programming acquired a firm place within Computer Science as well as in ICT programs curricula especially at European a... 详细信息
来源: 评论
Nested Atomic Sections with Thread Escape: An Operational Semantics  14
Nested Atomic Sections with Thread Escape: An Operational Se...
收藏 引用
14th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT)
作者: Dabrowski, Frederic Loulergue, Frederic Pinsard, Thomas Univ Orleans ENSI Bourges LIFO EA 4022 Orleans France
We consider a simple imperative language with fork/join parallelism and lexically scoped nested atomic sections from which threads can escape. In this context, our contribution is a formal operational semantics of thi... 详细信息
来源: 评论
Protocol-Based Smart Contract Generation  26th
Protocol-Based Smart Contract Generation
收藏 引用
26th International Conference on Financial Cryptography and Data Security
作者: Falcao, Afonso Mordido, Andreia Vasconcelos, Vasco T. Univ Lisbon LASIGE Fac Sci Lisbon Portugal
The popularity of smart contracts is on the rise, yet breaches in reliability and security linger. Among the many facets of smart contract reliability, we concentrate on faults rooted in out-of-order interactions with... 详细信息
来源: 评论
From Business Modeling to Software Design  1
收藏 引用
10th Annual International symposium on Business Modeling and Software Design (BMSD)
作者: de Brock, Bert Univ Groningen Fac Econ & Business POB 800 NL-9700 AV Groningen Netherlands
Graphical system sequence diagrams (SSDs), used in Requirements Engineering and Analysis, are hard to draw for larger use cases. However, we wanted to be able to express SSDs for such use cases as well. While we were ... 详细信息
来源: 评论