咨询与建议

限定检索结果

文献类型

  • 3,069 册 图书
  • 72 篇 期刊文献
  • 32 篇 会议
  • 1 篇 学位论文
  • 1 件 标准

馆藏范围

  • 3,175 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 121 篇 工学
    • 90 篇 计算机科学与技术...
    • 57 篇 软件工程
    • 34 篇 电气工程
    • 13 篇 控制科学与工程
    • 9 篇 信息与通信工程
    • 6 篇 机械工程
    • 3 篇 生物医学工程(可授...
    • 2 篇 电子科学与技术(可...
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 水利工程
    • 1 篇 测绘科学与技术
    • 1 篇 农业工程
  • 16 篇 管理学
    • 15 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 14 篇 理学
    • 8 篇 数学
    • 3 篇 生物学
    • 2 篇 物理学
    • 1 篇 化学
    • 1 篇 系统科学
  • 5 篇 医学
    • 2 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...
    • 1 篇 特种医学
  • 4 篇 教育学
    • 3 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 4 篇 农学
    • 1 篇 林学
  • 1 篇 哲学
    • 1 篇 哲学

主题

  • 3,175 篇 programming tech...
  • 1,477 篇 programming lang...
  • 1,130 篇 software enginee...
  • 834 篇 software enginee...
  • 689 篇 logics and meani...
  • 680 篇 artificial intel...
  • 543 篇 computer communi...
  • 524 篇 algorithm analys...
  • 492 篇 mathematical log...
  • 355 篇 theory of comput...
  • 307 篇 computation by a...
  • 223 篇 information syst...
  • 222 篇 computer system ...
  • 202 篇 operating system...
  • 153 篇 database managem...
  • 147 篇 data structures
  • 140 篇 discrete mathema...
  • 121 篇 management of co...
  • 105 篇 special purpose ...
  • 104 篇 simulation and m...

机构

  • 13 篇 microsoft resear...
  • 13 篇 bangalore
  • 10 篇 aarhus n
  • 10 篇 hannam universit...
  • 9 篇 tu wien austria
  • 9 篇 university of os...
  • 8 篇 tübingen
  • 8 篇 department of co...
  • 7 篇 lawrence berkele...
  • 7 篇 nasa ames resear...
  • 7 篇 hammarland
  • 7 篇 school of comput...
  • 7 篇 university of ma...
  • 7 篇 uk
  • 7 篇 university of am...
  • 6 篇 institut für inf...
  • 6 篇 utrecht universi...
  • 6 篇 rwth aachen univ...
  • 6 篇 dipartimento di ...
  • 6 篇 university of tw...

作者

  • 16 篇 jack dongarra
  • 16 篇 andrei voronkov
  • 15 篇 manfred broy
  • 11 篇 thomas mailund
  • 10 篇 tai-hoon kim
  • 10 篇 gerhard goos
  • 9 篇 jerzy waśniewski
  • 9 篇 richard kaiser
  • 9 篇 konrad karczewsk...
  • 9 篇 roman wyrzykowsk...
  • 8 篇 mehdi dastani
  • 8 篇 michael hanus
  • 8 篇 thomas rauber
  • 8 篇 mikael olsson
  • 8 篇 viktória zsók
  • 8 篇 john hunt
  • 8 篇 leszek a. macias...
  • 7 篇 zoltán horváth
  • 7 篇 bertrand meyer
  • 7 篇 christian maurer

语言

  • 3,146 篇 英文
  • 24 篇 中文
  • 5 篇 其他
检索条件"主题词=Programming techniques"
3175 条 记 录,以下是541-550 订阅
排序:
Agile objektorientierte Software-Entwicklung  1
收藏 引用
1000年
作者: Karl-Heinz Rau
来源: 评论
Mastering Scale and Complexity in Software Reuse  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Goetz Botterweck Claudia Werner
This book constitutes the refereed proceedings of the 16th International Conference on Software Reuse, ICSR 2017, held in Salvador, Brazil, in May 2017.
来源: 评论
Functional Interfaces in Java  1
收藏 引用
1000年
作者: Ralph Lecessi
Reduce development time by organizing your programs as chains of functional interfaces and see that the advantages of using functional interfaces include the flexibility and power of inlined functional chains and reus... 详细信息
来源: 评论
SPS-Programmierung mit IEC 1131–3  2
收藏 引用
丛书名: VDI-Buch
1000年
作者: Karl-Heinz John Michael Tiegelkamp
Für die kurzfristig erfolgte Neuauflage wurde der Text dieses praxisorientierten Werks an einigen Stellen verbessert und thematisch abgerundet. Es führt umfassend in die Konzepte der internationalen IEC 1131... 详细信息
来源: 评论
Middleware 2005  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Gustavo Alonso
来源: 评论
Coordination Languages and Models  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This book constitutes the refereed proceedings of the First International Conference on Coordination Languages and Models, COORDINATION '96, held in Cesena, Italy in April 1996. Over the last few years, a new clas... 详细信息
来源: 评论
Runtime Verification  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Sarfraz Khurshid Koushik Sen
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011.The 24 revised full pape... 详细信息
来源: 评论
ECOOP’ 87 European Conference on Object-Oriented programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Jean Bézivin Jean-Marie Hullot Pierre Cointe Henry Lieberman
In October 1983 an informal meeting was organized in Le Cap d'Agde with the help of the BIGRE bulletin. Sixty people turned out to hear more than ten presentations on object-oriented programming. More important wa... 详细信息
来源: 评论
Foundations of Software Science and Computation Structures  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Stefan Kiefer Christine Tasson
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, ... 详细信息
来源: 评论
Perl 6 Quick Syntax Reference  1
收藏 引用
1000年
作者: J.J. Merelo
This condensed code and syntax reference book presents the Raku (formerly known as Perl 6) scripting language in a well-organized format designed to be used time and again. It contains an easy-to-read and use guide to... 详细信息
来源: 评论