|
|
|
|
Prace IPI PAN:
|
ISSN 0138-0648
|
|
|
1012.
|
Piotr Dembiński, Gizela Jakubowska, Wojciech Penczek:
Towards Scenarios of External Attacks upon Security Protocols [Scenariusze dla zewnętrznych ataków na protokoły kryptograficzne]
Listopad 2008, 24 strony,
Streszczenie
|
|
1011.
|
Teresa Kowalczyk:
On derivation of maximal Spearman rho
and maximal Kendall tau for bivariate distributions
[O wyznaczaniu maksymalnego rho Spearmana i maksymalnego
tau Kendalla dla rozkładów dwuwymiarowych]
Listopad 2008, 40 stron,
Streszczenie
|
|
1010.
|
Mirosław Kurkowski, Wojciech Penczek:
Timed automata based model checking of timed security protocols [Automaty czasowe w weryfikacji czasowych protokołów kryptograficznych]
Wrzesień 2008, 36 stron,
Streszczenie
|
|
1009.
|
Artur Niewiadomski, Wojciech Penczek, Maciej Szreter:
Semantyka operacyjna wybranych diagramów UML
Marzec 2008, 64 stron,
Streszczenie
|
|
1008.
|
Elżbieta Pleszczyńska, Krzysztof Markiewicz, Leszek Gołasz, Krzysztof Syncerz (red.):
Na wózku inwalidzkim po Infostradzie do Europy? VI
Luty 2008, 36 stron,
Streszczenie
|
|
1007.
|
Anna Wolińska-Welcz:
Zastosowanie gradacyjnej analizy
skupień do danych uzyskanych
z kwestionariuszy i skal klinicznych
Styczeń 2008, 12 stron,
Streszczenie
|
|
|
|
 |
|
|
|
|
|
|
|
|
