咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 3,170 篇 programming tech...
  • 1,475 篇 programming lang...
  • 1,128 篇 software enginee...
  • 830 篇 software enginee...
  • 687 篇 logics and meani...
  • 679 篇 artificial intel...
  • 543 篇 computer communi...
  • 522 篇 algorithm analys...
  • 491 篇 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
  • 139 篇 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,141 篇 英文
  • 24 篇 中文
  • 5 篇 其他
检索条件"主题词=Programming techniques"
3170 条 记 录,以下是3111-3120 订阅
排序:
Introduction to Scilab  1
收藏 引用
1000年
作者: Sandeep Nagar
Familiarize yourself with Scilab using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting, and working with f... 详细信息
来源: 评论
Model Checking and Artificial Intelligence  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Doron A. Peled Michael J. Wooldridge
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECA... 详细信息
来源: 评论
C++ für Programmierer  1
收藏 引用
1000年
来源: 评论
Computer Safety, Reliability, and Security  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Mario Trapp Francesca Saglietti Marc Spisländer Friedemann Bitsch
This book constitutes the proceedings of the 41st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2022, which took place in Munich, Germany, in September 2022.
来源: 评论
Programmverifikation  1
收藏 引用
丛书名: Springer-Lehrbuch
1000年
作者: Krzysztof R. Apt Ernst-Rüdiger Olderog
来源: 评论
Static Analysis  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Chris Hankin Igor Siveroni
来源: 评论
Logic Based Program Synthesis and Transformation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Sandro Etalle
来源: 评论
Mathematical Models for the Semantics of Parallelism  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism, held in Rome, September 24- October 1, 1986. The need for a compre... 详细信息
来源: 评论
Big Data Technologies and Applications  1
收藏 引用
丛书名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
1000年
作者: Zhiyuan Tan Yulei Wu Min Xu
This book constitutes the refereed post-conference proceedings of the 13;International Conference on Big Data Technologies and Applications, BDTA 2023, held in Edinburgh, United Kingdom, in August 2023.;The 8 full pap... 详细信息
来源: 评论
Mikrorechner-Systeme  2
收藏 引用
丛书名: Springer-Lehrbuch
1000年
作者: Helmut Bähring
Diese leichtverständliche Einführung behandelt Aufbau und Funktionsweise von Mikrorechner-Systemen: universell programmierbare Digitalrechner mit einem oder mehreren Mikroprozessoren als Kern. Schwerpunkte s... 详细信息
来源: 评论