Skip to Content
STAX
Toggle navigation
STAX
Anmeldung
Startseite
Impressum
Hilfe
Kontakt
Suche STAX
Suchen
Suchen
Filter löschen
Filtern nach:
Schöpfer
Ramsay, Craig
Filter Schöpfer: Ramsay, Craig 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
[remove]
1
Mitwirkender
Crockett, Louise
1
Engineering and Physical Sciences Research Council
1
Stewart, Bob
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
1