Autorzy
Lista autorów
Grupy / Zespoły badawcze
Publikacje
Raporty
Statystyki
Pomoc
Rozwiń menu pomocy
Podręcznik użytkownika
Formularze
pl
pl
Autorzy
Lista autorów
Grupy / Zespoły badawcze
Publikacje
Raporty
Statystyki
Pomoc
Rozwiń menu pomocy
Podręcznik użytkownika
Formularze
Zaloguj się
Wyszukiwarka publikacji
Strona główna
/
Wyszukiwarka publikacji
Wyszukaj
Autor
Tytuł
Identyfikator DOI
Identyfikator BaDAP
Czasopismo
Rok publikacji
Typ publikacji
Nazwa dyscypliny
Skrót lub nazwa wydziału
Słowo kluczowe
Wyszukaj w opisie bibliograficznym
Szukaj
Filtry i wyszukiwanie
Zamknij
Wyniki wyszukiwania zapytania
Szukaj wśród wyników
Szukaj
Autor
Karatkevich Andrei
(1)
Szpyrka Marcin
(1)
Wypych Michał
(1)
Zaworski Konrad
(1)
Dyscyplina
informatyka techniczna i te...
(1)
Jednostka
WEAIiIB
(1)
Rok publikacji
2022
(1)
Typ publikacji
fragmenty książek
(1)
Wydawca
Akademia Górniczo-Hutnicza...
(1)
Słowa kluczowe
Alvis language
(1)
concurrent systems
(1)
embedded systems
(1)
formal methods
(1)
język Alvis
(1)
Więcej
7
Punktacja ministerialna
Tak
(1)
Recenzowane
Tak
(1)
Naukowe
Tak
(1)
Otwarty dostęp
Tak
(1)
Język publikacji
polski
(1)
Nie znaleziono publikacji spełniających podane kryteria.