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
    • Obecność w mediach
    • Dydaktyka
    • Projekty
  • Pracownicy
  • Dyżury pracowników
  • Publikacje
  • Felietony
  • Dla studentów
    • Staże letnie
    • Staże w lab. VR/AR
    • Staże - cyberbezp.
    • Staże w lab. IoT
    • SKN GameDev
    • Konkurs o Złotą Mysz
    • Portal dydaktyczny
    • System eSylabus
    • Oracle Academy
    • Microsoft Imagine
  • Dla kandydatów
    • Specjalność E-Biznes
    • Kierunek AIR
  • 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 © 2024
KTI 2011.