咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 484 篇 工学
    • 380 篇 计算机科学与技术...
    • 297 篇 软件工程
    • 70 篇 信息与通信工程
    • 66 篇 控制科学与工程
    • 39 篇 电气工程
    • 34 篇 生物医学工程(可授...
    • 31 篇 生物工程
    • 26 篇 机械工程
    • 25 篇 电子科学与技术(可...
    • 19 篇 材料科学与工程(可...
    • 17 篇 土木工程
    • 16 篇 动力工程及工程热...
    • 16 篇 建筑学
    • 15 篇 仪器科学与技术
    • 15 篇 化学工程与技术
    • 14 篇 安全科学与工程
    • 13 篇 力学(可授工学、理...
    • 12 篇 网络空间安全
  • 280 篇 理学
    • 174 篇 数学
    • 49 篇 物理学
    • 43 篇 生物学
    • 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

语言

  • 756 篇 英文
  • 11 篇 其他
  • 9 篇 中文
  • 2 篇 俄文
  • 1 篇 德文
  • 1 篇 日文
检索条件"机构=Technology Programming"
779 条 记 录,以下是161-170 订阅
排序:
Efficient compilation of lasy evaluation
Efficient compilation of lasy evaluation
收藏 引用
1984 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1984
作者: Johnsson, Thomas Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
This paper describes the principles underlying an efficient implementation of a lazy functional language, compiling to code for ordinary computers. It is baaed on combinator-like graph reduction: the user defined func... 详细信息
来源: 评论
Effects on prey-predator with different functional responses
收藏 引用
International Journal of Biomathematics 2017年 第8期10卷 141-162页
作者: Banani Roy Sankar Kumar Roy M. H. A. Biswas Department of Applied Mathematicswith Oceanology and Computer Programming Vidyasagar University Midnapore 721102 West Bengal India Mathematics Discipline Science Engineering and Technology SchoolKhulna University Khulna 9208 Bangladesh
In this paper, we investigate the effects on prey of two predators which are also related in terms of prey-predator relationship. Different types of functional responses are con- sidered to formulate the mathematical ... 详细信息
来源: 评论
Satisfiability in composition-nominative logics
Satisfiability in composition-nominative logics
收藏 引用
作者: Nikitchenko, Mykola Tymofieiev, Valentyn Department of Theory and Technology of Programming Taras Shevchenko National University of Kyiv 64 Volodymyrska Street Kyiv01601 Ukraine
Composition-nominative logics are algebra-based logics of partial predicates constructed in a semantic-syntactic style on the methodological basis, which is common with programming. They can be considered as generaliz... 详细信息
来源: 评论
The L̀ˆubeck Transformation System: A transformation system for equational higher order algebraic specifications
收藏 引用
15th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2001, Joint with the CoFI WG Meeting
作者: Dosch, Walter Magnussen, Sönke Institute for Software Technology and Programming Languages Medical University of Lübeck Lübeck Germany
The Lübeck Transformation System supports the refinement of higher order algebraic specifications following sound transformation rules. We discuss the system requirements, describe the specification language and ... 详细信息
来源: 评论
Semantics-based logics over hierarchical nominative data
Semantics-based logics over hierarchical nominative data
收藏 引用
8th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, ICTERI 2012
作者: Nikitchenko, M.N.S. Shkilniak, S.S. Department of Theory and Technology of Programming Taras Shevchenko National University of Kyiv Volodymyrska st 60 01601 Kyiv Ukraine
In the paper new logics oriented on hierarchical data are developed. Algebras of partial predicates over such data with special compositions as operations form a semantic base for constructed logics. Characteristic pr... 详细信息
来源: 评论
A distributed garbage collection algorithm  2nd
收藏 引用
2nd International Conference on Functional programming Languages and Computer Architecture, 1985
作者: Hughes, John Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
来源: 评论
Using domain algebras to prove the correctness of a compiler  2nd
收藏 引用
2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS 1985
作者: Dybjer, Peter Programming Methodology Group Department of Computer Sciences Chalmers University of Technology GöteborgS-412 96 Sweden
Domain algebras are proposed as a tool for structuring compiler correctness proofs which are based on denotational semantics of the source and target language. The correctness of a compiler for a small imperative lang... 详细信息
来源: 评论
Efficient compilation of lazy evaluation
Efficient compilation of lazy evaluation
收藏 引用
作者: Johnsson, Thomas Programming Methodology Group Department of Computer Science Chalmers University of Technology S-412 96 Göteborg Sweden
This paper describes the principles underlying an efficient implementation of a lazy functional language, compiling to code for ordinary computers. It is based on combinator-like graph reduction: the user defined func... 详细信息
来源: 评论
Satisfiability problem in composition-nominative logics of quantifier-equational level
Satisfiability problem in composition-nominative logics of q...
收藏 引用
8th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, ICTERI 2012
作者: Nikitchenko, Mykola S. Tymofieiev, Valentyn G. Department of Theory and Technology of Programming Taras Shevchenko National University of Kyiv 64 Volodymyrska Street 01601 Kyiv Ukraine
We investigate algorithms for solving the satisfiability problem in composition-nominative logics of quantifier-equational level. These logics are algebra-based logics of partial predicates constructed in a semantic-s... 详细信息
来源: 评论
Lazy memo-functions  2nd
收藏 引用
2nd International Conference on Functional programming Languages and Computer Architecture, 1985
作者: Hughes, John Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
来源: 评论