咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 3,176 篇 programming tech...
  • 1,477 篇 programming lang...
  • 1,128 篇 software enginee...
  • 833 篇 software enginee...
  • 689 篇 logics and meani...
  • 681 篇 artificial intel...
  • 544 篇 computer communi...
  • 525 篇 algorithm analys...
  • 492 篇 mathematical log...
  • 354 篇 theory of comput...
  • 307 篇 computation by a...
  • 223 篇 information syst...
  • 222 篇 computer system ...
  • 203 篇 operating system...
  • 153 篇 database managem...
  • 148 篇 data structures
  • 140 篇 discrete mathema...
  • 122 篇 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 篇 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 篇 leszek a. macias...
  • 7 篇 zoltán horváth
  • 7 篇 bertrand meyer
  • 7 篇 christian maurer
  • 7 篇 dietmar seipel

语言

  • 3,145 篇 英文
  • 26 篇 中文
  • 5 篇 其他
检索条件"主题词=Programming techniques"
3176 条 记 录,以下是1281-1290 订阅
排序:
NASA Formal Methods  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Sanjai Rayadurgam Oksana Tkachuk
来源: 评论
Software and Data Technologies  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
This book contains the best papers of the First International Conference on Software and Data Technologies (ICSOFT 2006), organized by the Institute for Systems and Technologies of Information, Communication and Contr... 详细信息
来源: 评论
Evaluation of Novel Approaches to Software Engineering  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Hermann Kaindl Mike Mannion Leszek A. Maciaszek
This book constitutes the refereed proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022, held Virtually.;The 15 full papers included in this book were ... 详细信息
来源: 评论
Automated Technology for Verification and Analysis  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Ahmed Bouajjani Wei-Ngan Chin
来源: 评论
Pro Java Clustering and Scalability  1
收藏 引用
1000年
作者: Jorge Acetozi
Build clustered and scalable Java-based, real-time applications using Spring Framework, Boot, WebSocket, Cassandra, Redis and RabbitMQ. In this book, you'll tie all this together with a dive-in case study, a real-... 详细信息
来源: 评论
programming in Modula-3  1
收藏 引用
1000年
作者: László Böszörményi Carsten Weich
by Joseph Weizenbaum Since the dawn of the age of computers, people have cursed the difficulty of programming. Over and over again we encounter the suggestion that we should be able to communicate to a computer in nat... 详细信息
来源: 评论
Graph Transformation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Fabio Gadducci Timo Kehrer
This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*
来源: 评论
Einführung von CSCW-Systemen in Organisationen  1
收藏 引用
1000年
来源: 评论
programming Languages  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Francisco Heron Carvalho Junior Luis Soares Barbosa
This book constitutes the proceedings of the 16th Brazililan Symposium on programming Languages, SBLP 2012, held in Natal, Brazil, in September 2012.;The 10 full and 2 short papers were carefully reviewed and selected... 详细信息
来源: 评论
Learn Microservices with Spring Boot  2
收藏 引用
1000年
作者: Moisés Macero García
Build Java-based microservices architecture using the Spring Boot framework by evolving an application from a small monolith to an event-driven architecture composed of several services. This revised book follows an i... 详细信息
来源: 评论