咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是621-630 订阅
排序:
Agile Artificial Intelligence in Pharo  1
收藏 引用
1000年
作者: Alexandre Bergel
Cover classical algorithms commonly used as artificial intelligence techniques and program agile artificial intelligence applications using Pharo. This book takes a practical approach by presenting the implementation ... 详细信息
来源: 评论
Offene Systeme  1
收藏 引用
1000年
来源: 评论
programming Languages and Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Helmut Seidl
This book constitutes the refereed proceedings of the 21st European Symposium on programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012.The 28 full papers, presented together with... 详细信息
来源: 评论
Job Scheduling Strategies for Parallel Processing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
来源: 评论
Distributed Computing - IWDC 2003  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Samir R. Das Sajal K. Das
来源: 评论
Distributed Computing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This book constitutes the refereed proceedings of the 12th International Symposium on Distributed Computing, DISC'98, held in Andros, Greece, in September 1998.;The 28 revised papers presented were carefully revie... 详细信息
来源: 评论
Software, System, and Service Engineering  1
收藏 引用
丛书名: Lecture Notes in Business Information Processing
1000年
作者: Aleksander Jarzębowicz Ivan Luković Adam Przybyłek Mirosław Staroń Muhammad Ovais Ahmad Mirosław Ochodek
The 6 revised papers presented in this book were carefully reviewed and selected from a total of 55 submissions. They focus on new ideas and developments in practical aspects and solutions for software engineering.
来源: 评论
Engineering Multi-Agent Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Matteo Baldoni Jörg P. Müller Ingrid Nunes Rym Zalila-Wenkstern
来源: 评论
Dynamics in Logic and Language  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Dun Deng Mingming Liu Dag Westerståhl Kaibo Xie
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, ... 详细信息
来源: 评论
Perspectives of System Informatics  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Dines Bjørner Manfred Broy Alexandre V. Zamulin
This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.;The 50 revised papers pres... 详细信息
来源: 评论