在2019年夏季学期的编程练习中开发的解决方案和更多内容,
Solutions and some more stuff developed during Programmierung exercises of summer term 2019, (2020-05-03, TeX, 0KB, 下载0次)
C程序员的编程工具和技术,
Programming tools and techniques for C programmers, (2017-06-01, TeX, 0KB, 下载0次)
介绍我们的答案集编程工具,重点是gringo、clinco和chip。,
An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp., (2023-07-13, TeX, 0KB, 下载0次)
用于识字编程的noweb工具,
The noweb tool for literate programming, (2023-08-11, TeX, 0KB, 下载0次)