咨询与建议

限定检索结果

文献类型

  • 517 篇 会议
  • 247 篇 期刊文献
  • 16 册 图书

馆藏范围

  • 780 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 485 篇 工学
    • 381 篇 计算机科学与技术...
    • 297 篇 软件工程
    • 70 篇 信息与通信工程
    • 66 篇 控制科学与工程
    • 39 篇 电气工程
    • 34 篇 生物医学工程(可授...
    • 31 篇 生物工程
    • 26 篇 机械工程
    • 25 篇 电子科学与技术(可...
    • 19 篇 材料科学与工程(可...
    • 17 篇 土木工程
    • 16 篇 动力工程及工程热...
    • 16 篇 建筑学
    • 15 篇 仪器科学与技术
    • 15 篇 化学工程与技术
    • 14 篇 安全科学与工程
    • 13 篇 力学(可授工学、理...
    • 12 篇 网络空间安全
  • 281 篇 理学
    • 174 篇 数学
    • 49 篇 物理学
    • 44 篇 生物学
    • 37 篇 统计学(可授理学、...
    • 34 篇 系统科学
    • 18 篇 化学
  • 100 篇 管理学
    • 59 篇 管理科学与工程(可...
    • 48 篇 图书情报与档案管...
    • 27 篇 工商管理
  • 31 篇 医学
    • 27 篇 临床医学
    • 23 篇 基础医学(可授医学...
  • 16 篇 法学
    • 13 篇 社会学
  • 9 篇 教育学
  • 8 篇 经济学
  • 6 篇 农学
  • 4 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 27 篇 computer languag...
  • 24 篇 software enginee...
  • 20 篇 application soft...
  • 20 篇 hardware
  • 20 篇 artificial intel...
  • 19 篇 object oriented ...
  • 15 篇 software systems
  • 15 篇 programming
  • 14 篇 semantics
  • 14 篇 software
  • 13 篇 programming prof...
  • 13 篇 software design
  • 12 篇 java
  • 12 篇 computational mo...
  • 11 篇 computer science
  • 10 篇 functional progr...
  • 8 篇 computer archite...
  • 8 篇 neural networks
  • 8 篇 history
  • 8 篇 laboratories

机构

  • 24 篇 department of sy...
  • 24 篇 moscow institute...
  • 12 篇 lomonosov moscow...
  • 12 篇 ivannikov instit...
  • 10 篇 department of ap...
  • 10 篇 moscow institute...
  • 10 篇 programming tech...
  • 10 篇 programming tech...
  • 9 篇 lomonosov moscow...
  • 9 篇 distributed prog...
  • 8 篇 institute of sof...
  • 7 篇 department of ma...
  • 7 篇 programming tech...
  • 6 篇 institute of sof...
  • 6 篇 ivannikov instit...
  • 6 篇 programming meth...
  • 6 篇 department of th...
  • 6 篇 programming tech...
  • 6 篇 department of co...
  • 6 篇 computer enginee...

作者

  • 23 篇 d'hondt theo
  • 17 篇 de meuter wolfga...
  • 12 篇 costanza pascal
  • 12 篇 dosch walter
  • 12 篇 mens tom
  • 12 篇 abotaleb mostafa
  • 11 篇 van cutsem tom
  • 10 篇 gasnikov alexand...
  • 9 篇 maiti manoranjan
  • 9 篇 mostafa abotaleb
  • 9 篇 dedecker jessie
  • 9 篇 mostinckx stijn
  • 8 篇 bergstra j.a.
  • 8 篇 pal madhumangal
  • 8 篇 baeten j.c.m.
  • 8 篇 abdelhameed ibra...
  • 8 篇 beznosikov aleks...
  • 7 篇 scholz sven-bodo
  • 7 篇 logunova vlada
  • 7 篇 steffen bernhard

语言

  • 757 篇 英文
  • 11 篇 其他
  • 9 篇 中文
  • 2 篇 俄文
  • 1 篇 德文
  • 1 篇 日文
检索条件"机构=Technology Programming"
780 条 记 录,以下是151-160 订阅
排序:
Text classification experiments on Mongolian language
Text classification experiments on Mongolian language
收藏 引用
8th International Forum on Strategic technology, IFOST 2013
作者: Damiran, Zolboo Altangerel, Khuder MUST-CSMS/Department of Information System Ulaanbaatar Mongolia MUST-CSMS/Department of Programming Technology Ulaanbaatar Mongolia
Text classification is an important task of assigning objects from a universe to two or more classes, especially classification is to classify the topic or the theme of a document. In this research, we have analyzed t... 详细信息
来源: 评论
A mechanisation of name-carrying syntax up to alpha-conversion  6th
A mechanisation of name-carrying syntax up to alpha-conversi...
收藏 引用
6th International Workshop on Higher Order Logic Theorem Proving and Its Applications, HUG 1993
作者: Gordon, Andrew D. Programming Methodology Group Department of Computing Science Chalmers University of Technology/University of Gothenburg Gothenburg412 96 Sweden
We present a new strategy for representing syntax in a mechanised logic. We define an underlying type of de Bruijn terms, define an operation of named lambda-abstraction, and hence inductively define a set of conventi... 详细信息
来源: 评论
Spider Structure of Photoelectron Momentum Distributions of Ionized Electrons from Hydrogen Atoms for Extraction of Carrier Envelope Phase of Few-Cycle Pulses
收藏 引用
Chinese Physics Letters 2020年 第2期37卷 20-24页
作者: Jiu Tang Guizhong Zhang Yufei He Meng Li Xin Ding Jianquan Yao College of Precision Instrument and Optoelectronics Engineering Tianjin UniversityTianjin 300072 Key Lab of Optoelectronic Information Technology(Ministry of Education) Tianjin UniversityTianjin 300072 Key Laboratory of Operation Programming&Safety Technology of Air Traffic Management Civil Aviation University of ChinaTianjin 300300
The spider structure in the photoelectron momentum distributions(PMDs)of ionized electrons from the hydrogen atom is simulated by solving the time-dependent Schrodinger equation(TDSE).We find that the spider structure... 详细信息
来源: 评论
Testing properties of generic functions
收藏 引用
18th International Symposium on Implementation and Application of Functional Languages, IFL 2006
作者: Jansson, Patrik Jeuring, Johan Cabenda, Laurence Engels, Gerbo Kleerekoper, Jacob Mak, Sander Overeem, Michiel Visser, Kees CSE Chalmers University of Technology Sweden ICSL Utrecht University Netherlands Utrecht University Generic Programming Class
A datatype-generic function is a family of functions indexed by (the structure of) a type. Examples include equality tests, maps and pretty printers. Property based testing tools like QuickCheck and Gast support the d... 详细信息
来源: 评论
Formal development of correct algorithms: An example based on Earley's recogniser
Formal development of correct algorithms: An example based o...
收藏 引用
1972 ACM Conference on Proving Assertions about Programs
作者: Jones, C.B. Programming Technology Dept Product Test Laboratory IBM Laboratories Ltd Hursley Park Winchester Hants United Kingdom
This paper contains the formal development of a correct algorithm from an implicit definition of the task to be performed. Each step of the development can be accompanied by a proof of its correctness. As well as ensu...
来源: 评论
Design adaptability for multilingual mobile application software  24
Design adaptability for multilingual mobile application soft...
收藏 引用
24th International Conference on Software Engineering and Data Engineering, SEDE 2015
作者: Netinant, Paniti College of Information Technology and Communication Rangsit University Patumthani Thailand Concurrent Programming Research Group Illinois Institute of Technology ChicagoIL United States
Developing adaptable mobile application software is very difficult. An adaptability in multilingual mobile software becomes inevitable numerous changes. This paper presents not only perimeter reusability, but also mak... 详细信息
来源: 评论
Reuse contracts as component interface descriptions
Reuse contracts as component interface descriptions
收藏 引用
Workshops on Object-Oriented technology, ECOOP 1997
作者: Hondt, Koen De Lucas, Carine Steyaert, Patrick Programming Technology Lab Computer Science Department Vrije Universiteit Brussel Pleinlaan 2 BrusselB-1050 Belgium
Current interface descriptions are poor in describing components, because they only provide an external view on a component and they do not lay down how components interact with each other. Suggestions to improve comp... 详细信息
来源: 评论
Different aspects to be considered for safety related development
Different aspects to be considered for safety related develo...
收藏 引用
23rd International Congress on Condition Monitoring and Diagnostic Engineering Management, COMADEM 2010
作者: Schwarz, M.H. Börcsök, J. Dept. Computer Architecture and System Programming University of Kassel Germany Safety Computer Technology University of Kassel Germany
This paper presents the recent design and development aspects considered within a current project running at the department of computer architecture and system programming. The project "Safety WLAN architectures ... 详细信息
来源: 评论
Compiling pattern matching  2nd
收藏 引用
2nd International Conference on Functional programming Languages and Computer Architecture, 1985
作者: Augustsson, Lennart Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
来源: 评论
Note on the complement of a (minimal) linear language
收藏 引用
Information and Control 1964年 第3期7卷 307-314页
作者: Haines, L.H. Department of Mathematics Massachusetts Institute of Technology Cambridge MA United States Advanced Programming Development IBM White Plains NY United States
We exhibit a "pathological" minimal linear language and prove that its complement is not context free. This settles two open problems posed by Chomsky. © 1964 Academic Press Inc.
来源: 评论