Theoretische Informatik

zu den Filteroptionen

Volltext verfügbar
Alpha avoidance
Frontull, Samuel
Innsbruck, 7 September 2021
Volltext verfügbar
Amortized resource analysis for term rewrite systems
Schneckenreither, Manuel
Innsbruck, 17 July 2018
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, Victoria
Innsbruck, August 2019
Volltext verfügbar
Analyzing shadow IT Reddit threads using machine learning NLP tools to develop a data-driven theoretical framework on individual use of Shadow IT
Kumar, Animesh
Innsbruck, June 2022
Das Dokument ist auf Wunsch des Urhebers/der Urheberin online nicht zugänglich
Artificial intelligence and domain-specific languages for interactive theorem proving
Nagashima, Yutaka
Innsbruck, 5 December 2020
Volltext verfügbar
Automated conditional nonreachability
Meßner, Florian Georg
Innsbruck, 27 October 2020
Volltext verfügbar
Certified ACKBO
Lochmann, Alexander
Innsbruck, 29 March 2019
Volltext verfügbar
Certifying termination proofs of LLVM IR programs
Haslbeck, Maximilian
Innsbruck, 2022
Volltext verfügbar
Classic nintendo games are completely hard
Lindsberger, Josef
Innsbruck, 28 December 2015
Volltext verfügbar
Confluence of term rewriting
theory and automation
Felgenhauer, Bertram
2015
Das Dokument ist auf Wunsch des Urhebers/der Urheberin online nicht zugänglich
Describing classical spin Hamiltonians as automata
Drexel, David
Innsbruck, August 21, 2020
Volltext verfügbar
Extending tools for confluence and related properties of rewrite systems
Mitterwallner, Fabian Sebastian
Innsbruck, 7 August 2020
Volltext verfügbar
Fewest common hops (FCH)
an improved peer selection approach for P2P applications
Ijaz, Humaira
Innsbruck, March 2016
Das Dokument ist auf Wunsch des Urhebers/der Urheberin online nicht zugänglich
Formal foundations for game theory
Parsert, Julian
Innsbruck, 23 July 2019
Volltext verfügbar
Funktionale Modellierung mit Haskell in Theorie und Praxis an allgemeinbildenden höheren Schulen
Gasser, Tobias Martin
Innsbruck, 5. Mai 2019
Volltext verfügbar
Implementation and evaluation of optimizations for verified SMT solving
Cvjetkovic, Bojan
Innsbruck, 24 June 2019
Volltext verfügbar
Instantiation-based First-Order Theorem Proving with Equality
Maringele, Alexander
Innsbruck, 2023
Volltext verfügbar
Investigating the process of process modeling with a step categorization
Salcher, Deborah
Innsbruck, May 24, 2018
Volltext verfügbar
Learning proof search in proof assistants
Färber, Michael Roman
Innsbruck, 31 July 2018
Volltext verfügbar
Learning-assisted reasoning within proof assistants
Gauthier, Thibault Andre Jean-Louis
Innsbruck, 1 August 2018

Filter

Inhalt

32 Titel in Basisklassifikation ›› Informatik ›› Theoretische Informatik