咨询与建议

限定检索结果

文献类型

  • 46 篇 会议
  • 28 篇 期刊文献
  • 2 册 图书
  • 1 篇 学位论文

馆藏范围

  • 77 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 68 篇 工学
    • 50 篇 计算机科学与技术...
    • 31 篇 软件工程
    • 15 篇 电气工程
    • 9 篇 信息与通信工程
    • 6 篇 控制科学与工程
    • 4 篇 机械工程
    • 3 篇 仪器科学与技术
    • 3 篇 电子科学与技术(可...
    • 2 篇 材料科学与工程(可...
    • 1 篇 冶金工程
    • 1 篇 建筑学
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 核科学与技术
    • 1 篇 生物医学工程(可授...
    • 1 篇 网络空间安全
  • 8 篇 理学
    • 4 篇 数学
    • 2 篇 化学
    • 1 篇 天文学
    • 1 篇 地球物理学
  • 7 篇 管理学
    • 6 篇 管理科学与工程(可...
    • 3 篇 工商管理
  • 6 篇 教育学
    • 5 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 2 篇 文学
    • 1 篇 中国语言文学
    • 1 篇 新闻传播学
  • 2 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
  • 1 篇 经济学
    • 1 篇 理论经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 艺术学

主题

  • 77 篇 java language
  • 5 篇 java
  • 5 篇 jml language
  • 4 篇 sv-benchmarks
  • 4 篇 program analysis
  • 4 篇 software enginee...
  • 4 篇 competition
  • 4 篇 verification tas...
  • 4 篇 c language
  • 4 篇 software verific...
  • 4 篇 formal verificat...
  • 4 篇 benchmark
  • 3 篇 object oriented ...
  • 3 篇 benchexec
  • 3 篇 simulation
  • 3 篇 runtime assertio...
  • 3 篇 compile-time ana...
  • 3 篇 alloy analyzer
  • 3 篇 alloy modeling l...
  • 3 篇 coveriteam

机构

  • 4 篇 ludwig maximilia...
  • 3 篇 mit comp sci lab...
  • 2 篇 iowa state univ ...
  • 1 篇 kobe univ nada k...
  • 1 篇 univ holguin dep...
  • 1 篇 univ tokyo bunky...
  • 1 篇 drew university
  • 1 篇 univ cordoba dep...
  • 1 篇 wright state uni...
  • 1 篇 inje univ sch in...
  • 1 篇 univ cent martha...
  • 1 篇 ibm corp div res...
  • 1 篇 niigata seiryo u...
  • 1 篇 univ zaragoza de...
  • 1 篇 univ texas dept ...
  • 1 篇 quanzhou univers...
  • 1 篇 pontificia univ ...
  • 1 篇 natl chiao tung ...
  • 1 篇 expt middle sch ...
  • 1 篇 univ malaysia pa...

作者

  • 4 篇 beyer dirk
  • 3 篇 cheon y
  • 3 篇 leavens gt
  • 3 篇 marinov d
  • 3 篇 ruby c
  • 2 篇 cok dr
  • 2 篇 clifton c
  • 2 篇 darko marinov
  • 2 篇 jackson d
  • 2 篇 khurshid s
  • 1 篇 o'callahan r
  • 1 篇 karras d. a.
  • 1 篇 eduardo pérez
  • 1 篇 yu huiming
  • 1 篇 oscar reyes
  • 1 篇 etsuya shibayama
  • 1 篇 zhan zhenzhong
  • 1 篇 villanueva r. l.
  • 1 篇 shepherd jc
  • 1 篇 masahide nakamur...

语言

  • 66 篇 英文
  • 6 篇 其他
  • 5 篇 中文
检索条件"主题词=Java language"
77 条 记 录,以下是21-30 订阅
排序:
The Study of Training Course in java language in Private College Teaching
The Study of Training Course in Java Language in Private Col...
收藏 引用
International Conference on Advanced Materials and Information Technology Processing (AMITP 2011)
作者: Zhan, Zhenzhong Mu, Zhendong Inst Jiangxi Bluesky Univ Training Ctr Jingdong Jian Jiangxi Peoples R China Jiangxi Bluesky Univ Inst Informat & Technol Nanchang Jiangxi Peoples R China
With the rapid development of software industry, in response to development in software technology, improve the market competitiveness of software professionals, many colleges and universities set java software langua... 详细信息
来源: 评论
Fast and accurate synthesis of electronically reconfigurable annular ring monopole antennas using particle swarm optimisation and artificial bee colony algorithms
收藏 引用
IET MICROWAVES ANTENNAS & PROPAGATION 2016年 第4期10卷 362-369页
作者: Brito Rodrigues, Eduardo Jorge Castro Lins, Hertz Wilton D'Assuncao, Adaildo Gomes Univ Fed Rio Grande do Norte UFRN Dept Commun Engn Caixa Postal 1655 BR-59072970 Natal RN Brazil Anatel Natl Agcy Telecommun BR-58043010 Joao Pessoa Paraiba Brazil
The synthesis of a simple electronically reconfigurable annular ring monopole antenna using a designing optimisation process based on particle swarm optimisation (PSO) and artificial bee colony (ABC) algorithms is pro... 详细信息
来源: 评论
Based on a java language embryology remote testing system for the development and application
收藏 引用
2011 International Conference on Advanced Materials and Information Technology Processing(AMITP 2011)
作者: CHEN Zhi Wei WANG Li Hong XU Hui Yu Qiqihar Medcial University
Multimedia and the Internet as a representative of the modern information technology put society as a whole is an organic whole repeatedly, the wisdom of the ages and all mankind will converge at worldwide covered gia... 详细信息
来源: 评论
Practice and Study of Synergetic Learning Theory in java language Teaching
Practice and Study of Synergetic Learning Theory in Java Lan...
收藏 引用
International Conference on Computer Science and Education (CSE 2011)
作者: Wang, Zhihui Wang, Yuanqiang Hao, Shangfu Sun, Baili Hebei North Univ Zhangjiakou 075000 Hebei Peoples R China
This article deals with problems of defective teaching effects widely existing in Chinese collage and university java language teaching courses, and proposes a brand new teaching methodology by introducing two emergin... 详细信息
来源: 评论
JCLAL: A java Framework for Active Learning
收藏 引用
JOURNAL OF MACHINE LEARNING RESEARCH 2016年 第1期17卷 3271-3275页
作者: Reyes, Oscar Perez, Eduardo del Carmen Rodriguez-Hernandez, Maria Fardoun, Habib M. Ventura, Sebastian Univ Holguin Dept Comp Sci Holguin Cuba Univ Zaragoza Dept Comp Sci & Syst Engn Zaragoza Spain King Abdulaziz Univ Dept Informat Syst Jeddah Saudi Arabia Univ Cordoba Dept Comp Sci & Numer Anal Cordoba Spain
Active Learning has become an important area of research owing to the increasing number of real-world problems which contain labelled and unlabelled examples at the same time. JCLAL is a java Class Library for Active ... 详细信息
来源: 评论
Design and Implementation of Remote Control System between Android Platform
Design and Implementation of Remote Control System between A...
收藏 引用
International Conference on Information System and Artificial Intelligence (ISAI)
作者: Wang, Kui-sheng Hou, Yan Xu, Ying-zhuo Xian Shiyou Univ Coll Comp Sci Xian Peoples R China
Focused on the issue that the mobile terminal can not remote control each other, a remote control system between Android platforms was proposed. The system is a typical C/S mode, follow the specification of Android ap... 详细信息
来源: 评论
Practice and Study of Synergetic Learning Theory in java language Teaching
Practice and Study of Synergetic Learning Theory in Java Lan...
收藏 引用
Advances in Information Technology and Education
作者: Zhihui Wang Yuanqiang Wang Shangfu Hao Baili Sun Hebei North University
This article deals with problems of defective teaching effects widely existing in Chinese collage and university java language teaching courses,and proposes a brand new teaching methodology by introducing two emerging... 详细信息
来源: 评论
A java Implementation of Prime and Binary Fields
收藏 引用
IEEE LATIN AMERICA TRANSACTIONS 2015年 第9期13卷 3010-3019页
作者: Gutierrez, I. S. Villanueva, R. L. Univ Norte Dept Matemat & Estadist Barranquilla Colombia Univ Simon Bolivar Dept Ingn Sistemas & Ciencias Computac Barranquilla Colombia
This paper introduces a java software library intended to be used by cryptographers, programmers and practitioners. Basically, the library provides efficient implementations for performing calculations on finite field... 详细信息
来源: 评论
Nondeterministic Programming in java with JSetL
收藏 引用
FUNDAMENTA INFORMATICAE 2015年 第3-4期140卷 393-412页
作者: Rossi, Gianfranco Bergenti, Federico Univ Parma Dipartimento Matemat & Informat I-43124 Parma Italy
JSetL is a java library that endows java with a number of facilities that are intended to support declarative and constraint (logic) programming. In this paper we show how JSetL can be used to support general forms of... 详细信息
来源: 评论
Design and Implementation of the Thesis Evaluation System Based on Web Technology
Design and Implementation of the Thesis Evaluation System Ba...
收藏 引用
2016 6th International Conference on Information Engineering for Mechanics and Materials(ICIMM 2016)
作者: Li Bo Jilin Agricultural University Graduate School
This paper introduces the research of Thesis Evaluation System Based on Web technology, the system makes Web page by HTML/CSS/JS, AJAX/JQuery, applying Struts2 framework to build the system framework, using java langu... 详细信息
来源: 评论