咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是61-70 订阅
排序:
Enterprise nasazení platformy OSGi
Enterprise nasazení platformy OSGi
收藏 引用
作者: Pech, David Brno University of Technology
Práce se zabývá problematikou technologie OSGi, která nabízí odlišný přístup k modularitě jazyka java. Vývoj modularity jazyka je dán do souvislosti s novou technolog... 详细信息
来源: 评论
Compilação de bytecodes java para um ambiente de arquitetura reconfigurável
Compilação de bytecodes Java para um ambiente de arquitetu...
收藏 引用
作者: Lima, Willian dos Santos Universidade Estadual Paulista
Durante esta pesquisa, foram investigados conceitos relacionados à computação reconfigurável, processo de compilação e funcionamento da compilação java, especialmente no que se ... 详细信息
来源: 评论
Simulation of queuing system based on java
收藏 引用
Jisuanji Gongcheng/Computer Engineering 2006年 第13期32卷 26-28+31页
作者: Tang, Yan Wang, Zhijian Wu, Yin College of Computer and Information Hohai University Nanjing 210098 China College of Electrical Engineering Hohai University Nanjing 210098 China
The basis of a general introduction of queuing systems, the mathematic characteristics of common queuing systems are analyzed, a new event driven algorithm is created and used to simulate M/M/c, M/M/c/N, G/G/c/ infini... 详细信息
来源: 评论
An analyzable annotation language
收藏 引用
ACM SIGPLAN NOTICES 2002年 第11期37卷 231-245页
作者: Khurshid, S Marinov, D Jackson, D MIT Comp Sci Lab Cambridge MA 02139 USA
The Alloy Annotation language (AAL) is a language (under development) for annotating java code based on the Alloy modeling language. It offers a syntax similar to the java Modeling language (JML), and the same opportu... 详细信息
来源: 评论
Research and Design of a Small Distributed Key-Value Database based java
International Core Journal of Engineering
收藏 引用
International Core Journal of Engineering 2022年 第8期8卷 666-672页
作者: Zhenenji Shao
The main research content of this article is to design and implement a Key-Value database management system that simply runs completely in memory, and to provide it with a simple master-slave mode implementation. It m... 详细信息
来源: 评论
Beginning Programming with java For Dummies, 4th Edition  4
收藏 引用
丛书名: For Dummies
2014年
作者: Barry Burd
Enter the Swift future of iOS and OS X programming Beginning Swift Programming is your ideal starting point for creating Mac, iPhone, and iPad apps using Apple's new Swift programming language. Written by an exper... 详细信息
来源: 评论
The remote monitoring and controlling via the GSM network GPRS data transfer
The remote monitoring and controlling via the GSM network GP...
收藏 引用
17th International Symposium of the Danube-Adria-Association-for-Automation-and-Manufacturing
作者: Matysek, M. Adamek, M. Neumann, P. Hamrlicek, J.
The aim of this work was to design and apply a remote access by means of a mobile phone running the java based application routine. That java mobile phone routine communicates with the controlled and monitored system ... 详细信息
来源: 评论
An analyzable annotation language  02
An analyzable annotation language
收藏 引用
Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
作者: Sarfraz Khurshid Darko Marinov Daniel Jackson Massachusetts Institute of Technology Cambridge MA
The Alloy Annotation language (AAL) is a language (under development) for annotating java code based on the Alloy modeling language. It offers a syntax similar to the java Modeling language (JML), and the same opportu... 详细信息
来源: 评论
Object persistence in java  03
Object persistence in Java
收藏 引用
Proceedings of the 2nd international conference on Principles and practice of programming in java
作者: Tom Lunney Aidan McCaughey University of Ulster Londonderry
Object persistence in java is first introduced and basic object persistence is demonstrated via exemplars that address both applications and applets. We then proceed to consider java language persistence and overview ... 详细信息
来源: 评论
The Development of Intelligent Mobile Phone Game Based on Android System
The Development of Intelligent Mobile Phone Game Based on An...
收藏 引用
2013 International Conference on Microtechnology and MEMS(ICMM 2013)
作者: Shi Yiping Wang Hong College of Electrical & Electronic Engineering Shanghai University of Engineering Science
Based on the snake game,this paper introduces the software development process of the intelligent mobile phone game on Android *** software development of intelligent mobile phone game has important significance for d... 详细信息
来源: 评论