Uniwersytet Ekonomiczny w Poznaniu

Katedra Technologii Informacyjnych

  • English
  • Polski
  • Dla kandydatów
  • Dla studentów

O KTI

  • Strona główna
  • Aktualności
  • Profil Katedry
    • Badania Naukowe
    • Dydaktyka
    • Projekty
  • Publikacje
  • Dyżury pracowników
  • Pracownicy
    • Krzysztof Walczak
    • Jakub Flotyński
    • Jarogniew Rykowski
    • Adam Wójtowicz
    • Sergiusz Strykowski
    • Daniel Wilusz
    • Adam Gałązkiewicz
    • Mikołaj Maik
    • Paweł Sobociński
    • Stanisław Kumor
    • Cyryl Leszczyński
    • Michał Śliwicki
    • Tomasz Krokosz
    • Beata Maciejewska
  • Dla studentów
    • Staże Letnie
    • SKN GameDev
    • Złota Mysz
    • Portal Dydaktyczny
    • eSylabus
    • Microsoft Imagine
  • Dla kandydatów
    • E-Biznes
    • AIR
    • Przemysł 4.0
  • Felietony
  • Kontakt

Biblio

Export 1 results:
  • BibTex
Sortuj po: Autor Tytuł Typ [ Rok  (Desc)]
2007
Conference Paper, Picard, W., An Algebraic Algorithm for Structural Validation of Social Protocols , ed. Abramowicz, W. , Proceedings of the 10th international conference on Business information systems, BIS'07, Springer Verlag, 04/2007, pp. 570-583, ISBN 978-3-540-72034-8, DOI 10.1007/978-3-540-72035-5_45. Abstract
  • BibTex
 Pobierz: PDF (396.58 KB)
Katedra Technologii Informacyjnych © 2025
KTI 2011.