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
  • Badanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego[Knowledge base analysis (verification) with use of coloured Petri nets] / Marcin SZPYRKA, Antoni LIGĘZA, Tomasz SZMUC // W: Inżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — ISBN10: 83-7085-476-1. — S. 119–126. — Bibliogr. s. 126

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • Charakterystyka systemu RTLinux względem wybranych systemów operacyjnych czasu rzeczywistegoProfile of RTLinux system over existing real-time operating systems / Tomasz SZMUC, Piotr Matyasik, Rafał Mrówka // W: Systemy 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. — ISBN10: 83-914257-0-3. — S. 283–295. — Bibliogr. s. 295, Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • Programowanie systemów czasu rzeczywistego[Programming of real-time systems] / Gilles Motet, Tomasz SZMUC ; Krakowskie Centrum Informatyki Stosowanej. — Kraków : KCIS, 2000. — 244 s.. — (CCATIE Cracow Centre for Advanced Training in Information Engineering / kom. red. (przew.) Tomasz Szmuc ; 11). — Bibliogr. s. 241–244

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • Projektowanie poprawnego oprogramowania czasu rzeczywistego wspomagane formalizmem algebry procesówDesigning real-time error–less systems using process algebra / Tomasz SZMUC, Sylwester Oskwarek // W: Systemy 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. — ISBN10: 83-914257-0-3. — S. 109–123. — Bibliogr. s. 122–123, Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
  • Specyfikacja i projektowanie oprogramowania systemów czasu rzeczywistego[Specification and design of real-time software] / Tomasz SZMUC, Gilles Motet. — Kraków : Uczelniane Wydawnictwa Naukowo-Dydaktyczne, 2000. — 188, [1] s.. — (Wydawnictwa Naukowe / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie ; KU 0015). — Bibliogr. s. 185–[189]

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

6
  • Systemy czasu rzeczywistego : VII [siódma] konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne[Real-time systems] / red. Tomasz SZMUC, Radosław KLIMEK ; Katedra Automatyki Akademii Górniczo-Hutniczej. — Kraków : KA AGH, 2000. — 555 s.. — Bibliogr. przy rozdz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7
  • Weryfikacja wybranych własności jakościowych systemów tablicowych z bazą wiedzy[Verification of selected qualitative properties of tabular knowledge based systems] / Antoni LIGĘZA, Marcin SZPYRKA, Radosław KLIMEK, Tomasz SZMUC // W: Inżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — ISBN10: 83-7085-476-1. — S. 103–110. — Bibliogr. s. 110

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: