Zum Hauptinhalt springen

Suchergebnisse

UB Katalog
Ermittle Trefferzahl…

Artikel & mehr
23 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

23 Treffer

Sortierung: 
  1. Krajčír, Stanislav
    2015
    Hochschulschrift
  2. 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
  3. In: Economia - Commercial Bulletin, 2016-06-16, S. 2
    Zeitungsartikel
  4. In: Economia - Commercial Bulletin, 2016-09-06, S. 1
    Zeitungsartikel
  5. In: Economia - Commercial Bulletin, 2013-04-16, S. 1
    Zeitungsartikel
  6. In: Economia - Commercial Bulletin, 2011-08-10, S. 1
    Zeitungsartikel
  7. In: Economia - Commercial Bulletin, 2011-08-10, S. 1
    Zeitungsartikel
  8. 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
  9. Tichý, Andrej
    2020
    Hochschulschrift
  10. Vavro, Tomáš
    2021
    Hochschulschrift
  11. Peroutka, Ondřej
    2018
    Hochschulschrift
  12. Fajčík, Martin
    2017
    Hochschulschrift
  13. 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
  14. 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
  15. 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
  16. Belešová, Michaela
    2014
    Hochschulschrift
  17. 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
  18. 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
  19. 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
  20. 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
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -