Treffer
1 - 5
Treffer von
5
für Suche '
"Abstraktion"
'
Weiter zum Inhalt
Toggle navigation
Hilfe
de
en
de
miami
Publikationsserver der Universität Münster
Einfache Suche
Erweiterte Suche
Suchen
Behalte die Filtereinstellungen.
ulb_affiliation_facet:"FB 10: Mathematik und Informatik"
Scroll
Suche: "Abstraktion"
Treffer
1 - 5
Treffer von
5
für Suche '
"Abstraktion"
'
, Suchdauer: 0,07s
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Person/Institution
Titel
Nach miami-Publikationsdatum, absteigend
Nach miami-Publikationsdatum, aufsteigend
Alles auswählen
Auswahl:
1
Dissertation/Habilitation
Right-angled buildings and locally compact groups
Beßmann, Lara
2023
Volltext
2
Dissertation/Habilitation
Representation theory of unipotent linear algebraic groups and a generalized Kirillov theory for a class of nilpotent groups
Klüver, Helma C.
2006
Volltext
3
Dissertation/Habilitation
Security Through Safety - An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behaviour
Nordhoff, Benedikt
2021
Schlagwörter:
“
...Informationsfluss Programmanalyse Formale Methoden Informationsflusssicherheit
Abstrakte
...
”
Volltext
4
Dissertation/Habilitation
Etale (Phi, Gamma)-modules with values in linear algebraic groups
Kley, Marius
2019
Volltext
5
Dissertation/Habilitation
Fach- und bildungswissenschaftliche Grundlagen für den Informatikunterricht in der Sekundarstufe I
Pasternak, Arno
Volltext
Alles auswählen
Auswahl:
Suchwerkzeuge:
RSS-Feed abonnieren
Suche einschränken
Suchfilter entfernen
Filter aufheben
FB/Einrichtung: FB 10: Mathematik und Informatik
OpenAccess
Open Access
5
Dokumenttypen
Dissertation/Habilitation
5
Personen
Beßmann, Lara
1
Echterhoff, Siegfried
1
Kley, Marius
1
Klüver, Helma C.
1
Kramer, Linus
1
Müller-Olm, Markus
1
Nordhoff, Benedikt
1
Pasternak, Arno
1
Schneider, Peter
1
Vahrenhold, Jan
1
FB/Einrichtung
FB 10: Mathematik und Informatik
Schlagwörter
Darstellungstheorie
2
Abstrakte Interpretation
1
Arithmetik
1
Automatische Stetigkeit
1
Automorphismengruppe
1
Didaktik
1
Formale Methoden
1
Galois theory
1
Galoistheorie
1
Informatik
1
Informationsfluss
1
Informationsflusssicherheit
1
Kirillov-Theory
1
Kontextorientierung
1
P-adic Hodge theory
1
P-adische Hodge-Theorie
1
PDG
1
Pflichtfach
1
Polish groups
1
Programmanalyse
1
Schule
1
Unipotente Gruppe
1
Verifikation
1
Witt Gruppen
1
abstract-interpretation
1
algebraic groups
1
algebraische Gruppen
1
arithmetic
1
automatic continuity
1
automorphism group
1
Fachgebiete
Mathematik
3
Informatik, Informationswissenschaft, allgemeine Werke
2
Bildung und Erziehung
1
Erscheinungsjahr
2023
1
2021
1
2019
1
2006
1
Medientypen
Text
5
×
Wird geladen...