Wyniki wyszukiwania: 88.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
Projekt anotacji morfosyntaktycznej korpusu języka polskiego / Marcin Woliński, Adam Przepiórkowski. autor Serie: Prace IPI PAN ; 938
Rodzaj materiału: Tekst Tekst; Format: druk
Język: polski Język streszczenia: angielski
Szczegóły wydania: Warszawa : IPI PAN, 2001
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Towards verification of Java programs in VerICS / Maciej Orzechowski, Bożena Woźna and Tomasz Siwiak. autor Serie: Prace IPI PAN ; 997
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2006
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Towards automated abstract planning based on a genetic algorithm / Jarosław Skaruz, Artur Niewiadomski, Wojciech Penczek. autor Serie: Prace IPI PAN ; 1026
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2012
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Underapproximating ATL with imperfect information and imperfect recall / Wojciech Jamroga, Michał Knapik. autor Serie: Prace IPI PAN ; 1032
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2015
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
On the distance hypothesis in tree-like Bayesian networks / Mieczysław Alojzy Kłopotek. autor Serie: Prace IPI PAN ; 952
Rodzaj materiału: Tekst Tekst; Format: druk
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2003
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Zastosowanie gradacyjnej analizy skupień do danych uzyskanych z kwestionariuszy i skal klinicznych / Anna Wolińska-Welcz. autor Serie: Prace IPI PAN ; 1007
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: polski Język streszczenia: angielski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2008
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Timed automata based model checking of timed security protocols / Mirosław Kurkowski, Wojciech Penczek. autor Serie: Prace IPI PAN ; nr 1010
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2008
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Analiza danych dotyczących osób niepełnosprawnych. (I) / Elżbieta Pleszczyńska, Maria Grzegorek. autor Serie: Prace IPI PAN ; 945
Rodzaj materiału: Tekst Tekst; Format: druk
Język: polski Język streszczenia: angielski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2002
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.