lgl_49112547

android http下载

这是一个在eclipse 下实现的,基于android 平台的,http 下载xml 文件功能

Modeling in EventBSystem and software Engineering

ModelinginEvent-B-SystemandsoftwareEngineeringpdf电子版

Event_BLanguage

本文档是Event-B形式化方法的参考书，书中包含Event-B结构与语法介绍；数学证明；符合表示

xml解析定时提醒

完成从后台异步读取xml文件，解析xml文件，用ListView显示新闻信息，定时提醒功能

java初学课件主要是JSP

主要是JSP页面编程,JSP与HTML共同生成动态页面，网页的布局！