Taschenbuch
Nicht verfügbare Artikel anzeigen

Releases von Burcu Kulahc?o?lu

Cover for Burcu Kulahc?o?lu · Timed Automata jako narz?dzie weryfikacyjne dla protokolow bezpiecze?stwa (Taschenbuch) (2021)

Timed Automata jako narz?dzie we... (2021)

Burcu Kulahc?o?lu

Cover for Burcu Kulahc?o?lu · Automi temporizzati come strumento di verifica per i protocolli di sicurezza (Taschenbuch) (2021)

Automi temporizzati come strumen... (2021)

Burcu Kulahc?o?lu

Cover for Burcu Kulahc?o?lu · Zeitgesteuerte Automaten als Verifikationsinstrument fur Sicherheitsprotokolle (Taschenbuch) (2021)

Zeitgesteuerte Automaten als Ver... (2021)

Burcu Kulahc?o?lu

Cover for Burcu Kulahc?o?lu · Les automates temporises comme outil de verification des protocoles de securite (Taschenbuch) (2021)

Les automates temporises comme o... (2021)

Burcu Kulahc?o?lu

Cover for Burcu Kulahc?o?lu · Automatos temporizados como ferramenta de verificacao de protocolos de seguranca (Taschenbuch) (2021)

Automatos temporizados como ferr... (2021)

Burcu Kulahc?o?lu