咨询与建议

限定检索结果

文献类型

  • 965 篇 期刊文献
  • 649 篇 会议
  • 314 册 图书
  • 26 篇 学位论文
  • 5 件 标准
  • 1 篇 资讯

馆藏范围

  • 1,960 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 1,360 篇 工学
    • 912 篇 计算机科学与技术...
    • 565 篇 软件工程
    • 353 篇 电气工程
    • 124 篇 控制科学与工程
    • 83 篇 机械工程
    • 64 篇 信息与通信工程
    • 47 篇 电子科学与技术(可...
    • 36 篇 力学(可授工学、理...
    • 34 篇 材料科学与工程(可...
    • 33 篇 土木工程
    • 20 篇 仪器科学与技术
    • 14 篇 交通运输工程
    • 13 篇 石油与天然气工程
    • 11 篇 化学工程与技术
    • 11 篇 环境科学与工程(可...
    • 10 篇 建筑学
  • 228 篇 理学
    • 104 篇 数学
    • 64 篇 物理学
    • 23 篇 生物学
    • 19 篇 地球物理学
    • 16 篇 化学
    • 15 篇 系统科学
    • 15 篇 统计学(可授理学、...
  • 124 篇 管理学
    • 108 篇 管理科学与工程(可...
    • 15 篇 图书情报与档案管...
    • 13 篇 工商管理
  • 110 篇 教育学
    • 105 篇 教育学
  • 18 篇 农学
  • 18 篇 医学
    • 10 篇 基础医学(可授医学...
  • 15 篇 经济学
    • 14 篇 应用经济学
  • 10 篇 文学
    • 9 篇 新闻传播学
  • 7 篇 法学
  • 3 篇 哲学
  • 3 篇 历史学
  • 3 篇 艺术学
  • 1 篇 军事学

主题

  • 1,960 篇 object-oriented ...
  • 252 篇 nasa technical r...
  • 252 篇 (ntrs)
  • 128 篇 java
  • 122 篇 software enginee...
  • 55 篇 simulation
  • 55 篇 computer program...
  • 49 篇 reports
  • 48 篇 computer program...
  • 48 篇 programming lang...
  • 44 篇 object oriented ...
  • 44 篇 software enginee...
  • 43 篇 design
  • 40 篇 applications pro...
  • 39 篇 architecture (co...
  • 39 篇 software
  • 39 篇 artificial intel...
  • 37 篇 software archite...
  • 37 篇 formal specifica...
  • 37 篇 design patterns

机构

  • 13 篇 naval postgradua...
  • 5 篇 univ macedonia d...
  • 5 篇 univ calif berke...
  • 4 篇 iit dept comp sc...
  • 4 篇 georgia inst tec...
  • 4 篇 univ oslo dept i...
  • 4 篇 newcastle univ d...
  • 3 篇 natl res univ hi...
  • 3 篇 international bu...
  • 3 篇 univ oslo dept m...
  • 3 篇 victoria univ we...
  • 3 篇 city univ hong k...
  • 3 篇 oak ridge natl l...
  • 3 篇 nanjing univ sta...
  • 3 篇 univ lancaster d...
  • 3 篇 nova sch sci & t...
  • 3 篇 technion israel ...
  • 3 篇 univ coll dublin...
  • 3 篇 oak ridge natl l...
  • 3 篇 univ macedonia d...

作者

  • 6 篇 kindler eugene
  • 6 篇 abdalla hs
  • 6 篇 ducasse s
  • 5 篇 sokas algirdas
  • 5 篇 xinogalos stelio...
  • 5 篇 yang jeong
  • 5 篇 budiardja reuben...
  • 5 篇 cardall christia...
  • 5 篇 romanovsky a
  • 5 篇 lee young
  • 5 篇 giacaman nasser
  • 5 篇 chatzigeorgiou a...
  • 4 篇 tan wee hoe
  • 4 篇 kramer matthias
  • 4 篇 brinda torsten
  • 4 篇 chang jm
  • 4 篇 noble j
  • 4 篇 fong anthony s.
  • 4 篇 meyer bertrand
  • 4 篇 lanza m

语言

  • 1,779 篇 英文
  • 145 篇 其他
  • 31 篇 中文
  • 3 篇 德文
  • 1 篇 法文
检索条件"主题词=object-oriented programming"
1960 条 记 录,以下是491-500 订阅
Learning programming Languages through Input-Providing Tasks
Learning Programming Languages through Input-Providing Tasks
收藏 引用
IEEE Global Engineering Education Conference (EDUCON)
作者: Figas, P. Bartel, A. Ebert, M. Muller-Amthor, M. Weilemann, E. Brune, P. Hagel, G. Kempten Univ Appl Sci Kempten Germany Coburg Univ Appl Sci Coburg Germany Neu Ulm Univ Appl Sci Neu Ulm Germany
Task-based programming Learning (TBPL) is an approach which is based on ideas of Task-based Language Learning in second language acquisition. It can use output-prompting and input-providing tasks. This paper describes... 详细信息
来源: 评论
Adaptable Learning and Learning Analytics: A Case Study in a programming Course  11th
Adaptable Learning and Learning Analytics: A Case Study in a...
收藏 引用
11th European Conference on Technology-Enhanced Learning (EC-TEL)
作者: Traetteberg, Hallvard Mavroudi, Anna Giannakos, Michail Krogstie, John Norwegian Univ Sci & Technol Trondheim Norway
The focus of this case study is the exploitation of visual learning analytics coupled with the provision of feedback and support provided to the students and their impact in provoking change at student programming hab... 详细信息
来源: 评论
Phorms: Pattern Combinator Library for Pharo  16
Phorms: Pattern Combinator Library for Pharo
收藏 引用
11th International Workshop on Smalltalk Technologies (IWST)
作者: Lviv, Markiyan Rizun Ducasse, Stephane Santos, Gustavo Teruel, Camille Natl Univ Ivan Franko RMoD Inria CRIStALUMR 9189 Lvov Ukraine RMoD INRIA CRIStAL UMR 9189L Villeneuve France RMoD INRIA CRIStAL UMR 9189 Villeneuve France Foretagsplatsen Stockholm Sweden
Pattern matching is a common mechanism to provide analysis and transformation of data structures. Such an approach basically checks whether the containing elements of a data structure are constituents of a pattern, de... 详细信息
来源: 评论
The Expression Problem, Trivially!  2016
The Expression Problem, Trivially!
收藏 引用
15th International Conference on Modularity (MODULARITY)
作者: Wang, Yanlin Oliveira, Bruno C. d. S. Univ Hong Kong Pokfulam Hong Kong Peoples R China
This paper presents a novel and simple solution to Wadler's Expression Problem that works in conventional object-oriented languages. Unlike all existing solutions in Java-like languages, this new solution does not... 详细信息
来源: 评论
Improving programming education through gameful, formative feedback
Improving programming education through gameful, formative f...
收藏 引用
IEEE Global Engineering Education Conference (EDUCON)
作者: Fuchs, Markus Wolff, Christian Univ Regensburg Informat Sci Grp Regensburg Germany Univ Regensburg Media Informat Grp Regensburg Germany
In this paper we present a newly developed online learning platform which introduces gamification elements into software engineering education. Starting from assumptions based on cognitive load theory we present the d... 详细信息
来源: 评论
Typechecking Protocols with Mungo and StMungo  16
Typechecking Protocols with Mungo and StMungo
收藏 引用
18th International Symposium on Principles and Practice of Declarative programming (PPDP)
作者: Kouzapas, Dimitrios Dardha, Ornela Perera, Roly Gay, Simon J. Univ Glasgow Sch Comp Sci Glasgow Lanark Scotland
We report on two tools that extend Java with support for static type-checking of communication protocols. Our Mungo tool extends Java with typestate definitions, which allow classes to be associated with state machine... 详细信息
来源: 评论
The Many Dimensions of Kristen Nygaard, Creator of object-oriented programming and the Scandinavian School of System Development  1
收藏 引用
21st IFIP World Computer Congress (WCC 2010)
作者: Berntsen, Drude Elgsaas, Knut Hegna, Havard Director at the Norwegian Computing Center 1970-1989 Norway Researcher/Project Director at the Norwegian Computing Center 1963-1973 Norway Senior Research Scientist at the Norwegian Computing Center 1962-2006 Norway
Professor Kristen Nygaard (1926-2002) was a multi-talented scientist whose achievements were amply honoured in his later years. For general readers of Computer Science history Nygaard will be recognized as the creator... 详细信息
来源: 评论
An isogeometric analysis approach for coupled multi-field problems at large strain
An isogeometric analysis approach for coupled multi-field pr...
收藏 引用
作者: Lei Zhang Ecole Centrale Marseille
学位级别:博士
Recently proposed as a general purpose numerical method, the Isogeometric Analysis (IGA) offers great perspective to bridge the gap between CAD and CAE. The IGA is closely related to the finite element method (FEM) as... 详细信息
来源: 评论
Python: Real-World Data Science: Real-World Data Science
收藏 引用
丛书名: Curated Course
2016年
作者: Fabrizio Romano Dusty Phillips Phuong Vo.T.H Martin Czygan
Unleash the power of Python and its robust data science capabilitiesKey Features: * Unleash the power of Python 3 objects * Learn to use powerful Python libraries for effective data processing and analysis * Harness t... 详细信息
来源: 评论
NASA Technical Reports Server (Ntrs) 19940018009: Programmability in Aips++
收藏 引用
2016年
NASA Technical Reports Server (Ntrs) 19940018009: Programmability in Aips++ by NASA Technical Reports Server (Ntrs); NASA Technical Reports Server (Ntrs); published by
来源: 评论