崔梦天,韩伟著2012 年出版133 页ISBN:9787561457290
本书从软件实际开发过程出发,将形式化技术应用于每个开发阶段,系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法,其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
万晓峰,乐嘉龙编2007 年出版131 页ISBN:7508352793
本图集是一本介绍高新科技开发区科技产业厂房建筑的实用工具书,系统介绍了科技产业厂房建筑的设计与环境设计,全书以图为主、以文为辅,图文并茂,实例中包括平面图、立面图、剖面图、鸟瞰图等。...
梁斌,罗胜涛主编;李宝智,张广生,黄炎波,邬厚民编著2015 年出版249 页ISBN:9787118098945
本书介绍了网络教育资源概述,网络开发技术与网络教育资源开发技术简介,基于ASP.NET的学习登录系统的设计与开发、教学留言版的设计与开发、教学论坛的设计与开发、考试系统的设计与开发,网络课程开发,网络教学...
曾波,周雪玉,孟伟编著2009 年出版153 页ISBN:9787562447764
本实验教材系统介绍了电子商务系统的WEB(基于JSP)开发技术,主要从理论讲解和实验内容两个方面来展开。内容包括:JSP的WEB服务器的安装和配置、Eclipse的使用、Servlet、JSP的语法结构和生命周期、JSP的脚本指令...
金其荣主编2005 年出版399 页ISBN:7301093918
本书作为《体育与健康·理论教程》的配套教材,是在华东政法学院教务处、人文学院的关心和支持下,由体育教研室的全体教师联合主持编写。全书分为十八章,对身体素质、篮球、排球、足球、棒球、乒乓球、拳击、散...
王旭东,何荣希主编2011 年出版288 页ISBN:9787563225316
通信原理是信息学科通信工程、电子工程和电子信息科学与技术三个本科专业的主干课。本书共十章,内容包括通信系统概论、随机信号分析、模拟调制系统、数字基带传输系统、模拟信号的数字化、数字信号的频带传...
马晓晨,王贺艳主编2004 年出版169 页ISBN:7113060455
本书为高等院校计算机基础课程实验实训教材,以培养和提高学生操作能力为主要目的。本书符合计算机等级考试教学大纲的要求,可以和各种与本书内容相近的计算机基础教材配套使用。...
(英)克里斯·帕特莫尔著;李琦,冯文静译2006 年出版144 页ISBN:7532248887
本书介绍影视制作全过程。