Skip to Content
STAX
Toggle navigation
STAX
Anmeldung
Startseite
Impressum
Hilfe
Kontakt
Suche STAX
Suchen
Suchen
Filter löschen
Filtern nach:
Mitwirkender
Stewart, Bob
Filter Mitwirkender: Stewart, Bob entfernen
Datum
2023
Filter Datum: 2023 entfernen
1
Eintrag gefunden
Ordnen nach relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Anzahl der Ergebnisse, die pro Seite angezeigt werden
10 pro Seite
10
pro Seite
20
pro Seite
50
pro Seite
100
pro Seite
Ergebnisse ansehen als:
Liste
Gallery
Slideshow
Suchergebnisse
Toatie : functional hardware description with dependent types
Schöpfer:
Ramsay, Craig
Datum:
2023
Funder:
Engineering and Physical Sciences Research Council
Department, School or Faculty:
Software Defined Radio Research Laboratory, Department of Electronic and Electrical Engineering, and Faculty of Engineering
Toggle facets
Suche beschränken
Art
Thesis
1
Ressourcentyp
Doctoral thesis
1
Schöpfer
Ramsay, Craig
1
Mitwirkender
Crockett, Louise
1
Engineering and Physical Sciences Research Council
1
Stewart, Bob
[remove]
1
Geldgeber
Engineering and Physical Sciences Research Council
1
Abteilung, Schule oder Fakultät
Department of Electronic and Electrical Engineering
1
Faculty of Engineering
1
Software Defined Radio Research Laboratory
1
Datum
2023
[remove]
1