咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 3,138 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 91 篇 工学
    • 65 篇 计算机科学与技术...
    • 40 篇 软件工程
    • 31 篇 电气工程
    • 12 篇 信息与通信工程
    • 10 篇 控制科学与工程
    • 5 篇 机械工程
    • 3 篇 生物医学工程(可授...
    • 2 篇 网络空间安全
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 电子科学与技术(可...
    • 1 篇 水利工程
    • 1 篇 测绘科学与技术
    • 1 篇 农业工程
  • 11 篇 管理学
    • 10 篇 管理科学与工程(可...
    • 2 篇 图书情报与档案管...
  • 7 篇 理学
    • 5 篇 数学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 系统科学
  • 4 篇 医学
    • 2 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 特种医学
  • 3 篇 教育学
    • 3 篇 教育学
  • 1 篇 农学
    • 1 篇 林学

主题

  • 3,138 篇 programming tech...
  • 1,470 篇 programming lang...
  • 1,119 篇 software enginee...
  • 821 篇 software enginee...
  • 688 篇 logics and meani...
  • 671 篇 artificial intel...
  • 542 篇 computer communi...
  • 522 篇 algorithm analys...
  • 492 篇 mathematical log...
  • 352 篇 theory of comput...
  • 307 篇 computation by a...
  • 223 篇 information syst...
  • 222 篇 computer system ...
  • 201 篇 operating system...
  • 152 篇 database managem...
  • 147 篇 data structures
  • 140 篇 discrete mathema...
  • 121 篇 management of co...
  • 104 篇 simulation and m...
  • 104 篇 special purpose ...

机构

  • 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 篇 university of am...
  • 6 篇 institut für inf...
  • 6 篇 utrecht universi...
  • 6 篇 rwth aachen univ...
  • 6 篇 dipartimento di ...
  • 6 篇 university of tw...
  • 6 篇 san diego

作者

  • 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 篇 leszek a. macias...
  • 7 篇 zoltán horváth
  • 7 篇 bertrand meyer
  • 7 篇 christian maurer
  • 7 篇 dietmar seipel

语言

  • 3,117 篇 英文
  • 17 篇 中文
  • 4 篇 其他
检索条件"主题词=Programming techniques"
3138 条 记 录,以下是1001-1010 订阅
排序:
Das C++ Kompendium  2
收藏 引用
丛书名: eXamen.press
1000年
作者: Gilbert Brands
来源: 评论
Embedded Java Security  1
收藏 引用
1000年
作者: Mourad Debbabi Mohamed Saleh Chamseddine Talhi Sami Zhioua
来源: 评论
The Art of Immutable Architecture  1
收藏 引用
1000年
作者: Michael L. Perry
This book teaches you how to evaluate a distributed system from the perspective of immutable objects. You will understand the problems in existing designs, know how to make small modifications to correct those problem... 详细信息
来源: 评论
Communications: Wireless in Developing Countries and Networks of the Future  1
收藏 引用
丛书名: IFIP Advances in Information and Communication Technology
1000年
作者: Ana Pont Guy Pujolle S. V. Raghavan
Communications: Wireless in Developing Countries and Networks of the Future The present book contains the proceedings of two conferences held at the World Computer Congress 2010 in Brisbane, Australia (September 20–2... 详细信息
来源: 评论
Functional and Logic programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Masami Hagiya Philip Wadler
来源: 评论
Frontiers of Combining Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Carsten Lutz Silvio Ranise
来源: 评论
Moderne C++ Programmierung  1
收藏 引用
丛书名: Xpert.press
1000年
作者: Ralf Schneeweiß
来源: 评论
The Definitive Guide to Spring Batch  2
收藏 引用
1000年
作者: Michael T. Minella
Work with all aspects of batch processing in a modern Java environment using a selection of Spring frameworks. This book provides up-to-date examples using the latest configuration techniques based on Java configurati... 详细信息
来源: 评论
Formal Methods and Object Technology  1
收藏 引用
丛书名: Formal Approaches to Computing and Information Technology (FACIT)
1000年
作者: S. J. Goldsack S. J. H. Kent
Rationale Software engineering aims to develop software by using approaches which en­ able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to o... 详细信息
来源: 评论
Parameterized and Exact Computation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Jianer Chen Fedor V. Fomin
来源: 评论