|
|
|
|
Prace IPI PAN:
|
ISSN 0138-0648
|
|
|
1006.
|
Alina Stasiecka, Ewa Stemposz:
Analiza jakości e-zasobów
z wykorzystaniem programu GradeStat
Listopad 2007, 39 stron,
Streszczenie
|
|
1005.
|
Elżbieta Hajnicz, Łukasz Dębowski, Marek Wiech:
Przykładowe zastosowanie gradacyjnej analizy danych w badaniach
lingwistycznych
Listopad 2007, 40 stron,
Streszczenie
|
|
1004.
|
Anna Wolińska-Welcz:
On solutions of an extended
Dugué problem [O rozwiązaniach rozszerzonego problemu Dugué]
Maj 2007, 8 stron,
Streszczenie
|
|
1003.
|
Elżbieta Hajnicz:
Dobór czasowników do badań przy tworzeniu słownika semantycznego czasowników polskich
Marzec 2007, 24 strony,
Streszczenie
|
|
1002.
|
Józef Winkowski:
Towards a Framework for Modelling Behaviours of Hybrid Systems
[Zarys formalizmu do opisu działania systemów hybrydowych]
Marzec 2007
|
|
1001.
|
Marek A. Bednarczyk, Luca Bernardinello, Tomasz Borzyszkowski, Wiesław Pawłowski, Lucia Pomello:
A multi-faced approach to dynamic agent systems
[Wieloaspektowy opis dnamicznych systemów agentowych]]
Kwiecień 2007, 23 strony
|
|
1000.
|
Alessio Lomuscio, Wojciech Penczek :
Model checking security protocols: a multi-agent system approach
[Weryfikacja modelowa protokołów
kryptograficznych:
podejście bazujące na systemach wieloagentowych]
Kwiecień 2007, 24 strony,
Streszczenie
|
|
999.
|
Andrzej Zbrzezny:
A Boolean Encoding of Arithmetic Operations
[Kodowanie Boolowskie operacji arytmetycznych]
Styczeń 2007, 30 stron,
Streszczenie
|
|
998.
|
Mirosław Kurkowski, Wojciech Penczek:
Verifying Security Protocols Modeled by Networks of Automata
Styczeń 2007, 38 stron
|
|
|
|
|
|
|
 |
|
|
|
|
|
|
|
|
