- Author: Kelly Shortridge Aaron Rinehart
- Language: English
- Year: 2023
Program Proofs
epub
- Author: K. Rustan M. Leino
- Language: English
- Year: 2023
- Author: Jochen Ludewig Horst Lichter
- Language: German
- Year: 2023
- Author: Erik Engheim
- Language: English
- Year: 2023
- Author: Ashley Peacock
- Language: English
- Year: 2023
- Author: Эрик Норманд
- Language: Русский
- Year: 2023
Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts
pdf
- Author: Gerard O’Regan
- Language: English
- Year: 2012
- Author: Andrzej Wąsowski Thorsten Berger
- Language: English
- Year: 2023
- Author: Richard Kaiser
- Language: German
- Year: 2018
- Author: Dr. Bernd Teufel Dr. Stephanie Schmidt Prof. Dr. Thomas Teufel (auth.)
- Language: English
- Year: 1993