MagicSearch.NET is a website for searching anything you want :D

Found 6 items for idris in 0.001s.

All Books (6)
By Time By Size By Relavance

  • Sitnikovski B. Gentle Introduction to Dependent Types with Idris 2022.pdf 2.5 MB
  • Sitnikovski B. Introducing Software Verification...Dafny...2022.pdf 2.4 MB
  • Sitnikovski B. Introduction to Dependent Types with Idris...2023.pdf 1.3 MB
  • ....
Files: 3 Total size: 6.2 MB Total requests: 211 Last access time: 6 days, 10 hours
  • Idris I. - NumPy Cookbook - 2012.epub 5.0 MB
  • Idris I. - NumPy Cookbook - 2012.pdf 2.5 MB
  • ....
Files: 2 Total size: 7.5 MB Total requests: 1207 Last access time: 1 day, 8 hours
  • Johnson R. Idris Unleashed. Type-Driven Development..Functional Programming 2024.pdf 2.0 MB
  • ....
Files: 1 Total size: 2.0 MB Total requests: 412 Last access time: 2 days, 3 hours
  • Instant Pygame for Python Game Development How-to/Instant Pygame for Python Game Development How-to - Idris, Ivan.epub 910.5 KB
  • Instant Pygame for Python Game Development How-to - Idris, Ivan.png 186.1 KB
  • Instant Pygame for Python Game Development How-to/Instant Pygame for Python Game Development How-to - Idris, Ivan.jpg 39.5 KB
  • About The Book.txt 3.1 KB
  • Instant Pygame for Python Game Development How-to/Instant Pygame for Python Game Development How-to - Idris, Ivan.opf 1.3 KB
  • ....
Files: 5 Total size: 1.1 MB Total requests: 292 Last access time: 2 hours, 53 minutes
  • Zeitgenössische Physiker und die Existenz Gottes. Von Ja’far Sheikh Idris. German.pdf 217.2 KB
  • ....
Files: 1 Total size: 217.2 KB Total requests: 342 Last access time: 2 hours, 3 minutes
  • Ivan Idris - Python Data Analysis Cookbook - 2016.pdf 9.1 MB
  • ....
Files: 1 Total size: 9.1 MB Total requests: 564 Last access time: 2 days, 11 hours