Wykaz publikacji wybranego autora

Marcin Szpyrka, prof. dr hab.

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-4925-3271 orcid iD

ResearcherID: B-8372-2013

Scopus: 6507007631

PBN: 5e70922c878c28a047391204

OPI Nauka Polska

System Informacyjny AGH (SkOs)




1
2
  • [fragment książki, 2008]
  • TytułDesign and analysis of rule-based systems with adder designer
    AutorzyMarcin SZPYRKA
    ŹródłoKnowledge – driven computing : knowledge engineering and intelligent computations / eds. Carlos Cotta, Simeon Reich, Robert Schaefer, Antoni Ligęza. — Berlin, Heidelberg : Springer-Verlag, 2008. — S. 255–271
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
4
  • [referat, 2008]
  • TytułExclusion rule-based systems - case study
    AutorzyMarcin SZPYRKA
    ŹródłoInternational Multiconference on Computer Science and Information Technology [Dokument elektroniczny] : October 20–22, 2008. Wisła : proceedings / Polish Information Processing Society. — [Wisła : PTI], [2008]. — S. 237–242
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/IMCSIT.2008.4747245

5
  • [referat, 2008]
  • TytułFormal modelling and verification of concurrent systems with XCCS
    AutorzyMarcin SZPYRKA, Piotr MATYASIK
    ŹródłoISPDC 2008 : proceedings of the 7th International Symposium on Parallel and Distributed Computing : 1–5 July 3008, Krakow, Poland / eds. Marek Tudruj. — Los Alamitos, California ; Washington ; Tokyo : CPS Conference Publishing Services, IEEE Computer Society, cop. 2008. — S. 454–458
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/ISPDC.2008.26

6
  • [fragment książki, 2008]
  • TytułGraphical modelling tool for CCS process algebra
    AutorzyMarcin SZPYRKA, Piotr MATYASIK
    ŹródłoSoftware engineering techniques in progress / eds. Tomáš Hruška, Lech Madeyski, Mirosław Ochodek. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2008. — S. 81–94
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7
  • [fragment książki, 2008]
  • TytułModelling and analysis of real-time systems with RTCP-nets
    AutorzyMarcin SZPYRKA
    ŹródłoPetri net : theory and applications / eds. Vedran Kordic. — Vienna : I-Tech Education and Publishing, 2008. — S. 17–40
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8
  • [książka, 2008]
  • TytułSieci Petriego w modelowaniu i analizie systemów współbieżnych
    AutorzyMarcin SZPYRKA
    DetailsWarszawa : Wydawnictwa Naukowo-Techniczne, 2008. — IX, [1], 286 s.
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: