咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是531-540 订阅
排序:
Classical and Quantum Computing  1
收藏 引用
1000年
作者: Yorick Hardy Willi-Hans Steeb
来源: 评论
Computer and Computing Technologies in Agriculture II, Volume 1  1
收藏 引用
丛书名: IFIP Advances in Information and Communication Technology
1000年
作者: Daoliang Li Chunjiang Zhao
The papers in this volume comprise the refereed proceedings of the Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), in Beijing, China, 2008. The conference on the ... 详细信息
来源: 评论
Lindenmayer Systems  1
收藏 引用
1000年
作者: Grzegorz Rozenberg Arto Salomaa
L systems are language-theoretic models for developmentalbiology. They wereintroduced in 1968 by Aristid Lindenmayer(1925-1989) and have proved to be among the most beautifulexamples of interdisciplinary science, wher... 详细信息
来源: 评论
Beginning Spring AI  1
Beginning Spring AI
收藏 引用
丛书名: Apress Pocket Guides
1000年
作者: Andrew Lombardi Joseph Ottinger
Discover how to use Large Language Models in the Spring Framework. This quick guide equips developers with insights into the strengths and limitations of Spring AI and how to leverage the model for typical use cases.F... 详细信息
来源: 评论
Advances in Neural Networks - ISNN 2008  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Fuchun Sun Jianwei Zhang Ying Tan Jinde Cao Wen Yu
The two volume set LNCS 5263/5264 constitutes the refereed proceedings of the 5th International Symposium on Neural Networks, ISNN 2008, held in Beijing, China in September 2008. The 192 revised papers presented were ... 详细信息
来源: 评论
Advances in Smalltalk  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
The 14th International Smalltalk Conference took place in the ?rst week of September 2006 in Prague, Czech Republic. This volume contains the pe- reviewed technical papers that were presented during the academic track... 详细信息
来源: 评论
Parallel Problem Solving from Nature – PPSN X  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Günter Rudolph Thomas Jansen Nicola Beume Simon Lucas Carlo Poloni
This book constitutes the refereed proceedings of the 10th International Conference on Parallel Problem Solving from Nature, PPSN 2008, held in Dortmund, Germany, in September 2008. The 114 revised full papers present... 详细信息
来源: 评论
Algorithms and Complexity  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Tiziana Calamoneri Josep Diaz
来源: 评论
Declarative programming, Sasbachwalden 1991  1
收藏 引用
丛书名: Workshops in Computing
1000年
作者: John Darlington Roland Dietrich
Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These advantages include their powerful descriptive capabilities, the... 详细信息
来源: 评论
Smart Learning Objects for Smart Education in Computer Science  1
收藏 引用
1000年
作者: Vytautas Štuikys
This monograph presents the challenges, vision and context to design smart learning objects (SLOs) through Computer Science (CS) education modelling and feature model transformations. It presents the latest research o... 详细信息
来源: 评论