学术和行政管理平台 fenixedu

码农软件 · 软件分类 · 企业ERP/CRM · 2020-02-18 18:42:04

软件介绍

======

FenixEdu 是个学术和行政管理的高级教育机构的模块化软件平台,提供了涵盖所有级别学术管理过程的解决方案:从高级管理任务到学生,教师和行政人员的日常沟通。 其他相关的工具平台支持很多的行政管理过程,比如采购,资源管理和质量保证。这个平台的分布式特性让相关的人员得到有效的沟通,大大提高了工作的效率。

FenixEdu 平台提供一个 REST API ,带有基于 OAuth 2.0 的强认证,这提高了现有系统的互操作性,如企业资源规划(ERP)和内容管理系统(CMS)。

本文地址:https://codercto.com/soft/d/25903.html

程序设计语言理论基础

程序设计语言理论基础

米切尔 / 电子工业出版社 / 2006-11 / 68.00元

本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统,它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材,同时也适合用于......一起来看看 《程序设计语言理论基础》 这本书的介绍吧!

HTML 压缩/解压工具
HTML 压缩/解压工具

在线压缩/解压 HTML 代码

随机密码生成器
随机密码生成器

多种字符组合密码

Markdown 在线编辑器
Markdown 在线编辑器

Markdown 在线编辑器