咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 83 篇 java language
  • 5 篇 java
  • 5 篇 jml language
  • 4 篇 sv-benchmarks
  • 4 篇 program analysis
  • 4 篇 software enginee...
  • 4 篇 competition
  • 4 篇 verification tas...
  • 4 篇 jazyk java
  • 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 篇 text
  • 3 篇 alloy analyzer

机构

  • 4 篇 brno university ...
  • 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 篇 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 篇 citrix systems p...
  • 1 篇 univ zaragoza de...
  • 1 篇 univ texas dept ...
  • 1 篇 quanzhou univers...
  • 1 篇 pontificia univ ...
  • 1 篇 natl chiao tung ...
  • 1 篇 expt middle sch ...

作者

  • 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...

语言

  • 73 篇 英文
  • 5 篇 其他
  • 5 篇 中文
检索条件"主题词=java language"
83 条 记 录,以下是81-90 订阅
排序:
RESEARCH AND IMPLEMENTATION OF A WEB-BASED CAD SYSTEM
收藏 引用
Transactions of Nanjing University of Aeronautics and Astronautics 2002年 第2期19卷 145-150页
作者: 曾建江 陈文亮 丁秋林 南京航空航天大学航空宇航学院 南京210016
Computer aided design on the Internet/Intranet explores new frontiers in design environment. A new Web based CAD system is introduced. The users can install the CAD system on the server to build three dimensional m... 详细信息
来源: 评论
Design and implement of virtual laboratory platform based on Internet
Zhongnan Gongye Daxue Xuebao/Journal of Central South Univer...
收藏 引用
Zhongnan Gongye Daxue Xuebao/Journal of Central South University of Technology 2002年 第5期33卷 530-533页
作者: Wang, Jian-Xin Pei, Hui-Min Chen, Song-Qiao Coll. of Info. Sci. and Eng. Cent. South Univ. Changsha 410083 China
In order to overcome the shortage of the current virtual laboratory, the project of architecture and implement of the virtual laboratory platform were introduced in this paper. The key implement and design technologie... 详细信息
来源: 评论
JCLAL: a java framework for active learning
The Journal of Machine Learning Research
收藏 引用
The Journal of Machine Learning Research 2016年 第1期17卷
作者: Kevin Murphy Bernhard Schölkopf Oscar Reyes Eduardo Pérez María Del Carmen Rodríguez-Hernández Habib M. Fardoun Sebastián Ventura Google MPI for Intelligent Systems Department of Computer Science University of Holguín Holguín Cuba Department of Computer Science and Systems Engineering University of Zaragoza Zaragoza Spain Department of Information Systems King Abdulaziz University Jeddah Saudi Arabia Department of Computer Science and Numerical Analysis University of Córdoba Córdoba Spain and Department of Information Systems King Abdulaziz University Jeddah Saudi Arabia
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 ... 详细信息
来源: 评论