zu den Filteroptionen
- Das Werk ist online nicht zugreifbar
Analyse des Potenzials und Risikos von Big Data im Infrastruktur- und Versorgungssektor am Beispiel der Salzburg AG und Salzburg Netz GmbH
Löker, VictoriaInnsbruck, August 2019 - Das Dokument ist auf Wunsch des Urhebers/der Urheberin online nicht zugänglich
Artificial intelligence and domain-specific languages for interactive theorem proving
Nagashima, YutakaInnsbruck, 5 December 2020 - Das Dokument ist auf Wunsch des Urhebers/der Urheberin online nicht zugänglich
Extending tools for confluence and related properties of rewrite systems
Mitterwallner, Fabian SebastianInnsbruck, 7 August 2020Fewest common hops (FCH)
an improved peer selection approach for P2P applicationsIjaz, HumairaInnsbruck, March 2016- Das Dokument ist auf Wunsch des Urhebers/der Urheberin online nicht zugänglich
Funktionale Modellierung mit Haskell in Theorie und Praxis an allgemeinbildenden höheren Schulen
Gasser, Tobias MartinInnsbruck, 5. Mai 2019Implementation and evaluation of optimizations for verified SMT solving
Cvjetkovic, BojanInnsbruck, 24 June 2019Investigating the process of process modeling with a step categorization
Salcher, DeborahInnsbruck, May 24, 2018Learning-assisted reasoning within proof assistants
Gauthier, Thibault Andre Jean-LouisInnsbruck, 1 August 2018
Filter