咨询与建议

限定检索结果

文献类型

  • 2,218 篇 会议
  • 476 篇 期刊文献
  • 2 册 图书
  • 2 篇 学位论文

馆藏范围

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

日期分布

学科分类号

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

主题

  • 2,698 篇 java programming...
  • 255 篇 java
  • 44 篇 computer softwar...
  • 33 篇 software
  • 22 篇 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 篇 computer program...
  • 12 篇 program diagnost...
  • 12 篇 security

机构

  • 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 篇 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 篇 singapore manage...
  • 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,416 篇 英文
  • 250 篇 其他
  • 12 篇 中文
  • 10 篇 日文
  • 8 篇 德文
  • 3 篇 俄文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 塞尔维亚文
  • 1 篇 乌克兰文
检索条件"主题词=JAVA programming language"
2698 条 记 录,以下是1971-1980 订阅
排序:
An overview of JML tools and applications
An overview of JML tools and applications
收藏 引用
Eight International Workshop on Formal Methods for Industrial Critical Systems (FMICS'03)
作者: Burdy, Lilian Cheon, Yoonsik Cok, David Ernst, Michael D. Kiniry, Joe Leavens, Gary T. Leino, K. Rustan M. Poll, Erik GEMPLUS Research Lab Gémenos France Eastman Kodak Company RandD Laboratories Rochester NY United States Dept. of Computer Science Iowa State University Ames IA United States MIT Lab for Computer Science Cambridge MA United States Dept. of Computer Science University of Nijmegen Nijmegen Netherlands Microsoft Research Redmond WA United States
The java Modeling language (JML) can be used to specify the detailed design of java classes and interfaces by adding annotations to java source files. The aim of JML is to provide a specification language that is easy... 详细信息
来源: 评论
Servlets and JSP in an undergraduate database course
Servlets and JSP in an undergraduate database course
收藏 引用
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications
作者: Presser, Clifton G.M. Branham, Arthur Jonathan Gettysburg College Dept. of Computer Science Gettysburg PA 17325 United States
In recent years database technology has become highly integrated with web applications. It is difficult to discuss or teach one without some reference to the other. The work described in this paper demonstrates the in... 详细信息
来源: 评论
Verified bytecode subroutines
Verified bytecode subroutines
收藏 引用
16th International Conference on Theorem Proving in Higher Order Logics
作者: Klein, G Wildmoser, M Tech Univ Munich D-8000 Munich Germany
Subroutines are a major complication for java bytecode verification: they are difficult to fit into the data flow analysis that the java Virtual Machine (JVM) specification suggests. We examine the problems that occur... 详细信息
来源: 评论
A Software Framework for java Message Service Based Internet Messaging System
A Software Framework for Java Message Service Based Internet...
收藏 引用
Parallel and Distributed Computing, Applications and Technologies, PDCAT 2003 Proceedings
作者: Hsiu-Hui, Lee Chun-Hsiung, Tseng Grad. Inst. of Comp. Sci./Info. Eng. National Taiwan University Taipei Taiwan
java Message Service is released by Sun Microsystems as a standard way of message delivering and receiving. The purpose of this project is to implement a java Message Service provider and provide a software framework ... 详细信息
来源: 评论
Do you still use a database?
Do you still use a database?
收藏 引用
18th Annual ACM SIGPLAN Conference on Object-Oriented programming, Systems, languages, and Applications, OOPSLA'03
作者: Wuestefeld, Klaus Prevayler Av João Gualberto 1673 4andar Curitiba - 80030-001 Brazil
This is the overview of the original System Prevalence layer demonstration at OOPSLA'2003.
来源: 评论
Slicing event spaces: Towards a java programs checking framework
Slicing event spaces: Towards a Java programs checking frame...
收藏 引用
Eight International Workshop on Formal Methods for Industrial Critical Systems (FMICS'03)
作者: Cataño, Néstor
java event spaces are partial orders of memory and thread actions as generated by a multi-threaded java program in execution. This paper shows how standard techniques of slicing can be used to reduce the size of java ... 详细信息
来源: 评论
Pursuing laziness for efficient implementation of modern multithreaded languages
收藏 引用
5th International Symposium on High Performance Computing/3rd International Workshop on OpenMP: Experiences and Implementations (WOMPEI 2003)
作者: Umatani, S Yasugi, M Komiya, T Yuasa, T Kyoto Univ Grad Sch Informat Dept Commun & Comp Engn Sakyo Ku Kyoto 6068501 Japan
Modern multithreaded languages axe expected to support advanced features such as thread identification for java-style locks and dynamically-scoped synchronization coupled with exception handling. However, supporting t... 详细信息
来源: 评论
java resources for teaching reinforcement learning
Java resources for teaching reinforcement learning
收藏 引用
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications
作者: Kerr, Amy J. Neller, Todd W. La Pilla, Christopher J. Schompert, Michael D. Gettysburg College Department of Computer Science Campus Box 402 Gettysburg PA 17325 United States
In this paper we present a library of classes for programming reinforcement learning simulations in java. This library is based upon the standard by Sutton and Santamaria [1], with valuable additions to simplify the i... 详细信息
来源: 评论
Teaching software testing: Automatic grading meets test-first coding
Teaching software testing: Automatic grading meets test-firs...
收藏 引用
18th Annual ACM SIGPLAN Conference on Object-Oriented programming, Systems, languages, and Applications, OOPSLA'03
作者: Edwards, Stephen H. Virginia Tech Dept. of Computer Science 660 McBryde Hall Blacksburg VA 24061 United States
A new approach to teaching software testing is proposed: students use test-driven development on programming assignments, and an automated grading tool assesses their testing performance and provides feedback. The bas... 详细信息
来源: 评论
Client-server java programming for wireless mobile robots
Client-server Java programming for wireless mobile robots
收藏 引用
41st Aerospace Sciences Meeting and Exhibit 2003
作者: Long, Lyle N. Sharma, Anupam Souliez, Frederic Department of Aerospace Engineering The Pennsylvania State University United States BMW Munich Germany
A client-server application for the remote control of a wireless mobile robot (a small four-wheel vehicle) is described. The application requires an onboard computer (e.g. a PC-104 or a laptop) running a java Virtual ... 详细信息
来源: 评论