Wykaz publikacji wybranego autora

Radosław Klimek, dr hab. inż., prof. AGH

profesor nadzwyczajny

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-9061-561X orcid iD

ResearcherID: ABI-5629-2020

Scopus: 55250240200

PBN: 5e70922b878c28a04739115a

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1
  • [referat, 2000]
  • TytułA method of a systematic system analysis using temporal logic
    AutorzyRadosław KLIMEK
    ŹródłoCybernetics and systems 2000 : proceedings of the fifteenth European Meeting on Cybernetics and Systems Research : Vienna, Austria 25–28 April 2000, Vol. 2 / ed. Robert Trappl ; University of Vienna ; Austrian Society for Cybernetic Studies. — [Vienna : University of Vienna], [2000]. — S. 751–756

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • [referat, 2000]
  • TytułMożliwości wykorzystania logiki temporalnej w analizie diagramów UML – wybrane zagadnienia
    AutorzyRadosław KLIMEK
    ŹródłoSystemy czasu rzeczywistego : VII konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2000. — S. 89–98

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • [materiały konferencyjne (red.), 2000]
  • TytułSystemy czasu rzeczywistego : VII [siódma] konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne
    Autorzyred. Tomasz SZMUC, Radosław KLIMEK ; Katedra Automatyki Akademii Górniczo-Hutniczej
    DetailsKraków : KA AGH, 2000. — 555 s.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

4
  • [fragment książki, 2000]
  • TytułWeryfikacja wybranych własności jakościowych systemów tablicowych z bazą wiedzy
    AutorzyAntoni LIGĘZA, Marcin SZPYRKA, Radosław KLIMEK, Tomasz SZMUC
    ŹródłoInżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — S. 103–110

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Tomasz Bartłomiej Szmuc, Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

5
  • [referat, 2000]
  • TytułZagadnienie ryzyka w projekcie informatycznym – analiza i zarządzanie ryzykiem
    AutorzyRadosław KLIMEK
    ŹródłoKKIO 2000 : II Krajowa Konferencja Inżynierii Oprogramowania : Zakopane, 18–20 października 2000 : [materiały konferencyjne] / red. Krzysztof Zieliński. — Kraków : Katedra Informatyki Akademii Górniczo-Hutniczej, [2000]. — S. 35–44

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: