< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
用于求解大型稀疏线性方程组Ax=b的数值计算库.
上传时间: 2014-01-04
上传用户:稀世之宝039
重点介绍了C + + B u i l d e r集成开发环境,以便读者在创建应用程序时能充分利用其强大的功能,从而达到事半功倍的效果。
标签: 集成开发环境
上传时间: 2013-12-25
上传用户:zsjzc
OCMJ(奥可拉中文集成模块)B 系列液晶显示器中断法显示程序
上传时间: 2014-09-08
上传用户:qunquan
Altium Designer常用器件集成库PCB封装库原理图库3D库元件库集成库原理图器件型号列表:76个13W3 2N7002 74HC0474HC0874HC244D74HC595 74LS138 80508550 8P4R_0603ADM2582EADM3053AS5145B AT24C02BAT54SBUZZ BatteryCCT6806CD4001CD4053CapacitorDS18B20Diode Diode SchottkyFP6101FT2232DFUSEHMC5883LINA118IR2010IR2101SIR2136SIRF1010EIRFP7404ISO7240InductorLEDLF444LG9110SLM339LM393LMV7239MAX232MCP2551MCP6022MCP6024MPU6050Mic2941Micro SD CardMicro USBNuMicro-M051OPTOISOIPESDxS2UATPT2272PVI1050PhonejackResistanceSN65VHD230STC12LE5202STM32F103CBT6STM32F103RBT6STM32F103VCT6STM32F407VSwitchTJA1050TLV5638ITMS320F28035PAGTMS320F28035PNTOP242U18UC3854ULN2803USB A-BVBUS Xtal 集成库PCB封装列表:76个8P4R_060313W30805DBC04-BBT_CR1220BUZZC0201C0402C0603C0805C1206CD127CPX-32CRYSTALD1206DC-0003DC-0005DIP-4DIP-6DIP-8DO-201ADDO-214AADO-214ABDO-214ACF5mmFUSEFUSE_001FUSE_LFUSE2HC-49/U-SHDRX3L-330uHLCC-24NLPCC-16NLQFP-48LQFP-64LQFP-80Micro SD CardMicro USBR0201R0402R0603R0805R1206R1210R2512SDRH5D18-220NSIP-3SMD CRYSTALSMD-8SOIC-4SOIC-8SOIC-14SOIC-16SOIC-16WSOIC-18SOIC-20SOIC-24SOIC-28SOT-23SOT23-5SOT23-6SWSwitch1TD-19XATO-92TO-92ATO-220-2TO-220ATO-220BTO-247ACTO-263-5TQFP-100TSSOP-16USB DIPUSB-A
标签: altium designer pcb
上传时间: 2022-02-12
上传用户:tqsun2008
STM32 F1系列 MCU ATIUM AD集成库 原理图库 PCB 3D封装库文件,STM32F1XXXXX全系列原理图+PCB封装库文件,共209个器件型号,CSV text has been written to file : STM32 F1.csvLibrary Component Count : 209Name Description----------------------------------------------------------------------------------------------------STM32F100C4T6B STM32 ARM-based 32-bit MCU Value Line with 16 kB Flash, 4 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 48-Pin LQFP, TraySTM32F100C4T7B STM32 ARM-based 32-bit MCU Value Line with 16 kB Flash, 4 kB Internal RAM, Internal Code B, -40 to +105癈 Temperature, 48-Pin LQFP, TraySTM32F100C6T6B STM32 ARM-based 32-bit MCU Value Line with 32 kB Flash, 4 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 48-Pin LQFP, TraySTM32F100C6T6BTR STM32 ARM-based 32-bit MCU Value Line with 32 kB Flash, 4 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 48-Pin LQFP, Tape and ReelSTM32F100C6T7B STM32 ARM-based 32-bit MCU Value Line with 32 kB Flash, 4 kB Internal RAM, Internal Code B, -40 to +105癈 Temperature, 48-Pin LQFP, TraySTM32F100C8T6B STM32 ARM-based 32-bit MCU Value Line with 64 kB Flash, 8 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 48-Pin LQFP, TraySTM32F100C8T6BTR STM32 ARM-based 32-bit MCU Value Line with 64 kB Flash, 8 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 48-Pin LQFP, Tape and ReelSTM32F100CBT6B STM32 ARM-based 32-bit MCU Value Line with 128 kB Flash, 8 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 48-Pin LQFP, TraySTM32F100CBT7B STM32 ARM-based 32-bit MCU Value Line with 128 kB Flash, 8 kB Internal RAM, Internal Code B, -40 to +105癈 Temperature, 48-Pin LQFP, TraySTM32F100R4H6B STM32 ARM-based 32-bit MCU Value Line with 16 kB Flash, 4 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 64-Pin TFBGA, TraySTM32F100R4T6B STM32 ARM-based 32-bit MCU Value Line with 16 kB Flash, 4 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 64-Pin LQFP, TraySTM32F100R4T6BTR STM32 ARM-based 32-bit MCU Value Line with 16 kB Flash, 4 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 64-Pin LQFP, Tape and ReelSTM32F100R6H6B STM32 ARM-based 32-bit MCU Value Line with 32 kB Flash, 4 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 64-Pin TFBGA, TraySTM32F100R6T6 STM32 ARM-based 32-bit MCU Value Line with 32 kB Flash, 4 kB Internal RAM, -40 to +85癈 Temperature, 64-Pin LQFP, TraySTM32F100R6T6B STM32 ARM-based 32-bit MCU Value Line with 32 kB Flash, 4 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 64-Pin LQFP, TraySTM32F100R6T6BTR STM32 ARM-based 32-bit MCU Value Line with 32 kB Flash, 4 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 64-Pin TFBGA, Tape and ReelSTM32F100R8H6B STM32 ARM-based 32-bit MCU Value Line with 64 kB Flash, 8 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 64-Pin TFBGA, TraySTM32F100R8T6B STM32 ARM-based 32-bit MCU Value Line with 64 kB Flash, 8 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 64-Pin LQFP, TraySTM32F100R8T6BTR STM32 ARM-based 32-bit MCU Value Line with 64 kB Flash, 8 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 64-Pin LQFP, Tape and ReelSTM32F100RBH6B STM32 ARM-based 32-bit MCU Value Line with 128 kB Flash, 8 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 64-Pin TFBGA, TraySTM32F100RBH6BTR STM32 ARM-based 32-bit MCU Value Line with 128 kB Flash, 8 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 64-Pin TFBGA, Tape and ReelSTM32F100RBT6B STM32 ARM-based 32-bit MCU Value Line with 128 kB Flash, 8 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 64-Pin LQFP, TraySTM32F100RBT6BTR STM32 ARM-based 32-bit MCU Value Line with 128 kB Flash, 8 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 64-Pin LQFP, Tape and ReelSTM32F100RCT6B STM32 ARM-based 32-bit MCU Value Line with 256 kB Flash, 24 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 64-Pin LQFP, TraySTM32F100RDT6 STM32 ARM-based 32-bit MCU Value Line with 384 kB Flash, 32 kB Internal RAM, -40 to +85癈 Temperature, 64-Pin LQFP, TraySTM32F100RDT6B STM32 ARM-based 32-bit MCU Value Line with 384 kB Flash, 32 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 64-Pin LQFP, TraySTM32F100RET6 STM32 ARM-based 32-bit MCU Value Line with 512 kB Flash, 32 kB Internal RAM, -40 to +85癈 Temperature, 64-Pin LQFP, TraySTM32F100RET6B STM32 ARM-based 32-bit MCU Value Line with 512 kB Flash, 32 kB Internal RAM, Internal Code B, -40 to +85癈 Temperature, 64-
上传时间: 2022-04-30
上传用户:jiabin
里面有相应的hpunix(HP-UX hpl1000 B.11.00 U 9000/800 (tb)),linux(Red Hat Linux release 9 Kernel 2.4.20-8),windows的头文件、库文件,还有相应的demo程序
标签: release hpunix Kernel HP-UX
上传时间: 2015-01-06
上传用户:cursor
1、本系统采用B/S架构,是学校智能办公系统的一部分,菜单中的“用户管理”、“权限管理”、“菜单管理”、“帮助主题”已集成在办公系统之中,因此本系统不提供这几项功能。 2、本系统采用集中管理、分工合作的方式,将用户分为五个级别,每个级别的用户只能使用相应的功能,因此,能公平、公正、公开地考评各位教师的教学质量。 3、支持多人同时操作和远程操作,大大缩短数据录入时间。 安装和使用注意事项: 1、将压缩文件解压到IIS目录后,运行cjcl目录下的reg.bat。 2、系统内置五个用户:系统管理、学校领导、成绩录入、班主任、一般用户,其中前四个用户的密码均为1,而一般用户在登录页面只需点提交,一般用户只提供查询功能。 3、使用前先由学校领导创建新任务,录入学校信息、教师信息、班信息等,再由班主任录入学生信息,最后由成绩录入员录入学生成绩。 4、在数据库中的user表中更改或增加用户,在jbqx表中更改每个级别的权限。 如有建议或疑问请与作者联系。
标签: 架构
上传时间: 2015-03-11
上传用户:qlpqlq
本系统采用B/S架构,是学校智能办公系统的一部分,菜单中的“用户管理”、“权限管理”、“菜单管理”、“帮助主题”已集成在办公系统之中,因此本系统不提供这几项功能。 2、本系统采用集中管理、分工合作的方式,将用户分为五个级别,每个级别的用户只能使用相应的功能,因此,能公平、公正、公开地考评各位教师的教学质量。 3、支持多人同时操作和远程操作,大大缩短数据录入时间。
标签: 架构
上传时间: 2015-03-16
上传用户:yan2267246
B样条插值,基于散乱数据的B样条插值基本算发。做的动态链接库。
标签: 插值
上传时间: 2015-05-07
上传用户:skhlm