java非常有趣的案例研究，对抢劫罪的情况下，更有趣的案例…

Great SMT solver that pretty much solves problems that SMT solvers do.

java 到c的转换程序的原代码.对喜欢C程序而不懂JAVA程序的人很有帮助-The source code used for transferring Java code to C code. It s very helpful for people who know C programming well but don t know Java programming.

设计一个软件的启动过程界面，有软件的名称、版本信息等，有软件公司的主标识、公司名名称，附带有对软件使用者的问候。用动画实现程序启动的过程，彩色进度条表示出程序启动的百分比。模仿微软公司的四色旗帜标志，富有动感，色彩鲜艳。可将图形用于软件的启动过程中，增加软件的人性化，是软件界面更美观。-design of a software startup process interface, the name of the software, version information, software companies as the main logo, company name names, a pair of fringe software users greetings. Using animation to achieve startup process, the progress of color expressed as a percentage of commencement of proceedings. Copying Microsoft"s four-color banner signs, exciting and colorful. Graphics can be used to start the process of the software, add software user-interface software is more attractive.

java聊天程序。java源码~~~。学习使用java的帮手-java chat program. java source ~ ~ ~. Learn how to use java helper

功能： 1，1套完美的学生/老师登陆系统 2，老师可增加/删除科目，学科等信息 3，可增加/删除学生信息 4，分5个版块：[学生资料管理] [学生成绩管理] [系统设置] [查询与报表] [操作员管理] [退出] 使用说明： 程序含3个文件夹，1个是CSS，1个是图片，1个JSP安装配置，使用起来很简单的-Function: sets the perfect 1,1 Student/teacher 2 landing system, teachers can increase/delete subjects, subjects 3 and other information, can increase/delete student information 4, sub-section 5: [student data management] [student achievement management ] [System Settings] [Query and statements] [operator management] [Exit] Usage: procedure containing three folders, one is the CSS, 1 is the pictures, install a JSP configuration, use very simple

用图形界面实现Timer，可以设置时间段，可以关闭和启动Timer用任意键完成。-use graphical interface to achieve Timer can be set-up time of the closing and can be activated with Timer arbitrary keys completed.

银行模拟P端源码，如果发现了BUG请与我联系-Bank of simulation P-side source code, if we find a BUG, please contact me

这个是超市管理程序 涉及到数据库编程 一个很好的学习例子-This is a supermarket management procedures related to database programming a good example of learning

这是一个JSP的网上书店，当初是练习JSP而写的。虽然软件很小，但五脏俱全-This is a JSP online bookstore, which originally was practicing JSP and writes. Although the software is very small, but perfectly formed

图形化显示文件选择框-graphical display of file selection box