|
|
|
|
IPI PAN Reports:
|
ISSN 0138-0648
|
|
|
1006.
|
Alina Stasiecka, Ewa Stemposz:
E-learning resources' quality analysis with help of GradeStat program [Analiza jakości e-zasobów
z wykorzystaniem programu GradeStat]
November 2007, 39 pp
|
|
1005.
|
Elżbieta Hajnicz, Łukasz Dębowski, Marek Wiech:
An example of grade data analysis application
for linguistic research
[Przykładowe zastosowanie gradacyjnej analizy danych w badaniach
lingwistycznych]
November 2007, 40 pp,
Abstract
|
|
1004.
|
Anna Wolińska-Welcz:
On solutions of an extended
Dugué problem
Maj 2007, 8 pp,
Abstract
|
|
1003.
|
Elżbieta Hajnicz:
The selection of test verbs for the creation of a semantic
dictionary of Polish verbs
[Dobór czasowników do badań przy tworzeniu słownika semantycznego czasowników polskich]
March 2007, 24 pp,
Abstract
|
|
1002.
|
Józef Winkowski:
Towards a Framework for Modelling Behaviours of Hybrid Systems
March 2007, 32 pp.,
Abstract
|
|
1001.
|
Marek A. Bednarczyk, Luca Bernardinello, Tomasz Borzyszkowski, Wiesław Pawłowski, Lucia Pomello:
A multi-faced approach to dynamic agent systems
April, 23 pp
|
|
1000.
|
Alessio Lomuscio, Wojciech Penczek :
Model checking security protocols: a multi-agent system approach
April 2007, 24 pp
|
|
999.
|
Andrzej Zbrzezny:
A Boolean Encoding of Arithmetic Operations
January 2007, pp. 30,
Abstract
|
|
998.
|
Mirosław Kurkowski, Wojciech Penczek:
Verifying Security Protocols Modeled by Networks of Automata
January 2007, pp. 38
|
|
|
|
 |
|
|
|
|
|
|
|
|
