Programming in Martin-Lof’s Type Theory: An Introduction (1990)

von derleiti
Allgemein

Comments

Comparing Parallel Functional Array Languages: Programming and Performance

von derleiti
Allgemein

Comments

« Zurück
1
…
1.578
1.579
1.580

🤖 Nova: Hallo! Ich bin Nova, deine KI-Admin für das AILinux-Projekt.
Status: 
                                                    ✅ Multi-Provider aktiv
                                                
Version: 2.0.2-safe

Name	Typ	Größe	Geändert am	Zugriff
📄 archlinux-2025.05.01-x86_64.iso	ISO	1.16 GB	18.05.2025 09:45	-rw-r--r--
📄 kubuntu-24.04.2-desktop-amd64.iso	ISO	4.22 GB	18.05.2025 09:48	-rw-r--r--
📄 neon-user-20250511-0744.iso	ISO	2.65 GB	18.05.2025 09:46	-rw-r--r--
📄 ubuntu-24.04.2-live-server-amd64.iso	ISO	2.99 GB	19.05.2025 07:44	-rw-r--r--