【招生专栏】2017，遇见涉外——广州涉外经济职业技术学院招生简介
软件技术培养目标与就业方向：培养掌握国际主流的软件开发方法和工具，符合软件行业对软件设计师、系统架构师和软件项目经理等职位的基本要求，能从事Java开发工程师、.net开发工程师、移动（Android)开发工程师、软件架构师、软件测试工程师、网站开发工程师、软件维护技术员等工作。主要课程：数据库技术与应用、面向对象程序设计、C#程序设计、JAVA程序设计、移动应用软件开发、软件测试、软件项目管理、MML建模技术、企业项目实训、数据库系统设计与开发项目实训等。
关于做好西青区“千人圆梦计划”2018年 秋季报名工作的通知
如果没查询到前置学历信息，一般是2001年前毕业的老毕业证，需要到天津市大中专毕业生就业指导中心进行学历认证，认证时间一般一个月左右。地址：天津市南开区黄河道474号，请用手机拍照，孟老师
东北师范大学人文学院专业介绍
主干课程：视觉传达设计、数字媒体艺术、面向对象程序设计、数据结构、动画设计与制作、软件技术基础、Java程序设计、多媒体技术、计算机图形与图像、游戏概论、数字音视频处理、流媒体技术、计算机网络、多媒体数据库、脚本编程技术、数字娱乐软件开发与测试、人工智能技术应用、嵌入式操作系统、人机交互技术、虚拟现实技术、影视编导等。
南开大学远程教育2018年春季班招生简章
（一）（二）、企业管理概论、市场营销、生产运营管理、中国税制、技术基础、网页制作、物流管理、案例、法律基础与职业道德、组织理论、初级宏观经济学、初级微观经济学人力资源管理旅游管理旅游消费行为、旅游学概论、旅游地理学、旅游市场学、旅行社经营管理、导游规程与技巧、景区运营与管理、休闲经济管理、旅游度假村经营实务旅游管理（国际酒店方向）计算机应用技术计算机科学导论、计算机网络基础、信息处理技术、Java语言程序设计、Web页面设计、局域网组网原理、C语言程序设计、面向对象程序设计、高等数学药学药学概论、无机分析化学、有机化学、药物合成反应、药物化学、生药学、天然药物化学、人体生理学、药用植物学专科起点本科经济学国际经济学、国际金融、
2018年南开远程教育秋季班报名9月7日结束！
、Web页面设计、局域网组网原理、C语言程序设计、面向对象程序设计、高等数学药学药学概论、无机分析化学、有机化学、药物合成反应、药物化学、生药学、天然药物化学、人体生理学、药用植物学专科起点本科经济学国际经济学、国际金融、经济学原理、经济法、证券市场基础、初级博弈论、西方经济学（宏观）、西方经济学（微观）、金融衍生工具入门金融学证券投资学、证券市场基础、金融工程学、信托与租赁、个人理财、网络金融学、国际金融、证券投资学、公司理财保险学保险法、保险经营管理、财产保险、保险学原理、风险管理、人身保险、再保险、保险会计国际经济与贸易国际经济学、国际贸易实务、国际商法、国际市场营销学、货币银行学、外贸单证实务、西方经济学（宏观）、西方经济学（微观）
辽宁省2018年下半年自学考试课程使用教材信息表
的程序设计《VisualBasic程序设计（第二版）》电子工业出版社周霭如商业法规《商业法律与法规》中国物资出版社方名山连锁经营原理与管理技术《连锁经营管理原理与实务
2019年4月福建自考专业课程考试时间安排表
（一）02326操作系统03709马克思主义基本原理概论04735数据库系统原理02197概率论与数理统计(二)02325计算机系统结构04737C++程序设计00015英语(二)00023高等数学(工本)02333软件工程04741计算机网络原理*0网络工程（本科）*0计算机网络(独立本科段)福州大学02331数据结构02335网络操作系统03708中国近现代史纲要04747Java语言程序设计（一）03709马克思主义基本原理概论04735数据库系统原理04749网络工程02379计算机网络管理04751计算机网络安全00015英语(二)00023高等数学(工本)03142互联网及其应用04741计算机网络原理
【技术开放日】成都链安科技杨霞：智能合约安全问题及自动形式化验证平台VaaS
形式化验证是通过数学推理的方式保证一定不存在指定属性的安全问题、或者一定存在指定安全属性的问题，并且同时满足功能正确性。这套方法最早用在航空、航天等安全关键领域，国际标准（CC标准）的EL5之上都要求形式化验证，我个人也参与了一些CC安全标准的一些工作。区块链系统是大量的资金交易系统，资金交易里关键程序一旦出了问题，后果是无法挽回的，所以形式化验证天生就适合于区块链安全保障。我们努力尝试，将形式化验证更加适合于工业应用、更加的自动化。因此，我们研发了一套面向智能合约的高度自动化的形式化验证平台，
