|
20.06.2002 Andrzej Borzyszkowski, IPI PAN
|
 |
Masowa równoległość, mrzonka czy rzeczywistość: a propos "złamania" kodu RSA
|
|
16.05.2002 Przemysław Stpiczynski
|
|
Department of Computer Science
Marie Curie-Skłodowska University
Efektywne algorytmy równoległe rozwiązywania liniowych równań rekurencyjnych
|
|
11.04.2002 Wojciech Penczek, IPI PAN
|
|
Weryfikacja modelowa dla wielowartościowych logik temporalnych
|
|
14.03.2002 Dobiesław Wróblewski
|
|
Grawitacyjne przesyłanie wiadomości
|
|
28.02.2002 Włodzimierz Drabent, IPI PAN
|
|
O dowodzeniu własności programów logicznych
|
|
14.02.2002 Jerzy Pejas
|
|
Wydział Informatyki, Katedra Oprogramowania i Ochrony Informacji
Model autoryzacji w rozproszonych systemach nadzoru i sterowania
|
|
7.02.2002 Magdalena Kacprzak
|
|
Instytut Matematyki i Fizyki, Politechnika Białostocka
A Concept of Semantics of Multiagent Systems
|
|
24.01.2002 Jerzy Pejas
|
|
Wydział Informatyki Politechniki Szczecinskiej
Problemy zarządzania usługami infrastruktury klucza publicznego
|
|
17.01.2002 Piotr Chrząstowski,
Wydział Informatyki Uniwerstetu Warszawskiego
|
|
O sieciach ze zdarzeniami regenerujacymi
|
|
10.01.2002 Stanisław Ambroszkiewicz, IPI PAN
|
|
Entish: e-Language for Web Service Integration
|
|
29.11.2001 Witold Łukaszewicz
|
|
Formalization of Default Logic Using CAKE Method
|
|
22.11.2001 Marian Srebrny, IPI PAN
|
|
Podpis elektroniczny: moc kryptograficzna i ustawa
|
|
15.11.2001 Andrzej Szalas
|
|
CAKE: Computer Aided Knowledge Engineering
|
|
25.10.2001 Beata Konikowska, IPI PAN
|
|
Dekompozycyjne systemy dowodzenia dla logiki Goedel'a-Dummeta
|
|
20.09.2001 Stanislaw Chrobot
|
|
Department of Mathematics and Computer Science,
PNG University of Technology
Two-Dimensionality of Communication in Distributed Systems
|
Seminaria \ Seminarium Zakładu T. P. I. \ Archiwum - 2001/2002 
