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

  • CEE-SET 2009 : preprint of the proceedings of the 4th IFIP TC2 Central and East European conference on Software Engineering Techniques : Kraków, Poland, October 12–14, 2009 / eds. Tomasz SZMUC, Marcin SZPYRKA, Jaroslav Zendulka. — [Kraków : AGH], [2009]. — 297, [1] s.. — Bibliogr. przy rozdz., Indeks

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

2

  • HTCPNs-based modelling and evaluation of dynamic computer cluster reconfiguration / Sławomir Samolej, Tomasz SZMUC // W: CEE-SET 2009 : preprint of the proceedings of the 4th IFIP TC2 Central and East European conference on Software Engineering Techniques : Kraków, Poland, October 12–14, 2009 / eds. Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka. — [Kraków : AGH], [2009]. — S. 114–125. — Bibliogr. s. 124–125, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3

  • Improving dependability of automation for free electron laser FLASH / Boguslaw Kosęda, Tomasz SZMUC, Wojciech Cichalewski // Journal of Automation, Mobile Robotics & Intelligent Systems : JAMRIS ; ISSN 1897-8649. — 2009 vol. 3 no. 1, s. 33–39. — Bibliogr. s. 38–39, Abstr.. — tekst: http://www.jamris.org/images/ISSUES/ISSUE-2009-01/007%20JAMRIS%20No9%20-%20Koseda.pdf

  • keywords: formal methods, automation, model checking, prolog, expert system, flash

    cyfrowy identyfikator dokumentu: