Wykaz publikacji wybranego autora

Tomasz Bartłomiej Szmuc, prof. dr hab. inż.

profesor zwyczajny

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


[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0003-4922-5369 orcid iD

ResearcherID: J-3955-2014

Scopus: 6602953396

PBN: 5e70922c878c28a047391201

OPI Nauka Polska

System Informacyjny AGH (SkOs)




1
  • [fragment książki, 2000]
  • TytułBadanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego
    AutorzyMarcin SZPYRKA, Antoni LIGĘZA, 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. 119–126
2
  • [referat, 2000]
  • TytułCharakterystyka systemu RTLinux względem wybranych systemów operacyjnych czasu rzeczywistego
    AutorzyTomasz SZMUC, Piotr Matyasik, Rafał Mrówka
    Ź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. 283–295
3
  • [książka, 2000]
  • TytułProgramowanie systemów czasu rzeczywistego
    AutorzyGilles Motet, Tomasz SZMUC ; Krakowskie Centrum Informatyki Stosowanej
    DetailsKraków : KCIS, 2000. — 244 s.
4
  • [referat, 2000]
  • TytułProjektowanie poprawnego oprogramowania czasu rzeczywistego wspomagane formalizmem algebry procesów
    AutorzyTomasz SZMUC, Sylwester Oskwarek
    Ź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. 109–123
5
  • [książka, 2000]
  • TytułSpecyfikacja i projektowanie oprogramowania systemów czasu rzeczywistego
    AutorzyTomasz SZMUC, Gilles Motet
    DetailsKraków : Uczelniane Wydawnictwa Naukowo-Dydaktyczne, 2000. — 188, [1] s.
6
  • [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.
7
  • [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