System Komputerowej Ewidencji Publikacji

Strona główna   |   Skorowidz nazwisk   |   Raporty   |   Przesyłanie plików źródłowych   |   Kategorie osiągnięć naukowych   |   Dyscypliny naukowe   |   Wyloguj PBN
 
Więcej
z którymkolwiek ze słów
ze wszystkimi słowami
skonstruuj wyrażenie logiczne Pomoc
 

Wyniki wyszukiwania

Szukanie: w opisie bibliograficznym
Wprowadzona fraza: {IEEE Transactions on Systems Man and Cybernetics Systems}
Opublikowane w latach: 1960 - 2019
Grupowanie: brak
Znaleziono: 2 ( spośród około 61982 )
Z frazy usunięto: , , :

[1] A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets / Andrei Karatkevich, Remigiusz Wiśniewski // IEEE Transactions on Systems, Man, and Cybernetics : Systems .- 2019, s. 1, ISSN: 2168-2216, .- [in press]
Kod: CZR-JCR    BibTeX   (pkt: 35)
[AWCZ-23547] [data modyf: 17-01-2019 17:07]

[2] Design and verification of real-life processes with application of Petri nets / Iwona Grobelna, Remigiusz Wiśniewski, Michał Grobelny, Monika Wiśniewska // IEEE Transactions on Systems, Man, and Cybernetics : Systems .- 2017, Vol. 47, iss. 11, s. 2856--2869, ISSN: 2168-2216,
Kod: CZR-JCR    BibTeX   (pkt: 35)    DOI: 10.1109/TSMC.2016.2531673         Cytowania wg Scopus: 22 [20-05-2019]
[AWCZ-19847] [data modyf: 09-01-2019 08:29]


Czas generacji strony: 0,09 s.


kontakt techniczny: skep@bu.uz.zgora.pl
© 2001-2019 Uniwersytet Zielonogórski