|
|
|
|
Prace IPI PAN:
|
ISSN 0138-0648
|
|
|
997.
|
Maciej Orzechowski, Bożena Woźna, Tomasz Siwiak:
Towards verification of Java programs in VerICS
[Na drodze do weryfikacji programów napisanych w Javie w środowisku
VerICS]
Grudzień 2006, 34 strony,
Streszczenie
|
|
996.
|
Elżbieta Hajnicz:
Syntaktyczna i semantyczna analiza
wybranych konstrukcji
języka polskiego
za pomocą gramatyki Montague
Listopad 2006, 156 stron,
Streszczenie
|
|
995.
|
Elżbieta Hajnicz:
O poszukiwaniu jednorożców,
czyli sematyka możliwych światów
w gramatyce Montague
Listopad 2006, 78 stron,
Streszczenie
|
|
994.
|
Radosław Moszczyński:
Formalisms for encoding Polish multiword expressions
[Formalizmy do opisu polskich jednostek
wielowyrazowych]
Grudzień 2006, 40 stron,
Streszczenie
|
|
993.
|
Łukasz Dębowski:
Ergodic decomposition of excess entropy
and conditional mutual information
[Rozkład ergodyczny entropii nadwyżkowej a warunkowa informacja wzajemna]
Kwiecień 2006, 36 stron,
Streszczenie
|
|
992.
|
Józef Winkowski:
Behaviour algebras
[Algebry zachowań]
Kwiecień 2006, 37 stron,
Streszczenie
|
|
991.
|
Gizela Jakubowska, Wojciech Penczek:
Veryfing Timed Properties of Security Protocols
[Weryfikacja własnosci zależnych od czasu dla protokołów uwierzytelniania stron]
Marzec 2006, 38 stron.
|
|
990.
|
Agata Janowska, Paweł Janowski:
Slicing of Timed Automata with Discrete Data
[Plastrowanie automatów czasowych z danymi dyskretnymi]
Luty 2006, 30 stron,
Streszczenie
|
|
989.
|
Marek A. Bednarczyk:
Limits of Modularity
[Granice modularności]
Styczeń 2006, 22 strony,
Streszczenie
|
|
|
|
 |
|
|
|
|
|
|
|
|
