Autorzy
Lista autorów
Zespoły / Grupy badawcze
Publikacje
Raporty
Statystyki
Pomoc
Rozwiń menu pomocy
Formularze i instrukcje
pl
pl
Autorzy
Lista autorów
Zespoły / Grupy badawcze
Publikacje
Raporty
Statystyki
Pomoc
Rozwiń menu pomocy
Formularze i instrukcje
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
Klimek Radosław
(3)
Faber Łukasz
(1)
Kisiel-Dorohinicki Marek
(1)
Rogus Grzegorz
(1)
Skrzyński Paweł
(1)
Jednostka
WEAIiIB
(4)
Rb
(1)
WI
(1)
Rok publikacji
2014
(2)
2006
(1)
2013
(1)
Typ publikacji
fragmenty książek
(3)
artykuły
(1)
Czasopismo
Lecture Notes in Computer S...
(2)
Advances in Intelligent Sys...
(1)
Automatyka/Automatics
(1)
Konferencja
11th International Conferen...
(1)
3rd International Conferenc...
(1)
International Conference on...
(1)
Słowa kluczowe
activity diagrams
(4)
deductive reasoning
(2)
formal verification
(2)
temporal logic
(2)
workflows patterns
(2)
Więcej
19
Punktacja ministerialna
Tak
(3)
Nie
(1)
IF/LF
Nie
(4)
Bazy referencyjne
SCOPUS
(3)
Web of Science
(3)
INSPEC
(2)
BazTech
(1)
Recenzowane
Tak
(3)
Nie
(1)
Naukowe
Tak
(4)
Otwarty dostęp
Nie
(4)
Język publikacji
angielski
(3)
polski
(1)
Nie znaleziono publikacji spełniających podane kryteria.