tu-wien
Here are 37 public repositories matching this topic...
MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.
-
Updated
Jun 26, 2023 - Haskell
Course "Verteilte Systeme" at Vienna University of Technology
-
Updated
Jan 14, 2015 - Java
Course "Verteilte Systeme" at Vienna University of Technology
-
Updated
Jan 21, 2015 - Java
Course "Betriebssysteme" at Vienna University of Technology
-
Updated
Jan 23, 2016 - C
Course "Funktionale Programmierung" at Vienna University of Technology
-
Updated
Feb 18, 2014 - Haskell
A summery of example fortran programs loosely centered around the lecture "numerical methods and simulation" at the TU Wien.
-
Updated
Feb 23, 2022 - Fortran
Adds a download button to LectureTube by TU Wien
-
Updated
May 5, 2017 - JavaScript
Course "Digital Preservation - Übung" at Vienna University of Technology
-
Updated
Jun 30, 2016 - Java
This project aims to retrieve and analyze satellite-based Advanced Scatterometer (ASCAT) data and in-situ International Soil Moisture Network (ISMN) data for the estimation of soil moisture. The project will simulate a real-world experiment to ensure that the data and results can be easily shared, understood, and reused.
-
Updated
Jan 9, 2024 - Jupyter Notebook
Course "Programmierpraxis" at Vienna University of Technology
-
Updated
Mar 22, 2012 - Java
Course "Algorithmen und Datenstrukturen 1" at Vienna University of Technology
-
Updated
Jun 23, 2013 - Java
Course "Datenbanksysteme" at Vienna University of Technology
-
Updated
Feb 18, 2014 - Java
Course "Verteilte Systeme" at Vienna University of Technology
-
Updated
Jan 21, 2015 - Java
Density Manipulator & Bootstrap Calculator
-
Updated
Dec 25, 2023 - Python
Improve this page
Add a description, image, and links to the tu-wien topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tu-wien topic, visit your repo's landing page and select "manage topics."