Wykaz publikacji wybranego autora

Paweł Skrzyński, dr inż.

adiunkt

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-1193-205X połącz konto z ORCID

ResearcherID: DSC-1555-2022

Scopus: 51061351100

PBN: 5e70922c878c28a0473911e9

OPI Nauka Polska

System Informacyjny AGH (SkOs)




1
  • [fragment książki, 2010]
  • TytułAgent-based market simulation using collective intelligence computational model
    AutorzyPaweł SKRZYŃSKI, Tadeusz SZUBA, Stanisław SZYDŁO
    ŹródłoProduction engineering in making / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2010. — S. 127–136
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • [fragment książki, 2010]
  • TytułAutomatyczna weryfikacja modelu na etapie analizy wymagań
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoInżynieria oprogramowania w procesach integracji systemów informatycznych / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2010. — S. 209–216
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • [fragment książki, 2010]
  • TytułBusiness process formal verification approach based on deductive reasoning
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI
    ŹródłoProduction engineering in making / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2010. — S. 115–125
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • [fragment książki, 2010]
  • TytułDeduction based verification of business models
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoAdvanced information technologies for management : AITM 2010 / eds. Jerzy Korczak, Helena Dudycz, Mirosław Dyczkowski. — Wrocław : Publishing House of Wrocław University of Economics, 2010. — S. 173–188
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
  • [fragment książki, 2010]
  • TytułWeryfikacja procesów biznesowych metodą tablic semantycznych
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI
    ŹródłoInżynieria oprogramowania w procesach integracji systemów informatycznych / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2010. — S. 201–208
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: