XiaoMi-AI文件搜索系统
World File Search SystemBerlage
2025/26 冬季学期
模块 ID 模块标题 教师组描述 1212328 模型检查 Katoen 软件建模与验证（计算机科学 2） 链接 1212646 并发理论 Noll 软件建模与验证（计算机科学 2） 链接 1212341 可满足性检查 Ábrahám 混合系统理论 链接 1215686 基于模型的软件工程 Rumpe 软件工程（计算机科学 3） 链接 1222882 基于模型的系统工程 Rumpe 软件工程（计算机科学 3） 链接 1215755 作为物联网一部分的车辆数字生命周期 Fischer 软件工程（计算机科学 3） 链接 1212349 通信系统工程 Thißen 研究中心计算机科学/ COMSYS 链接 1227956 工业网络安全 Henze 工业合作中的安全和隐私 链接 1212675 语义网 Decker 信息系统和数据库（计算机科学 5） 链接 1211393 知识库的逻辑 Lakemeyer 基于知识的系统 链接 1215692 数据库的实现 Geisler 数据流管理和分析 链接 1211903 生物信息学简介 Berlage 生命科学信息学 链接 1229157 社会和技术变革 Geffner 机器学习和推理（计算机科学 6） 链接 1230106 自动语音识别基础 Schlüter 机器学习和人类语言技术 链接 1212336 无限计算和游戏 Löding 离散系统的逻辑和理论（计算机科学 7） 链接 1212310 计算机图形学的基本技术 Kobbelt 计算机图形学、几何和多媒体（计算机科学 8） 链接 1215862 基于物理的动画 Bender 计算机动画 链接 1216861 数据科学简介 van der Aalst 过程和数据科学（计算机科学 9） 链接 1211914 网络技术入门 Schroeder 学习技术 链接 1229150 业务流程建模与计算 Leemans 业务流程管理基础与工程 链接 1227457 业务流程管理基础 Leemans 业务流程管理基础与工程 链接 1212666 逻辑控制软件的形式化方法 Kowalewski 嵌入式软件（计算机科学 11） 链接 1215720 高性能计算简介 Müller 高性能计算（计算机科学 12） 链接 1211909 虚拟现实 (VR I) 简介 Kuhlen 虚拟现实与沉浸式可视化 链接 1215744 机器学习 Leibe 计算机视觉（计算机科学 13） 链接 1211921 计算机视觉 2 Leibe 计算机视觉（计算机科学 13） 链接1229347 后量子密码学 Unruh 量子信息系统 (计算机科学 15) 链接