热门搜词
建筑大数据
工程监管
大数据+
数据价值
建设领域
云计算
地下综合管廊
BIM技术
一带一路
建设工程
建筑业
建筑施工
建筑工程
海绵城市
装配式建筑
它包括DrScheme编程环境中，虚拟机与公正实时编译器，为建立独立的可执行文件，PLT的计划，Web服务器，丰富的图书馆，为初学者和专家的文件，更多的工具。
它支持通过创造新的编程语言，丰富的，表现的语法系统。例如语言包括类型的计划，ACL2，FrTime，懒惰的计划，并ProfessorJ（这是一个Java的教学方言）。 2100433B
