咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 3,168 篇 programming tech...
  • 1,473 篇 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,139 篇 英文
  • 24 篇 中文
  • 5 篇 其他
检索条件"主题词=Programming techniques"
3168 条 记 录,以下是3161-3170 订阅
排序:
Clean C++20  2
收藏 引用
2021年
作者: Stephan Roth
Write maintainable, extensible, and durable software with modern C++. This book, updated for the recently released C++20 standard, is a must for every developer, software architect, or team leader who is interested in... 详细信息
来源: 评论
The Hitchhiker's Guide to Software Languages  10
The Hitchhiker's Guide to Software Languages
收藏 引用
International conference on generative programming and component engineering
作者: Ralf LaEmmel Universität Koblenz-Landau Koblenz Germany
There is only that much space in the CS curriculum, and there are always new subjects that should be accommodated by the curriculum. For instance, in our community, we would want all graduates to leave university with... 详细信息
来源: 评论
DSC: Dense-Sparse Convolution for Vectorized Inference of Convolutional Neural Networks
DSC: Dense-Sparse Convolution for Vectorized Inference of Co...
收藏 引用
IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops
作者: Alexander Frickenstein Manoj Rohit Vemparala Christian Unger Fatih Ayar Walter Stechele BMW Group Autonomous Driving Technical University Munich Electrical and Computer Engineering
The efficient applications of Convolutional Neural Networks (CNNs) in automotive-rated and safety critical hardware-accelerators require an interplay of DNN design optimization, programming techniques and hardware res... 详细信息
来源: 评论
Genetic Algorithms + Data Structures = Evolution Programs  3
收藏 引用
1996年
作者: Zbigniew Michalewicz
Genetic algorithms are founded upon the principle of evolution, i.e., survival of the fittest. Hence evolution programming techniques, based on genetic algorithms, are applicable to many hard optimization problems, su... 详细信息
来源: 评论
Algorithm Synthesis: A Comparative Study  1
收藏 引用
1989年
作者: D. M. Steier A. P. Anderson
In early 1986, one of us (D.M.S.) was constructing an artificial intelligence system to design algorithms, and the other (A.P.A.) was getting started in program transformations research. We shared an office, and excha... 详细信息
来源: 评论
Analysis of Simulation Modeling Systems Illustrated with the Problem of Model Design for the Subject of Technological Logistics (WIP)  15
Analysis of Simulation Modeling Systems Illustrated with the...
收藏 引用
Simulation Multiconference
作者: Konstantin Aksyonov Eugene Bykov Olga Aksyonova Natalia Goncharova Alena Nevolina Ural Federal University
The paper presents definition of the models for technological logistics in various modeling systems: Plant Simulation, Simio, AnyLogic, as well as the software, which is currently run at an enterprise that operates me... 详细信息
来源: 评论
Physically Based Shader Development for Unity 2017  1
收藏 引用
1000年
作者: [英] Claudia Doppioslash
Benefit from the latest rendering tech developments, currently covered only in papers and talks from Siggraph, in a way any developer or technical artist using Unity can take advantage of. This book starts by introduc... 详细信息
来源: 评论
医疗设备软件 第3部分:医疗设备软件生命周期过程的过程参考模型
医疗设备软件 第3部分:医疗设备软件生命周期过程的过程参考模型
收藏 引用
标准类型:国际电工委员会标准
IEC TR 80002-3:2014 which is a technical report (TR), provides the description of software life cycle processes for medical devices. The medical device software life cycle processes are derived from IEC 62304:2006, wi... 详细信息
来源: 评论