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
  • [artykuł w czasopiśmie, 2001]
  • TytułAlgebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowych
    AutorzyMarcin SZPYRKA, Tomasz SZMUC
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2001 t. 5 z. 1/2, s. 535–543

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

2
  • [fragment książki, 2001]
  • TytułAnaliza i projektowanie oprogramowania systemów czasu rzeczywistego
    AutorzyTomasz SZMUC
    ŹródłoAnaliza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia / red. Jan Werewka, Tomasz Szmuc ; Polskie Towarzystwo Informatyczne. Oddział Małopolski ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Katedra Automatyki. — Kraków : PTI. Oddz. Małopolska przy współpr. KA AGH, 2001. — S. 32–87

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • [książka, 2001]
  • TytułAnaliza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia
    Autorzyred. Jan WEREWKA, Tomasz SZMUC ; Polskie Towarzystwo Informatyczne. Oddział Małopolski ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Katedra Automatyki
    DetailsKraków : PTI. Oddz. Małopolska przy współpr. KA AGH, 2001. — 560 s

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Jan Werewka

    cyfrowy identyfikator dokumentu:

4
  • [artykuł w czasopiśmie, 2001]
  • TytułAnalysis, verification and design of tabular systems : logical, algebraic and graphical methods
    AutorzyAntoni LIGĘZA, Grzegorz J. NALEPA, Tomasz SZMUC, Marcin SZPYRKA, Piotr SZWED, Igor WOJNICKI
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2001 t. 5 z. 1/2, s. 345–354

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Piotr Szwed, Grzegorz Jacek Nalepa, Marcin Szpyrka, Igor Wojnicki

    cyfrowy identyfikator dokumentu:

5
6
  • [fragment książki, 2001]
  • TytułModele formalne i możliwości analizy czasowej
    AutorzyTomasz SZMUC
    ŹródłoAnaliza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia / red. Jan Werewka, Tomasz Szmuc ; Polskie Towarzystwo Informatyczne. Oddział Małopolski ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Katedra Automatyki. — Kraków : PTI. Oddz. Małopolska przy współpr. KA AGH, 2001. — S. 88–157

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7
  • [książka, 2001]
  • TytułModele i metody inżynierii oprogramowania systemów czasu rzeczywistego
    AutorzyTomasz SZMUC
    DetailsKraków : Uczelniane Wydawnictwa Naukowo-Dydaktyczne AGH, 2001. — 278, [1] s.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8
  • [referat, 2001]
  • TytułProjektowanie poprawnego oprogramowania wspomagane formalizmem algebry procesów
    AutorzyTomasz SZMUC, Sylwester Oskwarek
    ŹródłoDiagnostyka procesów przemysłowych : V krajowa konferencja naukowo-techniczna : Łagów Lubuski, 17–19 września 2001 / red. nauk. Józef Korbicz, Andrzej Pieczyński ; Politechnika Zielonogórska. — Zielona Góra : Oficyna Wydawnicza PZ, 2001. — S. 319–322

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

9
  • [materiały konferencyjne (red.), 2001]
  • TytułSystemy czasu rzeczywistego : VIII konferencja : Krynica, 24–27 września 2001 : materiały konferencyjne
    Autorzyred. Tomasz SZMUC, Radosław KLIMEK ; Katedra Automatyki Akademii Górniczo-Hutniczej
    DetailsKraków : KA AGH, [2001]. — [16], 440 s.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek

    cyfrowy identyfikator dokumentu:

10
  • [artykuł w czasopiśmie, 2001]
  • TytułZastosowanie algebry procesów do wspomagania projektowania poprawnego oprogramowania systemów reaktywnych
    AutorzyTomasz SZMUC, Sylwester Oskwarek
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2001 t. 5 z. 1/2, s. 523–533

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

11
  • [referat, 2001]
  • TytułZastosowanie kolorowanych sieci Petriego do modelowania i analizy komunikacji w języku Ada
    AutorzyTomasz SZMUC, Piotr Matyasik, Rafał Mrówka
    ŹródłoSystemy czasu rzeczywistego : VIII [ósma] konferencja : Krynica, 24–27 września 2001 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2001. — S. 253–263

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: