咨询与建议

限定检索结果

文献类型

  • 2,212 篇 会议
  • 476 篇 期刊文献
  • 5 篇 学位论文
  • 2 册 图书
  • 2 篇 科技报告

馆藏范围

  • 2,697 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,640 篇 工学
    • 2,406 篇 计算机科学与技术...
    • 2,210 篇 软件工程
    • 211 篇 电气工程
    • 207 篇 信息与通信工程
    • 126 篇 控制科学与工程
    • 60 篇 电子科学与技术(可...
    • 42 篇 机械工程
    • 37 篇 生物工程
    • 25 篇 安全科学与工程
    • 22 篇 仪器科学与技术
    • 22 篇 建筑学
    • 21 篇 生物医学工程(可授...
    • 20 篇 土木工程
    • 19 篇 航空宇航科学与技...
    • 18 篇 材料科学与工程(可...
    • 18 篇 环境科学与工程(可...
    • 17 篇 动力工程及工程热...
    • 17 篇 化学工程与技术
  • 490 篇 理学
    • 366 篇 数学
    • 42 篇 统计学(可授理学、...
    • 40 篇 生物学
    • 40 篇 系统科学
    • 38 篇 物理学
    • 17 篇 化学
  • 414 篇 管理学
    • 221 篇 图书情报与档案管...
    • 218 篇 管理科学与工程(可...
    • 128 篇 工商管理
  • 121 篇 教育学
    • 121 篇 教育学
  • 30 篇 法学
    • 21 篇 社会学
  • 24 篇 经济学
    • 23 篇 应用经济学
  • 24 篇 医学
  • 8 篇 农学
  • 5 篇 文学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 2,697 篇 java programming...
  • 255 篇 java
  • 44 篇 computer softwar...
  • 33 篇 software
  • 21 篇 codes
  • 20 篇 libraries
  • 18 篇 computer personn...
  • 16 篇 software systems
  • 16 篇 software enginee...
  • 16 篇 semantics
  • 16 篇 graphical user i...
  • 16 篇 language
  • 15 篇 source code
  • 14 篇 analysis program...
  • 14 篇 open source soft...
  • 13 篇 runtime
  • 13 篇 extensible marku...
  • 13 篇 testing
  • 13 篇 computer program...
  • 12 篇 computer program...

机构

  • 6 篇 unisys corporati...
  • 6 篇 kth royal instit...
  • 5 篇 graduate school ...
  • 5 篇 ibm corp thomas ...
  • 5 篇 ibm t.j. watson ...
  • 4 篇 ibm ottawa
  • 4 篇 dipartimento di ...
  • 4 篇 singapore manage...
  • 4 篇 inria sophia ant...
  • 4 篇 department of co...
  • 4 篇 univ york dept c...
  • 4 篇 carnegie mellon ...
  • 3 篇 univ york york y...
  • 3 篇 université de mo...
  • 3 篇 cwi
  • 3 篇 school of comput...
  • 3 篇 utrecht universi...
  • 3 篇 iit dept comp sc...
  • 3 篇 department of ma...
  • 3 篇 indiana univ dep...

作者

  • 16 篇 bettini lorenzo
  • 15 篇 inoue katsuro
  • 14 篇 binder walter
  • 11 篇 leavens gary t.
  • 9 篇 schoeberl martin
  • 9 篇 ernst michael d.
  • 8 篇 ishio takashi
  • 8 篇 monperrus martin
  • 8 篇 carpenter bryan
  • 8 篇 wellings andy
  • 7 篇 visser willem
  • 7 篇 baudry benoit
  • 7 篇 fox geoffrey
  • 7 篇 damiani ferrucci...
  • 7 篇 poll erik
  • 7 篇 poetzsch-heffter...
  • 7 篇 bal henri e.
  • 7 篇 vitek jan
  • 6 篇 kielmann thilo
  • 6 篇 milanova ana

语言

  • 2,530 篇 英文
  • 130 篇 其他
  • 13 篇 中文
  • 10 篇 日文
  • 8 篇 德文
  • 3 篇 俄文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 塞尔维亚文
  • 1 篇 乌克兰文
检索条件"主题词=Java programming language"
2697 条 记 录,以下是351-360 订阅
排序:
Composing a cross-platform development environment using Maven  3
Composing a cross-platform development environment using Mav...
收藏 引用
3rd Workshop on Regional Consortium for Foundations, Research and 7th Spread of Emerging Technologies in Computing Sciences, RCCS+SPIDTEC2 2018
作者: Speicher, Terry J. Cheon, Yoonsik Timely Enterprises Inc. El PasoTX79932 United States Department of Computer Science University of Texas at El Paso El PasoTX79968 United States
It is challenging to develop a cross-platform application, that is, an application that runs on multiple platforms. It requires not only code reuse but also an individual building or compilation for each platform, pos... 详细信息
来源: 评论
jUDPWrapper: A Lightweight Approach to Access the OMNeT++/INET UDP Functionality from java  5th
jUDPWrapper: A Lightweight Approach to Access the OMNeT++/IN...
收藏 引用
5th International OMNeT++ Community Summit, OMNeT 2018
作者: Puttnies, Henning Danielis, Peter Thiele, Leonard Timmermann, Dirk University of Rostock Faculty of Computer Science and Electrical Engineering Institute of Applied Microelectronics and Computer Engineering Germany
There are three methods to evaluate networked systems during the design phase: by means of simulation, a practical testbed, and mathematical analysis. In this paper, we propose the jUDPWrapper, which enables to access... 详细信息
来源: 评论
Solving large Markov models described with standard programming language  32nd
Solving large Markov models described with standard programm...
收藏 引用
32nd International Symposium on Computer and Information Sciences, ISCIS 2018 Held at the 24th IFIP World Computer Congress, WCC 2018
作者: Pecka, P. Nowak, M.P. Rataj, A. Nowak, S. Institute of Theoretical and Applied Informatics ul. Baltycka 5 Gliwice44-100 Poland
Continuous time Markov chains (CTMC) are one of the formalisms for building models. This paper discusses OLYMP2 - a system for solving big CTMC models (exceeding 109 states), described with a standard programming lang... 详细信息
来源: 评论
How to help students learn class combination in the course of java language  5th
How to help students learn class combination in the course o...
收藏 引用
5th International Conference on Frontier Computing, FC 2016
作者: Yali, Yuan Qin, Yin Feng Xiao, Zhang School of Information Science and Engineering Hebei Northern University ZhangjiakouHebei075000 China
The combination of the class is a common method in software reuse. The teacher carried out a detailed analysis of class combination related difficulties such as object memory model representation, parameter transmissi... 详细信息
来源: 评论
An approach based on a DSL + API for programming runtime adaptivity and autotuning concerns  18
An approach based on a DSL + API for programming runtime ada...
收藏 引用
33rd Annual ACM Symposium on Applied Computing, SAC 2018
作者: Carvalho, Tiago Cardoso, João M. P. INESC TEC and Faculty of Engineering University of Porto Porto Portugal
In the context of compiler optimizations, tuning of parameters and selection of algorithms, runtime adaptivity and autotuning are becoming increasingly important, especially due to the complexity of applications, work... 详细信息
来源: 评论
Verifying the Proxy Design Pattern using Object Propositions  2017
Verifying the Proxy Design Pattern using Object Propositions
收藏 引用
8th ACM SIGPLAN International Conference on Systems, programming, languages, and Applications: Software for Humanity, SPLASH Companion 2017
作者: Nistor, Ligia Carnegie Mellon University PittsburghPA United States
In this extended abstract we explore the expressiveness and modularity of our recently published object propositions methodology by applying it to verify properties about programs that use the proxy design pattern. Th... 详细信息
来源: 评论
Towards a completeness prediction based on the complexity and impact
Towards a completeness prediction based on the complexity an...
收藏 引用
International Conference on Information Technology and Communication Systems, ITCS 2017
作者: Maqboul, Jaouad Bounabat, Bouchaib AL QualSADI Laboratory ENSIAS Mohammed V University of Rabat Rabat Morocco
As long as companies arrived at a maturity, where business processes have stagnated or even the diversity of business processes, research is directed towards the improvement of data quality, that is to say, improving ... 详细信息
来源: 评论
A java Program for Automatic Team Allocation in Project-Based Coursework
A Java Program for Automatic Team Allocation in Project-Base...
收藏 引用
2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2018
作者: Vial, Peter James Russell, Timothy James Stirling, David Ros, Montserrat Premaratne, Prashan Tran, Le Chung Nikolic, Sasha School of Electrical Computer and Telecommunications Engineering University of Wollongong Wollongong Australia Cisco Systems Sydney Australia Faculty of Engineering and Information Sciences University of Wollongong Wollongong Australia
Universities around the world require project-based subjects and effective team allocation. Team allocation is a very time-consuming task in complex project-based coursework subjects. This gives rise to the need of au... 详细信息
来源: 评论
A type-directed algorithm to generate well-typed featherweight java programs  1
收藏 引用
21st Brazilian Symposium on Formal Methods, SBMF 2018
作者: Feitosa, Samuel S. Ribeiro, Rodrigo Geraldo Rauber Du Bois, Andre PPGC Universidade Federal de Pelotas PelotasRS Brazil PPGCC Universidade Federal de Ouro Preto Ouro PretoMG Brazil
Property-based testing of compilers or programming languages semantics is difficult to accomplish because it is hard to design a random generator for valid programs. Most compiler test tools do not have a well-specifi... 详细信息
来源: 评论
Effective practices for refactoring a legacy java application into a microservice architecture  31
Effective practices for refactoring a legacy Java applicatio...
收藏 引用
31st International Conference on Computer Applications in Industry and Engineering, CAINE 2018
作者: Manzano, Fabio M. Buratto, Mario A.T. Bonfante, Amadeu Costa, George H.R. Phelan, Thomas Instituto de Pesquisas Eldorado Campinas São Paulo Brazil Lenovo Data Center Group MorrisvilleNC27560 United States
In the last few years, microservice architecture has become an industry standard due to its horizontal scale-out capability and faster deployment benefits, both especially required for mission critical Web application... 详细信息
来源: 评论