Wyniki wyszukiwania: 88.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
O poszukiwaniu jednorożców, czyli semantyka możliwych światów w gramatyce Montague / Elżbieta Hajnicz. autor Serie: Prace IPI PAN ; 995
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: polski Język streszczenia: angielski
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.
Numerical methods and game-theoretic analysis of large scale individual production and consumption processes / Andrzej Wieczorek. autor Serie: Prace IPI PAN ; 933
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.
Tagowanie i dezambiguacja morfosyntaktyczna : przegląd metod i oprogramowania / Łukasz Dębowski. autor Serie: Prace IPI PAN ; 934
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.
Updateable object views / Hanna Kozankiewicz [et al.]. autor Serie: Prace IPI PAN ; 950
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.
Generatory diagonalne / Włodzimierz Wysocki. autor Serie: Prace IPI PAN ; 988
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: polski Język streszczenia: angielski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2005
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Syntaktyczna i semantyczna analiza wybranych konstrukcji języka polskiego za pomocą gramatyki Montague / Elżbieta Hajnicz. autor Serie: Prace IPI PAN ; 996
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: polski Język streszczenia: angielski
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.
Families of dependence functions / Włodzimierz Wysocki. autor Serie: Prace IPI PAN ; 1019
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, 2011
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Eksperymenty z zakresu klasyfikacji czasowników w semantycznym słowniku walencyjnym polskiego / Elżbieta Hajnicz. autor Serie: Prace IPI PAN ; 1021
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: polski Język streszczenia: angielski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2011
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Recursive query processing in SBQL / Tomasz Pieciukiewicz, Kazimierz Subieta. autor Serie: Prace IPI PAN ; 979
Rodzaj materiału: Tekst Tekst; Format: druk
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.
Fibonacci numbers and equilibria in large "neighborhood" games / Andrzej Wieczorek. autor Serie: Prace IPI PAN ; 986
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, 2005
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Consumption in economic models related to large games / Maria Ekes and Andrzej Wieczorek. autor Serie: Prace IPI PAN ; 956
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.
Proof systems for logics based on non-deterministic multiple - valued structures / Arnon Avron, Beata Konikowska. autor Serie: Prace IPI PAN ; 976
Rodzaj materiału: Tekst Tekst; Format: druk
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warsaw : Wydaw. Instytutu Podstaw Informatyki PAN, 2004
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Bounded model checking for interpreted systems / Wojciech Penczek and Alessio Lomuscio. autor Serie: Prace IPI PAN ; 946
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.
Formalisms for encoding Polish multiword expressions / Radosław Moszczyński. autor Serie: Prace IPI PAN ; 994
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.
Analiza jakości e-zasobów z wykorzystaniem programu GradeStat / Alina Stasiecka, Ewa Stemposz. autor Serie: Prace IPI PAN ; 1006
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, 2007
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Semantyka operacyjna wybranych diagramów UML* / Artur Niewiadomski, Wojciech Penczek, Maciej Szreter. autor Serie: Prace IPI PAN ; 1009
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.
Właściwości miar podobieństwa w modelu sieci idiotypowej z binarną reprezentacją wzorców / Krzysztof Trojanowski, Michał Jankowiak. autor Serie: Prace IPI PAN ; 977
Rodzaj materiału: Tekst Tekst; Format: druk
Język: polski Język streszczenia: angielski
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.
Bounded abstract planning in planICS based on graph databases / Maciej Szreter. autor Serie: Prace IPI PAN ; 1031
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.
Model checking security protocols : a multi-agent system approach / Alessio Lomuscio, Wojciech Penczek. autor Serie: Prace IPI PAN ; 1000
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.
Towards a framework for modelling behaviours of hybrid systems / Józef Winkowski. autor Serie: Prace IPI PAN ; 1002
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.