Zum Hauptinhalt springen

Suchergebnisse

UB Katalog
Ermittle Trefferzahl…

Artikel & mehr
11 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

11 Treffer

Sortierung: 
  1. Beneš, Tomáš ; Kekely, Lukáš ; et al.
    In: BENEŠ, T. Prostředí pro funkční verifikaci multi-sběrnic podle UVM standardu [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2022, 2022
    Online Hochschulschrift
  2. Krajčír, Stanislav ; Zachariášová, Marcela ; et al.
    In: KRAJČÍR, S. Funkční verifikace robotického systému pomocí UVM [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2015, 2015
    Online Hochschulschrift
  3. Horký, Jakub ; Hruška, Tomáš ; et al.
    In: HORKÝ, J. Integrace formálních technik do procesu verifikace procesoru RISC-V [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020, 2020
    Online Hochschulschrift
  4. Tichý, Andrej ; Zachariášová, Marcela ; et al.
    In: TICHÝ, A. Automatizace tvorby scénářů přenositelných stimulů pomocí evolučních algoritmů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020, 2020
    Online Hochschulschrift
  5. Vavro, Tomáš ; Martínek, Tomáš ; et al.
    In: VAVRO, T. Periferie procesoru RISC-V [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2021, 2021
    Online Hochschulschrift
  6. Peroutka, Ondřej ; Dvořák, Vojtěch ; et al.
    In: PEROUTKA, O. Verifikace digitálního obvodu Microcore GNSS Baseband [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2018, 2018
    Online Hochschulschrift
  7. Badáň, Filip ; Zachariášová, Marcela ; et al.
    In: BADÁŇ, F. Automatizace verifikace řízené pokrytím pro procesory ASIP [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2016, 2016
    Online Hochschulschrift
  8. Fajčík, Martin ; Zachariášová, Marcela ; et al.
    In: FAJČÍK, M. Automatizace verifikace pomocí neuronových sítí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017, 2017
    Online Hochschulschrift
  9. Bardonek, Petr ; Zachariášová, Marcela ; et al.
    In: BARDONEK, P. Specifikace scénářů portovatelných stimulů pro moduly procesoru RISC-V [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2018, 2018
    Online Hochschulschrift
  10. Řeháková, Martina ; Simová, Jozefína
    2011
    Hochschulschrift
  11. Dráb, David ; Antlová, Klára
    In: http://knihovna-opac.tul.cz/diplomovaPrace.php?id_dipl=33506, 2016
    Hochschulschrift
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -