Wyniki wyszukiwania: 88.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
SMT-based abstract planning in planics ontology / Artur Niewiadomski, Wojciech Penczek, Agata Półrola. autor Serie: Prace IPI PAN ; 1027
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.
Dynamic object roles in conceptual modeling and databases / Andrzej Jodłowski [et al.]. autor Serie: Prace IPI PAN ; 932
Rodzaj materiału: Tekst Tekst; Format: druk
Język: angielski Język streszczenia: polski
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.
Branching time, bounded model checking for elementary net systems / Wojciech Penczek and Bożena Woźna, Andrzej Zbrzezny. autor Serie: Prace IPI PAN ; 940
Rodzaj materiału: Tekst Tekst; Format: druk
Język: angielski Język streszczenia: polski
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.
Dynamic evolutionary game related to elementary large games and replicator dynamics / Krzysztof Argasiński. autor Serie: Prace IPI PAN ; 955
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.
Wavelet based speaker recognition / Wit Jakuczyn. autor Serie: Prace IPI PAN ; 959
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.
Verifying security protocols modeled by networks of automata / Mirosław Kurkowski, Wojciech Penczek. autor Serie: Prace IPI PAN ; 998
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, 2007
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Monte Carlo methods of estimating transition density and likelihood function of diffusion processes / Piotr Borkowski, Jan Mielniczuk. autor Serie: Prace IPI PAN ; 1013
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, 2009
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Blind-enT : making objects visible for blind people / Stanisław Ambroszkiewicz [et al.]. autor Serie: Prace IPI PAN ; 975
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2004
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Model checking temporal properties of reaction systems / Artur Męski, Wojciech Penczek, Grzegorz Rozenberg. autor Serie: Prace IPI PAN ; 1028
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2014
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: dostępny Cz 3163.
Checking reachability properties for timed automata via SAT / Bożena Woźna, Wojciech Penczek and Andrzej Zbrzezny. autor Serie: Prace IPI PAN ; 949
Rodzaj materiału: Tekst Tekst; Format: druk
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warsaw : 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.
Reachability analysis for timed automata based on partitioning / Agata Półrola, Wojciech Penczek, Maciej Szreter. autor Serie: Prace IPI PAN ; 961
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.
SAT-based bounded model checking for the universal fragment of TCTL / Wojciech Penczek, Bożena Woźna and Andrzej Zbrzezny. autor Serie: Prace IPI PAN ; 947
Rodzaj materiału: Tekst Tekst; Format: druk
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warsaw : 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.
Reaching the limits for bounded model checking / Bożena Woźna and Andrzej Zbrzezny. autor Serie: Prace IPI PAN ; 958
Rodzaj materiału: Tekst Tekst; Format: druk
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warsaw : 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.
Continuum as a primitive type / Stanisław Ambroszkiewicz. autor Serie: Prace IPI PAN ; 1034
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski, 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.
Intelligent information systems X : communications of the 10th International Symposium, Zakopane, 17-21 June 2001 / Mieczysław A. Kłopotek, Sławomir T. Wierzchoń, Maciej Michalewicz (eds.). autor Serie: Prace IPI PAN ; 928
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2001
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Znakowanie semantyczne "Składnicy frazowej" : założenia ogólne, nazwy własne, aktualizacja / Elżbieta Hajnicz. autor Serie: Prace IPI PAN ; 1025
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: polski Język streszczenia: angielski
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.
Types and operations / Stanisław Ambroszkiewicz. autor Serie: Prace IPI PAN ; 1030
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, 2014
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Towards scenarios of external attacks upon security protocols / Piotr Dembiński, Gizela Jakubowska, Wojciech Penczek. autor Serie: Prace IPI PAN ; nr 1012
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.
Data - intensive grid computing based on updatable views / Piotr Habela [et al.]. autor Serie: Prace IPI PAN ; nr 974
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Wydaw. Instytutu Podstaw Informatyki Polskiej Akademii Nauk, 2004
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Przegląd analizatorów morfologicznych dla języka polskiego / Elżbieta Hajnicz i Anna Kupść. autor Serie: Prace IPI PAN ; 937
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.