咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是191-200 订阅
排序:
Arranging Language Features for More Robust Pattern-based Crosscuts  03
Arranging Language Features for More Robust Pattern-based Cr...
收藏 引用
2nd International Conference on Aspect-Oriented Software Development
作者: Gybels, Kris Brichau, Johan Programming Technology Lab Vrije Universiteit Brussel Pleinlaan 2 B-1050 Brussel Belgium Fund for Scientific Research Flanders Belgium
A crosscut language is used to describe at which points an aspect crosscuts a program. An important issue is how these points can be captured using the crosscut language without introducing tight coupling between the ... 详细信息
来源: 评论
An investigation of technical debt in automatic production systems  17
An investigation of technical debt in automatic production s...
收藏 引用
2017 XP Scientific Workshops, XP 2017
作者: Besker, Terese Martini, Antonio Bosch, Jan Tichy, Matthias Chalmers University of Technology Computer Science and Engineering Gothenburg Sweden Ulm University Institute of Software Engineering and Programming Languages Ulm Germany
Technical Debt is a recent concept, borrowed from the financial domain. It has been recently used in software development to describe technical sub-optimal solutions that have short-term benefits but long-term extra-c... 详细信息
来源: 评论
Visual Language Plans - Formalization of a pedagogical learnflow modeling language
Visual Language Plans - Formalization of a pedagogical learn...
收藏 引用
International Workshop on Petri Nets and Software Engineering, PNSE 2014
作者: Irgang, Kerstin Irgang, Thomas Human-Centered Information Systems Clausthal University of Technology Germany Department of Software Engineering and Theory of Programming Fernuniversität Hagen Germany
In this paper we present an approach to support selfregulated learn-flows in the collaborative environment Metafora. In this environment students construct Visual Language Plans. Those plans model workflows of learnin... 详细信息
来源: 评论
Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle
Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis fo...
收藏 引用
2022 Ivannikov Open Conference, ISPRAS 2022
作者: Vishnyakov, Alexey Kuts, Daniil Logunova, Vlada Parygina, Darya Kobrin, Eli Savidov, Georgy Fedotov, Andrey Ivannikov Institute for System Programming of the Ras Russia Moscow Institute of Physics and Technology Moscow Russia Lomonosov Moscow State University Russia
Nowadays automated dynamic analysis frameworks for continuous testing are in high demand to ensure software safety and satisfy the security development lifecycle (SDL) requirements. The security bug hunting efficiency... 详细信息
来源: 评论
Mirages: Behavioral intercession in a mirror-based architecture
Mirages: Behavioral intercession in a mirror-based architect...
收藏 引用
2007 ACM SIGPLAN International Conference on Object-Oriented programming, Systems, Languages and Applications, OOPSLA - 2007 Dynamic Languages Symposium, DLS
作者: Mostinckx, Stijn Van Cutsem, Tom Timbermont, Stijn Tanter, Éric Programming Technology Lab. Vrije Universiteit Brussel Belgium Computer Science Dept. DCC/CWR University of Chile Chile
Mirror-based systems are object-oriented reflective architectures built around a set of design principles that lead to reflective APIs which foster a high degree of reusability, loose coupling with base-level objects ... 详细信息
来源: 评论
Promoter recognition with machine learning algorithms keREM, RULSE-3 and ANN
Promoter recognition with machine learning algorithms keREM,...
收藏 引用
International Symposium on INnovations in Intelligent SysTems and Applications, INISTA 2012
作者: Karli, Günay Nayir, Ahmet Faculty of Engineering and Information Technology International Burch Universiy Sarajevo Bosnia and Herzegovina Department of Computer Programming Fatih University Istanbul Turkey
Data mining has become an important and active area of research because of theoretical challenges and practical applications associated with the problem of discovering interesting and previously unknown knowledge from... 详细信息
来源: 评论
High-level design of a ternary asynchronous multiplexer
High-level design of a ternary asynchronous multiplexer
收藏 引用
14th International Conference on Intelligent and Adaptive Systems and Software Engineering, IASSE 2005
作者: Dosch, W. Yeung, W.L. Institute of Software Technology and Programming Languages University of Lübeck Germany Department of Computing and Decision Sciences Lingnan University Hong Kong
The paper studies the systematic top-down design of a ternary asynchronous multiplexer refining its communication-oriented input/output behaviour into a state-based implementation. The formal design exploits two impor... 详细信息
来源: 评论
An interactive action set detection in natural language hybrid system  11
An interactive action set detection in natural language hybr...
收藏 引用
11th International Conference on Interfaces and Human Computer Interaction
作者: Wachtel, Alexander Paczia, Jonas Tichy, Walter F. Karlsruhe Institute of Technology Programming Systems Prof. Walter F. Tichy Am Fasanengarten 5 Karlsruhe76131 Germany
In this paper, we introduce an interface for natural language dialog system and the Microsoft Excel API. This interface enables users to describe actions in unrestricted natural language interactively and run these ac... 详细信息
来源: 评论
L(0, 1)-Labelling of Trapezoid Graphs
收藏 引用
International Journal of Applied and Computational Mathematics 2017年 第1期3卷 599-610页
作者: Paul, Satyabrata Pal, Madhumangal Pal, Anita Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 India Department of Mathematics National Institute of Technology Durgapur Durgapur 713209 India
L(0, 1)-labelling of a graph G= (V, E) is a function f from the vertex set V(G) to the set of non-negative integers such that adjacent vertices get number zero apart, and vertices at distance two get distinct num... 详细信息
来源: 评论
Interface for Intelligence Computing Design and Option of Technical Systems
收藏 引用
Intelligent Control and Automation 2015年 第4期6卷 289-294页
作者: Javanshir Mammadov Tarana Tagiyeva Akhmedova Sveta Aliyeva Arzu Department of “Information Technology and Programming” of Sumgait State University Sumqayit Azerbaijan
As a result of analysis of the existent methods and tools of computer aided design of the technical systems of many industrial areas, the primary purpose of the article that consists in the decision of different proje... 详细信息
来源: 评论